Statements (93)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
gptkb:algebraic_geometry
gptkb:topology mathematical physics homotopy theory |
| gptkbp:developedBy |
gptkb:Alexander_Grothendieck
gptkb:Jacob_Lurie gptkb:André_Joyal gptkb:Jean_Bénabou gptkb:Ross_Street |
| gptkbp:extendsTo |
gptkb:category_theory
|
| gptkbp:hasConcept |
gptkb:monoidal_category
gptkb:Segal_space gptkb:quasi-category gptkb:simplicial_category coherence law categorification double category enriched category higher category model category multicategory homotopy colimit homotopy limit higher categorical structure higher stack higher coherence Gray category model structure Batanin n-category Joyal quasi-category Lurie ∞-category Street n-category Tamsamani n-category bicategory complicial set crossed complex cubical set delooping globular set higher Kan extension higher Yoneda lemma higher adjunction higher algebra higher base change higher categorical logic higher categorical model higher categorical semantics higher cofibration higher colimit higher descent higher equivalence higher equivalence relation higher fiber product higher fibration higher functor higher functoriality higher group higher groupoid higher limit higher module higher monad higher morphism higher natural transformation higher operad higher pullback higher pushout higher representation higher sheaf higher structure higher structure theorem higher topos higher transformation homotopy coherence homotopy hypothesis nerve construction opetopic set strict n-category tricategory weak n-category ∞-groupoid |
| https://www.w3.org/2000/01/rdf-schema#label |
Higher category theory
|
| gptkbp:includes |
2-category theory
n-category theory ∞-category theory |
| gptkbp:relatedTo |
gptkb:homotopy_type_theory
topos theory operad theory higher topos theory |
| gptkbp:studies |
higher categories
|
| gptkbp:bfsParent |
gptkb:Lax_functor
gptkb:Pseudo-functor |
| gptkbp:bfsLayer |
6
|