Towards a globular path object for weak -groupoids

DOI10.1016/J.JPAA.2019.06.004MaRDI QIDQ2318409zbMATH OpenOpenAlexFDO

Authors Edoardo Lanari

Publication date 15 August 2019

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

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

zbMATH Keywords

globular objecthigher dimensional groupoidhomotopy hypothesispath object

Mathematics Subject Classification ID

Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: The goal of this paper is to address the problem of building a path object for the category of Grothendieck (weak) $infty$-groupoids. This is the missing piece for a proof of Grothendieck's homotopy hypothesis. We show how to endow the putative underlying globular set with a system of composition, a system of identities and a system of inverses, together with an approximation of the interpretation of any map for a theory of $infty$-categories. Finally, we introduce a coglobular $infty$-groupoid representing modifications of $infty$-groupoids, and prove some basic properties it satisfies, that will be exploited to interpret all $2$-dimensional categorical operations on cells of the path object $mathbbPX$ of a given $infty$-groupoid $X$.

Review text

The goal of this paper is to address the problem of building a path object for the category of Grothendieck (weak) \(\infty\)-groupoids. This is the missing piece for a proof of Grothendieck's homotopy hypothesis. The author shows how to endow the putative underlying globular set with a system of compositions, a system of identities and a system of inverses, together with an approximation of the interpretation of any map for a theory of \(\infty\)-categories. Finally, he introduces a coglobular \(\infty\)-groupoid representing modifications of \(\infty\)-groupoids, and proves some basic properties it satisfies, that will be exploited to interpret all \(2\)-dimensional categorical operations on cells of the path object \(\mathbb{P}X\) of a given \(\infty\)-groupoid \(X\).

Recommendations

• On the homotopy theory of Grothendieck \(\infty \)-groupoids
• A Cartesian presentation of weak \(n\)-categories
• Strict -groupoids are Grothendieck -groupoids
• Note on the construction of globular weak omega-groupoids from types, topological spaces\dots
• scientific article; zbMATH DE number 29046

Cites work

• A folk model structure on omega-cat
• A Quillen model structure for bicategories
• A Quillen model structure for Gray-categories
• Algebraic models for higher categories
• scientific article; zbMATH DE number 1226952 (Why is no real title available?)
• Introduction to bicategories
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
• On semiflexible, flexible and pie algebras
• On the homotopy theory of Grothendieck \(\infty \)-groupoids
• Presheaves as models for homotopy types

Cited in

(5)

• On the homotopy theory of Grothendieck \(\infty \)-groupoids
• Note on the construction of globular weak omega-groupoids from types, topological spaces\dots
• Strict -groupoids are Grothendieck -groupoids
• Iterated algebraic injectivity and the faithfulness conjecture
• On the homotopy hypothesis for 3-groupoids

This page was built for publication: Towards a globular path object for weak \(\infty\)-groupoids

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