Higher Dimensional Categories
GPTKB entity
Statements (49)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:product
|
| gptkbp:bfsLayer |
5
|
| gptkbp:bfsParent |
gptkb:Topos_Theory
|
| gptkbp:developed_by |
gptkb:Jacob_Lurie
gptkb:Vladimir_Drinfeld gptkb:John_Baez |
| gptkbp:has_programs |
gptkb:musician
gptkb:military_officer Algebraic Topology |
| gptkbp:has_property |
gptkb:Infinity-Categories
Higher Morphisms N-categories Weak Composition Laws |
| https://www.w3.org/2000/01/rdf-schema#label |
Higher Dimensional Categories
|
| gptkbp:is_characterized_by |
Cohomology
Associativity Fibrations Simplicial Sets Composition of Morphisms Higher Homotopy Types Model Categories Categorical Diagrams Cofibrations Enriched Categories Higher Dimensional Adjunctions Higher Dimensional Categories Theory Higher Dimensional Colimits Higher Dimensional Equivalences Higher Dimensional Functors Higher Dimensional Limits Higher Dimensional Natural Transformations Higher Dimensional Structures Higher Segal Spaces Homotopy Colimits Homotopy Limits Identity Morphisms Infinity-Groupoids Interchange Law Weak Equivalences |
| gptkbp:is_related_to |
Functoriality
Natural Transformations Higher Algebra |
| gptkbp:is_studied_in |
gptkb:physicist
gptkb:Mathematician |
| gptkbp:is_used_in |
gptkb:Homotopy_Type_Theory
Higher Dimensional Algebra Categorical Logic |
| gptkbp:related_to |
gptkb:Topos_Theory
Homotopy Theory |