For every Grothendieck coherator in the Ara–Henry convention, every boundary-cellular infinity-groupoid model X, every n≥0 and every n-cell a of X, adjoining an (n+1)-disk along the source n-face of a gives a weak equivalence X→X⁺.
For every Grothendieck coherator in the Ara–Henry convention, every boundary-cellular infinity-groupoid model X, every n≥0 and every n-cell a of X, adjoining an (n+1)-disk along the source n-face of a gives a weak equivalence X→X⁺.
For every Grothendieck coherator in the Ara–Henry convention, every boundary-cellular infinity-groupoid model X, every n≥0 and every n-cell a of X, adjoining an (n+1)-disk along the source n-face of a gives a weak equivalence X→X⁺.
If correct, resolves Henry’s pushout conjecture, the key elementary-expansion step in the Grothendieck homotopy hypothesis approach.
Does adjoining an elementary globular expansion preserve the homotopy groups of cellular weak infinity-groupoids?
Publication dates and editorial changes.
OpenAI reports Henry’s elementary-expansion weak equivalence
Allow optional Google Analytics to help improve AIProofWatch? Privacy details.
