List of category theory topics

From Wikipedia, the free encyclopedia

This is a list of category theory topics, by Wikipedia page.

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

[edit] Specific categories

• Category of sets
  • Concrete category
• Category of vector spaces
  • Category of graded vector spaces
• Category of finite dimensional Hilbert spaces
• Category of sets and relations
• Category of topological spaces
• Category of metric spaces
• Category of preordered sets
• Category of groups
• Category of abelian groups
• Category of commutative rings
• Category of magmas
• Category of medial magmas

[edit] Objects

• Initial object
• Terminal object
• Zero object
• Subobject
• Group object
• Magma object
• Natural number object
• Exponential object

[edit] Morphisms

• Epimorphism
• Monomorphism
• Zero morphism
• Normal morphism
• Dual (category theory)
• Groupoid
• Image (category theory)
• Coimage
• Commutative diagram
• Cartesian morphism
• Slice category

[edit] Functors

• Isomorphism of categories
• Natural transformation
• Equivalence of categories
• Subcategory
• Faithful functor
• Full functor
• Forgetful functor
• Yoneda lemma
• Representable functor
• Functor category
• Adjoint functors
  • Galois connection
  • Pontryagin duality
  • Affine scheme
• Monad (category theory)
• Comonad
• Combinatorial species
• Exact functor
• Derived functor
• Enriched functor
• Kan extension of a functor
• Hom functor

[edit] Limits

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

[edit] Additive structure

• 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
• Derived category
• Triangulated category
• Model category
• 2-category
• Bicategory

[edit] Dagger category

• Dagger symmetric monoidal category
• Dagger compact category
• Strongly ribbon category

[edit] Monoidal category

• Identity object
• Closed monoidal category
• Braided monoidal category

[edit] Cartesian closed category

[edit] Structure (category theory)

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

[edit] Topoi, Toposes

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

See also: Abstract nonsense, Homological algebra