Natural homotopy of multipointed d-spaces
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911358139760640 |
|---|---|
| author | Gaucher, Philippe |
| author_facet | Gaucher, Philippe |
| contents | We identify Grandis' directed spaces as a full reflective subcategory of the category of multipointed $d$-spaces. When the multipointed $d$-space realizes a precubical set, its reflection coincides with the standard realization of the precubical set as a directed space. The reflection enables us to extend the construction of the natural system of topological spaces in Baues-Wirsching's sense from directed spaces to multipointed $d$-spaces. In the case of a cellular multipointed $d$-space, there is a discrete version of this natural system which is proved to be bisimilar up to homotopy. We also prove that these constructions are invariant up to homotopy under globular subdivision. These results are the globular analogue of Dubut's results. Finally, we point the apparent incompatibility between the notion of bisimilar natural systems and the q-model structure of multipointed $d$-spaces and we give some suggestions for future works. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2404_18693 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Natural homotopy of multipointed d-spaces Gaucher, Philippe Algebraic Topology Category Theory 55U35, 68Q85 We identify Grandis' directed spaces as a full reflective subcategory of the category of multipointed $d$-spaces. When the multipointed $d$-space realizes a precubical set, its reflection coincides with the standard realization of the precubical set as a directed space. The reflection enables us to extend the construction of the natural system of topological spaces in Baues-Wirsching's sense from directed spaces to multipointed $d$-spaces. In the case of a cellular multipointed $d$-space, there is a discrete version of this natural system which is proved to be bisimilar up to homotopy. We also prove that these constructions are invariant up to homotopy under globular subdivision. These results are the globular analogue of Dubut's results. Finally, we point the apparent incompatibility between the notion of bisimilar natural systems and the q-model structure of multipointed $d$-spaces and we give some suggestions for future works. |
| title | Natural homotopy of multipointed d-spaces |
| topic | Algebraic Topology Category Theory 55U35, 68Q85 |
| url | https://arxiv.org/abs/2404.18693 |