Category theory
Topic: Category
From HandWiki - Reading time: 3 min
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 (23 P)
H
- Higher category theory (49 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 203 total.
(previous page) (next page)A
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
- Category of representations
- 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
- Simplicially enriched category
- Size functor
- Skeleton (category theory)
- Sketch (mathematics)
- Small object argument
- Spherical category
- Stable model category
- Stable module category
- Strictification
- Structural Ramsey theory
- Structure (category theory)
- Subcategory
- Subdivided interval categories
- Subterminal object
T
Licensed under CC BY-SA 3.0 | Source: https://handwiki.org/wiki/Category:Category_theory90 views | ↧ Download this article as ZWI file
EncycloReader
is supported by the 
KSF