Categorical View of Monads in Computer Science – Bc. Vít Jelínek
Bc. Vít Jelínek
Bakalářská práce
Categorical View of Monads in Computer Science
Categorical View of Monads in Computer Science
Anotace:
V této práci se zabýváme monádami, pojmem z teorie kategorií. Věnujeme se jim jednak z pohledu matematiky, kdy ukazujeme různé matematické analogie, a také z pohledu teoretické informatiky, kdy ukazujeme, jak se pomocí monád dají modelovat různé výpočetní efekty. Následně představujeme Lawverovy teorie, které slouží pro kategoriální popis univerzální algebry, a vysvětlujeme, jak univerzální algebra …víceAbstract:
This thesis is devoted to monads, a notion from category theory. We present a mathematical point of view by showing various mathematical analogies as well as the perspective of computer science by showing how to model various computational effects via monads. Then, we introduce Lawvere theories that serve as a categorical description of universal algebra and explain how universal algebra connects to …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 19. 5. 2022
Identifikátor:
https://is.muni.cz/th/t7wl3/
Obhajoba závěrečné práce
- Obhajoba proběhla 30. 6. 2022
- Vedoucí: RNDr. Petr Novotný, Ph.D.
- Oponent: doc. Mgr. Jan Obdržálek, PhD.
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, Fakulta informatikyMasarykova univerzita
Fakulta informatikyBakalářský studijní program / obor:
Informatika / Matematická informatika
Práce na příbuzné téma
-
Univerzální algebra a kvantové svazy
Jiří Janda -
Unifikační teorie a univerzální algebra
Martin Kubíček -
Univerzální algebra a CSP
Petr Novotný -
Porovnání současných systémů počítačové algebry
Peter Gábor -
Algebraické struktury
Yuriy Dupyn -
The Scott adjunction
Ivan Di Liberti -
O kategoriích algeber
Jan Pavlík