Category:Higher category theory
![]() | Computing portal |
Here is a list of articles in the Higher category theory category of the Computing portal that unifies foundations of mathematics and computations using computers.
![]() |
Wikimedia Commons has media related to Higher category theory. |
Pages in category "Higher category theory"
The following 31 pages are in this category, out of 31 total.
- Higher category theory (computing)
B
- John C. Baez (biography)
- Bicategory (computing)
C
- Category theory (computing)
- Conglomerate (mathematics) (computing)
- Conglomerate (set theory) (computing)
D
- Double groupoid (computing)
E
- En-ring (computing)
- Extranatural transformation (computing)
F
- Fundamental groupoid (computing)
H
- Higher-dimensional algebra (computing)
- Homotopy hypothesis (computing)
I
- ∞-groupoid (computing)
N
- N-category (computing)
- N-category number (computing)
- N-group (category theory) (computing)
- N-monoid (computing)
Q
- Quasi-category (computing)
S
- Seifert–van Kampen theorem (computing)
- Stabilization hypothesis (computing)
- Stable ∞-category (computing)
- Strict 2-category (computing)
- String diagram (computing)
T
- Tetracategory (computing)
- Timeline of category theory and related mathematics (computing)
- Tricategory (computing)
W
- Weak n-category (computing)
∞
- ∞-topos (computing)