Iskalni niz:
išči po
išči po
išči po
išči po
Vrsta gradiva:
Jezik:
Št. zadetkov: 1
Obrnljive funkcije so sfere v svetu
Timon Najdovski, Andrej Bauer, Egbert Rijke
Diplomsko delo
Oznake: homotopska teorija tipov;obrnljivost;ekvivalenca;sfera;
Predstavimo definicijo sodb in kontekstov ter predstavimo njihovo uporabo za definicijo konstrukcij tipov v Martin-Löfovi teoriji odvisnih tipov. Na funkcijah vpeljemo pojma obrnljivosti in ekvivalence ter pokažemo, da sta logično ekvivalentna. Na tipih vpeljemo pojma kontraktibilnosti in propozicij ...
Leto: 2024 Vir: Fakulteta za matematiko in fiziko (UL FMF)
Št. zadetkov: 1
Ključne besede:
Leto izdaje:
Avtorji:
Repozitorij:
Tipologija:
Jezik: