Back to Results
First PageMeta Content
Category / Partial equivalence relation / Morphism / Apartness relation / Setoid / Functor / Equivalence relation / Cartesian closed category / Total order / Mathematics / Category theory / Abstract algebra


JFP 13 (2): 261–293, March[removed]c 2003 Cambridge University Press
Add to Reading List

Document Date: 2006-09-20 06:53:49


Open Document

File Size: 383,10 KB

Share Result on Facebook
UPDATE