|
gptkbp:instanceOf
|
gptkb:mathematical_concept
|
|
gptkbp:defines
|
category with morphisms of all levels, with associativity and identity up to higher morphisms
|
|
gptkbp:field
|
gptkb:category_theory
higher category theory
|
|
gptkbp:formedBy
|
gptkb:Charles_Rezk
gptkb:Jacob_Lurie
gptkb:Vladimir_Drinfeld
gptkb:André_Joyal
gptkb:Bertrand_Toën
gptkb:Carlos_Simpson
gptkb:Ross_Street
gptkb:Joyal's_quasi-category
gptkb:Segal_space
gptkb:Tom_Leinster
gptkb:complete_Segal_space
gptkb:simplicial_category
model category
topological category
Simpson's definition
operadic definition
|
|
gptkbp:generalizes
|
categories
2-categories
n-categories
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
∞-categories
|
|
gptkbp:introduced
|
gptkb:Alexander_Grothendieck
|
|
gptkbp:notableWork
|
gptkb:Higher_Topos_Theory_by_Jacob_Lurie
gptkb:Segal_Spaces_and_Homotopy_Theory_by_Charles_Rezk
gptkb:Simplicial_Categories_by_André_Joyal
nLab: Infinity-category
|
|
gptkbp:notation
|
gptkb:(∞,n)-category
gptkb:∞-category
(∞,1)-category
|
|
gptkbp:relatedTo
|
gptkb:Segal_categories
homotopy theory
topos theory
derived algebraic geometry
model categories
simplicial sets
homotopical algebra
higher stacks
2-categories
homotopy coherent diagrams
n-categories
quasi-categories
|
|
gptkbp:subspecies
|
gptkb:(∞,n)-category
gptkb:Segal_category
gptkb:complete_Segal_space
gptkb:quasi-category
gptkb:simplicial_category
gptkb:strict_∞-category
gptkb:weak_∞-category
topological category
(∞,1)-category
|
|
gptkbp:usedIn
|
gptkb:topology
homotopy theory
|
|
gptkbp:bfsParent
|
gptkb:Homotopical_Algebra
gptkb:Derived_Algebraic_Geometry
|
|
gptkbp:bfsLayer
|
7
|