Extending Hrushovski's groupoid-cover correspondence using simplicial groupoids
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2020
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866917589168422912 |
|---|---|
| author | Wang, Paul Z. |
| author_facet | Wang, Paul Z. |
| contents | Hrushovski's suggestion, given in ["Groupoids, imaginaries and internal covers," Turkish Journal of Mathematics , 2012], to capture the structure of the 1-analysable covers of a theory T using simplicial groupoids definable in T is realized here. The ideas of Haykazyan and Moosa, found in ["Functoriality and uniformity in Hrushovski's groupoid-cover correspondence," Annals of Pure and Applied Logic , 2018] are used, and extended, to define an equivalence of categories. Finally, a couple of examples are studied with these new tools. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2009_13870 |
| institution | arXiv |
| publishDate | 2020 |
| record_format | arxiv |
| spellingShingle | Extending Hrushovski's groupoid-cover correspondence using simplicial groupoids Wang, Paul Z. Logic 03C45 Hrushovski's suggestion, given in ["Groupoids, imaginaries and internal covers," Turkish Journal of Mathematics , 2012], to capture the structure of the 1-analysable covers of a theory T using simplicial groupoids definable in T is realized here. The ideas of Haykazyan and Moosa, found in ["Functoriality and uniformity in Hrushovski's groupoid-cover correspondence," Annals of Pure and Applied Logic , 2018] are used, and extended, to define an equivalence of categories. Finally, a couple of examples are studied with these new tools. |
| title | Extending Hrushovski's groupoid-cover correspondence using simplicial groupoids |
| topic | Logic 03C45 |
| url | https://arxiv.org/abs/2009.13870 |