Category:Category theory
Wikimedia Commons has media related to Category theory.
Category theory is a mathematical theory that deals in an abstract way with mathematical structures and relationships between them.
Subcategories
This category has the following 20 subcategories, out of 20 total.
A
- Additive categories (14 P)
C
- Category theorists (45 P)
- Closed categories (5 P)
D
- Dagger categories (6 P)
F
- Free algebraic structures (25 P)
H
- Higher category theory (32 P)
I
L
- Limits (category theory) (15 P)
M
- Monoidal categories (40 P)
O
S
T
Σ
- Category theory stubs (90 P)
Pages in category "Category theory"
The following 191 pages are in this category, out of 191 total. This list may not reflect recent changes.
A
B
C
- Cartesian monoidal category
- Catamorphism
- Categorical probability
- Categorical quantum mechanics
- Categorical set theory
- Categorical trace
- Categories for the Working Mathematician
- Categorification
- Category algebra
- Category of representations
- Center (category theory)
- Chu space
- Codensity monad
- Coherence condition
- Coimage
- Coinduction
- Cokernel
- Commutative diagram
- Compact object (mathematics)
- Completions in category theory
- Compositional game theory
- Concrete category
- Cone (category theory)
- Conservative functor
- Corecursion
- Corestriction
- Cosheaf
- Cosmos (category theory)
- Cotangent complex
- Cotriple homology
D
E
F
G
- Gabriel–Popescu theorem
- Gamma-object
- Generalized metric space
- Generator (category theory)
- Giraud subcategory
- Giry monad
- Globular set
- Graded category
- Grothendieck category
- Grothendieck construction
- Grothendieck universe
- Grothendieck's Galois theory
- Grothendieck's relative point of view
- Groupoid
- Groupoid object
H
I
K
L
M
P
S
- Section (category theory)
- Segal category
- Segal space
- Seifert–Van Kampen theorem
- Semiautomaton
- Semigroupoid
- Setoid
- Sieve (category theory)
- Simplicial localization
- Simplicially enriched category
- Size functor
- Skeleton (category theory)
- Sketch (mathematics)
- Spherical category
- Stable model category
- Stable module category
- Stack (mathematics)
- Strictification
- Structural Ramsey theory
- Subcategory
- Subquotient
- Subterminal object
- Symplectic category