Category:Higher category theory

• Higher category theory (computing)

2

• 2-functor (computing)
• 2-group (computing)
• 2-ring (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)