Algebraické struktury

Bc. Yuriy Dupyn

Bakalářská práce

Algebraic structures

Anotace:

V této bakalářské práci se věnujeme různým pojetím algebraických teorií. Začínáme se studiem jednosortových algebraických teorií konečné arity a jejich modelů, pak pokračujeme k monadám a znázorňujeme je z tří různých pohledů: jako funkcionální efekty, monoidy a zobecněné algebraické teorie. Nakonec dokazujeme větu monadicity a uvádíme komutativní algebraické teorie a ukazujeme, že jejich modely mají přirozený tenzorový součin.

Abstract:

In this thesis we study various notions of algebraic theories. We start off with finitary single-sorted algebraic theories and their models, then proceed to monads and show that they can be thought of in three different ways: as functional effects, as monoids, and as generalized algebraic theories. At last we prove the monadicity theorem and introduce commutative algebraic theories, and show that their models can be tensored in a natural way.

Keywords

Adjungovaný funktor, Algebraická Teorie, Lawvere Teorie, Eilenberg-Moore Kategorie, Kleisliho Kategorie, Monady, Monadicita, Monoidalni Kategorie, Giryho Monad, Tenzorový Součin, Eckman-Hilton, Adjoint Functor, Algebraic Theory, Lawvere Theory, Eilenberg-Moore Category, Kleisli Category, Monads, Monadicity, Monoidal Categories, Giry Monad, Tensor Product

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 15. 5. 2019

Obhajoba závěrečné práce

• Obhajoba proběhla 21. 6. 2019
• Vedoucí: doc. Lukáš Vokřínek, PhD.
• Oponent: Mgr. Ivan Di Liberti

Masarykova univerzita

Přírodovědecká fakulta

Bakalářský studijní program / obor:
Matematika / Obecná matematika