Natural homotopy of multipointed d-spaces

التفاصيل البيبلوغرافية
العنوان: Natural homotopy of multipointed d-spaces
المؤلفون: Gaucher, Philippe
المساهمون: Institut de Recherche en Informatique Fondamentale (IRIF (UMR_8243)), Centre National de la Recherche Scientifique (CNRS)-Université Paris Cité (UPCité)
المصدر: https://hal.science/hal-04563674Test ; 2024.
بيانات النشر: HAL CCSD
سنة النشر: 2024
مصطلحات موضوعية: multipointed d-space, globular subdivision, directed path, natural system, bisimulation, open map, [MATH.MATH-AT]Mathematics [math]/Algebraic Topology [math.AT], [MATH.MATH-CT]Mathematics [math]/Category Theory [math.CT]
الوصف: 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 incompatibility between the notion of bisimilar natural systems and the q-model structure of multipointed $d$-spaces. This means that either the notion of bisimilar natural systems is too rigid or new model structures should be considered on multipointed $d$-spaces.
نوع الوثيقة: report
اللغة: English
العلاقة: hal-04563674; https://hal.science/hal-04563674Test; https://hal.science/hal-04563674/documentTest; https://hal.science/hal-04563674/file/GlobularNaturalSystem.pdfTest
الإتاحة: https://hal.science/hal-04563674Test
https://hal.science/hal-04563674/documentTest
https://hal.science/hal-04563674/file/GlobularNaturalSystem.pdfTest
حقوق: info:eu-repo/semantics/OpenAccess
رقم الانضمام: edsbas.1988D9AA
قاعدة البيانات: BASE