Homotopy groups of cubical sets

DOI10.1016/J.EXMATH.2023.125518MaRDI QIDQ6149199zbMATH OpenFDO

Authors Daniel Carranza, Krzysztof Kapulkin

Publication date 5 February 2024

Published in Expositiones Mathematicae (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2202.03511

zbMATH Keywords

cubical sethomotopy groupsloop space

Mathematics Subject Classification ID

Homotopical algebra, Quillen model categories, derivators (18N40) Homotopy groups, general; sets of homotopy classes (55Q05) Simplicial sets and complexes in algebraic topology (55U10) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: We define and study homotopy groups of cubical sets. To this end, we give four definitions of homotopy groups of a cubical set, prove that they are equivalent, and further that they agree with their topological analogues via the geometric realization functor. We also provide purely combinatorial proofs of several classical theorems, including: product preservation, commutativity of higher homotopy groups, the long exact sequence of a fibration, and Whitehead's theorem. This is a companion paper to our "Cubical setting for discrete homotopy theory, revisited" in which we apply these results to study the homotopy theory of simple graphs.

Recommendations

• Homology groups of cubical sets with connections
• Homology groups of cubical sets
• Higher discrete homotopy groups of graphs
• Cubical and simplicial sets in the category of quivers

Cites work

• A cubical approach to straightening
• ABSTRACT HOMOTOPY
• Abstract homotopy theory and generalized sheaf cohomology
• ABSTRACT HOMOTOPY. II
• Categorical homotopy theory
• Foundations of a connectivity theory for simplicial complexes
• Frames in cofibration categories
• Homotopy limits in type theory
• Homotopy theory of cocomplete quasicategories
• Homotopy theory of cofibration categories
• Homotopy theory of graphs
• scientific article; zbMATH DE number 937397 (Why is no real title available?)
• Internal languages of finitely complete ( , 1)-categories
• Invariance of the \(K\)-theory for derived equivalences
• Locally Cartesian closed quasi-categories from type theory
• On the algebra of cubes
• Presheaves as models for homotopy types
• Pull-Backs in Homotopy Theory
• Quasicategories of frames of cofibration categories
• Simplicial presheaves
• The cubical category with connections is a strict test category
• The theory and practice of Reedy categories

Cited in

(2)

• The Hurewicz theorem for cubical homology
• Cubical setting for discrete homotopy theory, revisited

This page was built for publication: Homotopy groups of cubical sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6149199)