Bc. Marek Coufalík
Bakalářská práce
Homotopická teorie typů
Homotopy Type Theory
Anotace:
Tato bakalářská práce se věnuje homotopické teorii typů. V práci jsou uvedeny základy teorie typů a souvislosti mezi teorií typů a teorií homotopie. Práce se dále věnuje fundamentální grupě kružnice. Ukázali jsme, že tato grupa je izomorfní grupě celých čísel. Důkaz je proveden jednak topologicky s využitím nakrývacích prostorů a jednak v homotopické teorii typů s implementací v Agdě, která tvoří přílohu …víceAbstract:
This bachelor thesis is devoted to homotopy type theory. The thesis presents the foundations of type theory and the connections between type theory and homotopy theory. The thesis also discusses the fundamental group of the circle. We show that this group is isomorphic to the group of integers. The proof is done both topologically using covering spaces and in homotopy type theory with an implementation …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 10. 5. 2022
Identifikátor:
https://is.muni.cz/th/jerg1/
Obhajoba závěrečné práce
- Obhajoba proběhla 27. 6. 2022
- Vedoucí: doc. Lukáš Vokřínek, PhD.
- Oponent: Mgr. Dominik Trnka
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Přírodovědecká fakultaMasarykova univerzita
Přírodovědecká fakultaBakalářský studijní program / obor:
Matematika / Obecná matematika
Práce na příbuzné téma
-
Transferability of an Individual's Fundamental Rights to a Group of Individuals in Theory and Practice
Tereza Papoušková -
Local Type Argument Synthesis for Erlang
David Pavlík -
Aktuální hrozby pro mezinárodní bezpečnost - historie, teorie, typy hrozeb
Kateřina Faustová -
Type theory and its semantics
Vít Jelínek -
Local Type Argument Synthesis for Erlang
David Pavlík -
Teorie zániku civilizací a současnost
Jakub Mareš