Manufacturing a cartesian closed category with exactly two objects out of a C-monoid
DSpace/Manakin Repository
Manufacturing a cartesian closed category with exactly two objects out of a C-monoid
Rodenburg, P.H.; Linden, F.J. van der
(1988) Logic Group Preprint Series, volume 37
(Preprint)
Abstract
A construction is described of a cartesian closed category A with exactly two elements out
of a C-monoid M such that M can be recovered from A without reference to the construction. show less