Towards a globular path object for weak -groupoids

DOI10.1016/J.JPAA.2019.06.004zbMATH Open1422.55040arXiv1805.00156OpenAlexW2953022162MaRDI QIDQ2318409FDOQ2318409

Authors: Edoardo Lanari 

Publication date: 15 August 2019

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

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$.

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

Recommendations

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

zbMATH Keywords

path objecthomotopy hypothesisglobular objecthigher dimensional groupoid

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Introduction to bicategories
• Monoidal globular categories as a natural environment for the theory of weak \(n\)-categories
• A Quillen model structure for bicategories
• On the homotopy theory of Grothendieck \(\infty \)-groupoids
• Presheaves as models for homotopy types
• A folk model structure on omega-cat
• Algebraic models for higher categories
• A Quillen model structure for Gray-categories
• On semiflexible, flexible and pie algebras

Cited In (5)

• Strict \(\infty\)-groupoids are Grothendieck \(\infty\)-groupoids
• Note on the construction of globular weak omega-groupoids from types, topological spaces\dots
• On the homotopy theory of Grothendieck \(\infty \)-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)