Category Theory
From Handwiki 
Here is a list of articles in the Category theory category of the Computing portal that unifies foundations of mathematics and computations using computers. 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 11 subcategories, out of 11 total.
C
D
F
- Free algebraic structures (24 P)
H
- Higher category theory (52 P)
L
- Limits (category theory) (17 P)
O
S
T
- Topos theory (19 P)
Pages in category "Category theory"
The following 200 pages are in this category, out of 214 total.
(previous page) (next page)A
- AB5 category
- Abstract elementary class
- Tame abstract elementary class
- Abstract nonsense
- Accessible category
- Accessible quasi-category
- Accessible ∞-category
- Adhesive category
- Allegory (category theory)
- Allegory (mathematics)
- Anamorphism
- Applied category theory
- Associativity isomorphism
- Auto magma object
B
C
- Cartesian monoidal category
- Catamorphism
- Categorical probability
- Physics:Categorical quantum mechanics
- Categorical set theory
- Categorical trace
- Categories for the Working Mathematician
- Categorification
- Category algebra
- Center (category theory)
- Charity (programming language)
- 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
- Core of a category
- 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
- Global element
- 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
- Schauenburg–Ng theorem
- Section (category theory)
- Segal category
- Segal space
- Seifert–van Kampen theorem
- Seifert–Van Kampen theorem
- Semiautomaton
- Semigroupoid
- Sieve (category theory)
- Simplicial localization
- Size functor
- Skeleton (category theory)
- Skeletonization of fusion categories
- Sketch (mathematics)
- Small object argument
- Spherical category
- Stable model category
- Stable module category
- Strictification
- Structural Ramsey theory
- Structure (category theory)
- Subcategory
Categories: [Mathematical structures] [Functions and mappings]
↧ Download as ZWI file | Last modified: 05/11/2026 02:28:55 | 41 views
☰ Source: https://handwiki.org/wiki/category:category_theory | License: CC BY-SA 3.0
✘
ZWI is not signed. [what is this?]
ZWI viewer
by the 
KSF
KSF