Category theory
Topic: Category
From HandWiki - Reading time: 2 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 (25 P)
H
- Higher category theory (33 P)
L
- Limits (category theory) (16 P)
O
S
T
- Topos theory (18 P)
Pages in category "Category theory"
The following 190 pages are in this category, out of 190 total.
A
B
C
- Cartesian monoidal category
- Catamorphism
- 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)
- Concrete category
- Cone (category theory)
- Conservative functor
- Corecursion
- Corestriction
- Cosheaf
- Cosmos (category theory)
- Cotangent complex
- Cotriple homology
D
E
F
G
H
I
K
L
P
S
- Section (category theory)
- Segal category
- Segal space
- Seifert–van Kampen theorem
- 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)
- Stereotype algebra
- Structural Ramsey theory
- Structure (category theory)
- Subcategory
- Subdivided interval categories
- Subquotient
- Subterminal object
- Symplectic category
T
Licensed under CC BY-SA 3.0 | Source: https://handwiki.org/wiki/Category:Category_theory28 views | ↧ Download this article as ZWI file
EncycloReader
is supported by the 
KSF