List of category theory topics

Table of contents

1 Specific categories 2 Objects 3 Morphisms 4 Functors 5 Limits 6 Additive structure 7 Monoidal category 8 Cartesian closed category 9 Structure (category theory) 10 Toposes

Specific categories

• Category of sets
  • Concrete category
• K-Vect
• Category of topological spaces
• Category of metric spaces
• Category of preordered sets
• Category of abelian groups
• Category of magmas
• Category of medial magmas

• Initial object
• Terminal object
• Zero object
• Subobject
• Group object

• Zero morphism
• Normal morphism
• Dual (category theory)
• Groupoid
• Image (category theory)
• Commutative diagram

• Isomorphism of categories
• Natural transformation
• Equivalence of categories
• Faithful functor
• Yoneda lemma
• Functor category
• Adjoint functors
  • Galois connection
  • Pontryagin duality
  • Affine scheme
• Monad (category theory)
• Comonad
• Combinatorial species
• Exact functor
• Derived functor
• Enriched functor

• Limit (category theory)
  • Inverse limit
    • Product (category theory)
    • Equalizer
    • Kernel (category theory)
    • Pullback, fiber product
    • Pro-finite group
  • Direct limit
    • Coproduct
• Biproduct
  • Direct sum

• Preadditive category
• Additive category
• Pre-Abelian category
• Abelian category
  • Exact sequence
  • Exact functor
  • Snake lemma
    • Nine lemma
  • Five lemma
    • Short five lemma
  • Mitchell's embedding theorem
• Injective cogenerator

Structure (category theory)

• Semigroupoid
• Localization of a category
• Enriched category
• Bicategory

• Sheaf
• Descent (category theory)
• Grothendieck topology
• Introduction to topos theory
• Subobject classifier
• Pointless topology
• Heyting algebra