Library ▹ Category theory
  • Catu (u-small categories)
  • Ob
  • Hom (morphisms)
  • idX
  • ∘
  • Iso (isomorphisms)
  • Functors
  • Natural transformations
  • Concrete categories
  • Yoneda lemma
[View Source]