Academic Journal
Formalization of Classification of Covering Spaces and Canonical Change of Basepoint in HoTT
| العنوان: | Formalization of Classification of Covering Spaces and Canonical Change of Basepoint in HoTT |
|---|---|
| المؤلفون: | Wemmenhove, Jelle, Manea, Cosmin, Portegies, Jim |
| المساهمون: | Jelle Wemmenhove and Cosmin Manea and Jim Portegies |
| بيانات النشر: | Schloss Dagstuhl – Leibniz-Zentrum für Informatik |
| سنة النشر: | 2024 |
| المجموعة: | DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) |
| مصطلحات موضوعية: | Synthetic Homotopy Theory, Homotopy Type Theory, Covering Spaces, Change-of-Basepoint Isomorphism |
| نوع الوثيقة: | article in journal/newspaper |
| اللغة: | English |
| Relation: | https://drops.dagstuhl.de/entities/document/10.4230/artifacts.22492 |
| DOI: | 10.4230/artifacts.22492 |
| الاتاحة: | https://doi.org/10.4230/artifacts.22492 https://nbn-resolving.org/urn:nbn:de:0030-drops-224926 https://drops.dagstuhl.de/entities/document/10.4230/artifacts.22492 |
| Rights: | https://spdx.org/licenses/BSD-2-Clause.html#licenseText |
| رقم الانضمام: | edsbas.393AC87D |
| قاعدة البيانات: | BASE |
| DOI: | 10.4230/artifacts.22492 |
|---|