Category Theory
- Limit (category theory)
- Category theory
- Morphism
- Concrete category
- Full and faithful functors
- Glossary of category theory
- Discrete category
- Subcategory
- Isomorphism of categories
- Equivalence of categories
- Dual (category theory)
- Opposite category
- Functor
- Natural transformation
- Functor category
- Diagram (category theory)
- Inverse limit
- Universal property
- Adjoint functors
- Initial and terminal objects
- Category of sets
- Epimorphism
- Monomorphism
- Isomorphism
- Complete category
- Abelian category
- Pullback (category theory)
- Span (category theory)
- Localization of a category
- Cartesian closed category
- Product (category theory)
- Commutative diagram
- Distributive category
- Exponential object
- Yoneda lemma
- Galois connection
- Monad (category theory)
- Strong monad
- Beck's monadicity theorem
- Monoidal category
- Product category
- Category (mathematics)
- Enriched category
- Higher category theory
- 2-category
- Bicategory
- Weak n-category
- N-category
- Zero morphism
- Image (category theory)
- Kernel (category theory)
- Fibred category
- Comma category
- Representable functor
- Kan extension
- Pushout (category theory)
- Braided monoidal category
- Closed monoidal category
- Closed category
- Topos
- Category of relations