Bc. Miloslav Štěpán
Diplomová práce
2-kategorie
2-categories
Anotace:
V práci se zabýváme výsledky o koherenci v teorii 2-kategorií. V obecném pojetí jsou to podmínky, za kterých jsou pseudoalgebry pro danou 2-monádu ekvivalentní striktním algebrám. Například každá monoidální kategorie je monoidálně ekvivalentní striktní monoidální kategorii. Kromě těchto výsledků o koherenci pseudoalgeber se v práci zaměřujeme i na větu o koherenci pro laxní algebry, která byla prvně …víceAbstract:
The thesis is devoted to coherence results in 2-category theory. In the general setting, these assert conditions under which are pseudoalgebras for a 2-monad equivalent to strict ones. For example every monoidal category is monoidally equivalent to a strict monoidal category. In this thesis we give exposition on such results. We moreover focus on coherence theorem for lax algebras that has first been …více
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 18. 8. 2020
Identifikátor:
https://is.muni.cz/th/ahwdt/
Obhajoba závěrečné práce
- Obhajoba proběhla 11. 9. 2020
- Vedoucí: PhD. John Denis Bourke
- Oponent: prof. RNDr. Jiří Rosický, DrSc.
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á fakultaMagisterský studijní program / obor:
Matematika / Geometrie
Práce na příbuzné téma
- Žádné práce na příbuzné téma.