Befriending cats and stealing their toys.
Category
Arrows
Objects
Laws
TYPE category
Monoids
ALL
ENDO
Constructions
Cross-product (comma) category
Opposite category
Functors
Covariant
Contravariant
Hom functors/Yoneda embedding
Yoneda lemma
Yoneda & coyoneda data types
Profunctors
Hom profunctor
Leibniz
Equality
Iso
Re
Prism
Coprism
Review
Preview