Category theory
ScienceWISE definitions
External resources
Subcategories
Concepts
- AB5 category
- Abstract elementary class
- Abstract nonsense
- Accessible category
- Algebraic stack
- Allegory
- Anamorphism
- Auto magma object
- Bundle
- Catamorphism
- Categorial grammar
- Categorical algebra
- Categorical quantum mechanics
- Categorical set theory
- Categories for the Working Mathematician
- Categorification
- Category of chain complexes
- Category of elements
- Chu space
- Coherence condition
- Coherence theorem
- Coimage
- Coinduction
- Cokernel
- Combinatory categorial grammar
- Comma category
- Commutative diagram
- Concrete category
- Connected category
- Corecursion
- Cotangent complex
- Dialectica space
- Discrete category
- Distributive category
- Double groupoid
- Duality theory for distributive lattices
- Eckmann-Hilton argument
- Embedding
- Endomorphism
- Endomorphism ring
- Enriched category
- Equivalence of categories
- Factorization system
- F-algebra
- F-coalgebra
- Fibration
- Fibred category
- Filtered category
- Graded category
- Grothendieck category
- Grothendieck construction
- Grothendieck's Galois theory
- Grothendieck's relative point of view
- Grothendieck universe
- Groupoid
- Higher-dimensional algebra
- Induced homomorphism
- Information geometry
- Initial algebra
- Injective cogenerator
- Injective object
- Isbell conjugacy
- Isomorphism
- Isomorphism-closed subcategory
- Kan extension
- Karoubi envelope
- Krohn-Rhodes theory
- Krull-Schmidt category
- Lawvere theory
- Localization of a category
- Model category
- Model structure
- Monoid
- Morphism
- Multicategory
- Operad theory
- Opposite category
- Plactic monoid
- Pointless topology
- Polyad
- Posetal category
- Product category
- Projective cover
- Pseudo-abelian category
- Pulation square
- Quantaloid
- Quasi-category
- Quiver
- Quotient category
- R-algebroid
- Regular category
- Segal category
- Segal space
- Seifert-van Kampen theorem
- Semiautomaton
- Setoid
- Simplex category
- Simplicially enriched category
- Simplicial set
- Size functor
