Synthese und Berechnung der Eilenberg-MacLane-Räume in der Homotopie-Typ-Theorie

Dieser Artikel entwickelt eine synthetische Theorie der Eilenberg-MacLane-Räume in der Homotopie-Typ-Theorie und zeigt, wie diese Räume effizient berechnet werden können.