Library
▹
Category theory
Cat
u
(
u
-small categories)
Ob
Hom
(morphisms)
id
X
∘
Iso
(isomorphisms)
Functors
Natural transformations
Concrete categories
Yoneda lemma