Classification of Covering Spaces and Canonical Change of Basepoint

Using the language of homotopy type theory (HoTT), we 1) prove a synthetic version of the classification theorem for covering spaces, and 2) explore the existence of canonical change-of-basepoint isomorphisms between homotopy groups. There is some freedom in choosing how to translate concepts from c...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2024-09
Hauptverfasser:	Wemmenhove, Jelle, Manea, Cosmin, Portegies, Jim
Format:	Artikel
Sprache:	eng
Schlagworte:	Classification Computer Science - Logic in Computer Science Isomorphism Mathematics - Algebraic Topology Mathematics - Logic Topology Translations
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!