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.
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
(1988) Logic Group Preprint Series, volume 37
(Preprint)
Download/Full Text
See more statistics about this item