List of category theory topics
From Wikipedia, the free encyclopedia
This is a list of category theory topics, by Wikipedia page.
Contents |
[edit] Specific categories
- Category of sets
- Category of 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 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
- Monad (category theory)
- Comonad
- Combinatorial species
- Exact functor
- Derived functor
- Enriched functor
- Kan extension of a functor
- Hom functor
[edit] Limits
[edit] Additive structure
- Preadditive category
- Additive category
- Pre-Abelian category
- Abelian category
- Injective cogenerator
- Derived category
- Triangulated category
- Model category
- 2-category
- Bicategory
[edit] Dagger category
[edit] Monoidal category
[edit] Cartesian closed category
[edit] Structure (category theory)
[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, Glossary of category theory
