|
gptkbp:instanceOf
|
gptkb:mathematical_concept
|
|
gptkbp:defines
|
category with morphisms between morphisms at all levels, satisfying associativity and identity up to higher morphisms
|
|
gptkbp:field
|
gptkb:category_theory
higher category theory
|
|
gptkbp:firstAppearance
|
1980s
|
|
gptkbp:generalizes
|
gptkb:dictionary
2-category
n-category
|
|
gptkbp:hasApplication
|
gptkb:quantum_field_theory
gptkb:motivic_homotopy_theory
derived algebraic geometry
categorification
stable homotopy theory
higher stacks
|
|
gptkbp:hasDefinitionVariant
|
gptkb:(∞,n)-category
gptkb:strict_∞-category
gptkb:weak_∞-category
(∞,1)-category
|
|
gptkbp:hasProperty
|
morphisms between morphisms at all levels
|
|
gptkbp:notableContributor
|
gptkb:Alexander_Grothendieck
gptkb:Jacob_Lurie
gptkb:André_Joyal
gptkb:Carlos_Simpson
gptkb:Ross_Street
gptkb:Tom_Leinster
|
|
gptkbp:referencedIn
|
Carlos Simpson, Homotopy theory of higher categories
André Joyal, Quasi-categories and Kan complexes
Jacob Lurie, Higher Topos Theory
Tom Leinster, Higher Operads, Higher Categories
|
|
gptkbp:relatedConcept
|
gptkb:homotopy_type_theory
gptkb:operad
gptkb:Segal_space
gptkb:quasi-category
model category
simplicial set
higher topos theory
|
|
gptkbp:usedIn
|
gptkb:topology
mathematical physics
homotopy theory
|
|
gptkbp:bfsParent
|
gptkb:∞-categories
|
|
gptkbp:bfsLayer
|
8
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
∞-category
|