Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 1
Hopfovo vlaknenje v homotopski teoriji tipov
Jaka Slapar, Andrew W. Swan
Diplomsko delo
Oznake: homotopska teorija tipov;Hopfovo vlaknenje;višji induktivni tipi;univalenčni aksiom;homotopske grupe;sfere;
V delu obravnavamo Hopfovo vlaknenje v homotopski teoriji tipov. Predstavimo sintetično interpretacijo tipov kot prostorov in identifikacij kot poti ter razvijemo pojme transporta, homotopije, ekvivalence, povezanosti in homotopskih grup. Z višjimi induktivnimi tipi definiramo krog, suspenzije, sfer ...
Leto: 2026 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Št. zadetkov: 1
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: