On the homotopy hypothesis for 3-groupoids

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985840%3A_____%2F23%3A00575355" target="_blank" >RIV/67985840:_____/23:00575355 - isvavai.cz</a>
Výsledek na webu
<a href="http://www.tac.mta.ca/tac/volumes/39/26/39-26.pdf" target="_blank" >http://www.tac.mta.ca/tac/volumes/39/26/39-26.pdf</a>
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
On the homotopy hypothesis for 3-groupoids
Popis výsledku v původním jazyce
We show that if the canonical left semi-model structure on the category of Grothendieck n-groupoids exists, then it satisfies the homotopy hypothesis, i.e. the associated (∞, 1)-category is equivalent to that of homotopy n-types, thus generalizing a result of the first-named author. As a corollary of the second named author’s proof of the existence of the canonical left semi-model structure for Grothendieck 3-groupoids, we obtain a proof of the homotopy hypothesis for Grothendieck 3-groupoids.
Název v anglickém jazyce
On the homotopy hypothesis for 3-groupoids
Popis výsledku anglicky
We show that if the canonical left semi-model structure on the category of Grothendieck n-groupoids exists, then it satisfies the homotopy hypothesis, i.e. the associated (∞, 1)-category is equivalent to that of homotopy n-types, thus generalizing a result of the first-named author. As a corollary of the second named author’s proof of the existence of the canonical left semi-model structure for Grothendieck 3-groupoids, we obtain a proof of the homotopy hypothesis for Grothendieck 3-groupoids.

Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění
2023
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)