The following pages link to Higher category theory
External toolsShowing 50 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Structuralism (philosophy of mathematics) (links | edit)
- N-category theory (redirect page) (links | edit)
- Homotopy type theory (links | edit)
- Glossary of areas of mathematics (links | edit)
- Free category (links | edit)
- Pursuing Stacks (links | edit)
- Strict ∞-categories (redirect page) (links | edit)
- Homotopy hypothesis (links | edit)
- ∞-groupoid (links | edit)
- Urs Schreiber (links | edit)
- Stable ∞-category (links | edit)
- 2-ring (links | edit)
- ∞-topos (links | edit)
- Higher Topos Theory (links | edit)
- Univalent foundations (links | edit)
- Michael Shulman (mathematician) (links | edit)
- 2-functor (links | edit)
- Eugenia Cheng (links | edit)
- Conglomerate (mathematics) (links | edit)
- Coherency (homotopy theory) (links | edit)
- Carlos Simpson (links | edit)
- Strict n-category (redirect to section "Strict higher categories") (links | edit)
- Category theory (links | edit)
- Functor (links | edit)
- Inverse limit (links | edit)
- Universal property (links | edit)
- Yoneda lemma (links | edit)
- Limit (category theory) (links | edit)
- Natural transformation (links | edit)
- Abelian category (links | edit)
- Category (mathematics) (links | edit)
- Adjoint functors (links | edit)
- Initial and terminal objects (links | edit)
- Preadditive category (links | edit)
- Additive category (links | edit)
- Pre-abelian category (links | edit)
- Commutative diagram (links | edit)
- Enriched category (links | edit)
- Direct limit (links | edit)
- Cartesian closed category (links | edit)
- Product (category theory) (links | edit)
- Cokernel (links | edit)
- Equaliser (mathematics) (links | edit)
- Dual (category theory) (links | edit)
- Coproduct (links | edit)
- Subcategory (links | edit)
- Monoidal category (links | edit)
- Outline of category theory (links | edit)
- Opposite category (links | edit)
- Functor category (links | edit)
- Coequalizer (links | edit)
- Bicategory (links | edit)
- Pushout (category theory) (links | edit)
- Comma category (links | edit)
- Pullback (category theory) (links | edit)
- Natural numbers object (links | edit)
- Simplicial set (links | edit)
- Simplex category (links | edit)
- Closed category (links | edit)
- Categorification (links | edit)
- Fibred category (links | edit)
- Exponential object (links | edit)
- Glossary of category theory (links | edit)
- Kan extension (links | edit)
- Tricategory (links | edit)
- Strict 2-category (links | edit)
- Model category (links | edit)
- Symmetric monoidal category (links | edit)
- End (category theory) (links | edit)
- Kleisli category (links | edit)
- String diagram (links | edit)
- N-monoid (links | edit)
- Quotient category (links | edit)
- Product category (links | edit)
- Higher category theory (links | edit)
- Dagger symmetric monoidal category (links | edit)
- Tannakian formalism (links | edit)
- Tetracategory (links | edit)
- Traced monoidal category (links | edit)
- Lift (mathematics) (links | edit)
- Tensor-hom adjunction (links | edit)
- Center (category theory) (links | edit)
- Timeline of category theory and related mathematics (links | edit)
- Higher-dimensional algebra (links | edit)
- Amnestic functor (links | edit)
- N-group (category theory) (links | edit)
- 2-group (links | edit)
- Topos (links | edit)
- Morphism (links | edit)
- Quasi-category (links | edit)
- Simplicially enriched category (links | edit)
- Free category (links | edit)
- Homotopy hypothesis (links | edit)
- ∞-groupoid (links | edit)
- Stable ∞-category (links | edit)
- 2-ring (links | edit)
- ∞-topos (links | edit)
- 2-functor (links | edit)
- Conglomerate (mathematics) (links | edit)
- Fundamental groupoid (links | edit)
- Envelope (category theory) (links | edit)
- Polynomial functor (links | edit)
- List object (links | edit)
- Refinement (category theory) (links | edit)
- Applied category theory (links | edit)
- Rig category (links | edit)
- Lawvere's fixed-point theorem (links | edit)
- Point-surjective morphism (links | edit)
- User:Idc18 (links | edit)
- User:Y-S.Ko/Wikipedia course/Mathematics (links | edit)
- Template:Category theory (links | edit)
- Bertrand Toën (links | edit)
- Fundamental groupoid (links | edit)
- Envelope (category theory) (links | edit)
- Polynomial functor (links | edit)
- List object (links | edit)
- Polynomial functor (type theory) (links | edit)
- Refinement (category theory) (links | edit)
- Emily Riehl (links | edit)
- Clark Barwick (links | edit)
- Julie Bergner (links | edit)
- Applied category theory (links | edit)
- Homotopy theory (links | edit)
- Strict n-categories (redirect page) (links | edit)
- Overcategory (links | edit)
- Higher gauge theory (links | edit)
- Beyond Infinity (mathematics book) (links | edit)
- Rig category (links | edit)
- Lawvere's fixed-point theorem (links | edit)
- Point-surjective morphism (links | edit)
- Denis-Charles Cisinski (links | edit)
- Talk:Category (mathematics) (links | edit)
- Talk:Higher category theory (transclusion) (links | edit)
- Talk:Mathematics/Archive 14 (links | edit)
- User:Tompw/templates (links | edit)
- User:Michael Slone/mathtasks (links | edit)
- User:Michael Slone/tasks (links | edit)
- User:Bci2 (links | edit)
- User:Owsteele/Books/CategoryTheory (links | edit)