|
gptkbp:instanceOf
|
gptkb:mathematical_concept
|
|
gptkbp:field
|
gptkb:category_theory
higher category theory
|
|
gptkbp:generalizes
|
gptkb:dictionary
weak n-category
|
|
gptkbp:hasDefinitionBy
|
multiple models
|
|
gptkbp:hasKeyContributor
|
gptkb:John_Baez
gptkb:Alexander_Grothendieck
gptkb:Charles_Rezk
gptkb:Jacob_Lurie
gptkb:Vladimir_Drinfeld
gptkb:André_Joyal
gptkb:Bertrand_Toën
gptkb:James_Dolan
gptkb:Carlos_Simpson
gptkb:Ross_Street
gptkb:David_Ayala
gptkb:Tom_Leinster
gptkb:Emily_Riehl
Clark Barwick
Dominic Verity
Michael Batanin
Simone Tamsamani
|
|
gptkbp:hasProperty
|
composition associative up to higher cells
identities up to higher cells
|
|
https://www.w3.org/2000/01/rdf-schema#label
|
weak ∞-category
|
|
gptkbp:includesModel
|
gptkb:Segal_space
gptkb:complete_Segal_space
gptkb:quasi-category
gptkb:simplicial_category
complicial set
Batanin's definition
Street's definition
Tamsamani's definition
opetopic category
|
|
gptkbp:notionIntroducedIn
|
late 20th century
|
|
gptkbp:publishedIn
|
gptkb:Higher_Topos_Theory
On the definition of weak n-category
Categories for the Working Mathematician (appendix)
Segal spaces and ∞-categories
Simplicial categories vs Segal categories
The theory of ∞-categories and the homotopy theory of (∞,1)-categories
|
|
gptkbp:relatedTo
|
gptkb:strict_∞-category
homotopy theory
n-category
|
|
gptkbp:usedIn
|
gptkb:logic
gptkb:topology
homotopy theory
higher algebra
|
|
gptkbp:bfsParent
|
gptkb:∞-categories
|
|
gptkbp:bfsLayer
|
8
|