(∞,n)-category

GPTKB entity

Statements (23)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:application gptkb:quantum_field_theory
cobordism hypothesis
gptkbp:describes categories with morphisms defined up to level n strictly and higher levels weakly
gptkbp:field gptkb:category_theory
higher category theory
gptkbp:formalized_by gptkb:Jacob_Lurie
gptkb:André_Joyal
gptkb:Bertrand_Toën
gptkb:Carlos_Simpson
gptkbp:generalizes gptkb:∞-category
n-category
gptkbp:has_definition various models exist, including Segal spaces, complete Segal spaces, and quasi-categories
https://www.w3.org/2000/01/rdf-schema#label (∞,n)-category
gptkbp:introduced Baez and Dolan
gptkbp:relatedTo n-category
(∞,1)-category
higher groupoid
gptkbp:used_in gptkb:topology
mathematical physics
homotopy theory
gptkbp:bfsParent gptkb:∞-categories
gptkbp:bfsLayer 8