Dvoudimensionální univerzální algebra

Dostál Matěj

Two-dimensional universal algebra

Type of document

disertační práce
doctoral thesis

Author

Dostál Matěj

Supervisor

Velebil Jiří

Opponent

Adámek Jiří

Field of study

Matematické inženýrství

Study program

Elektrotechnika a informatika

Institutions assigning rank

katedra matematiky

Rights

A university thesis is a work protected by the Copyright Act. Extracts, copies and transcripts of the thesis are allowed for personal use only and at one?s own expense. The use of thesis should be in compliance with the Copyright Act http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf and the citation ethics http://knihovny.cvut.cz/vychova/vskp.html
Vysokoškolská závěrečná práce je dílo chráněné autorským zákonem. Je možné pořizovat z něj na své náklady a pro svoji osobní potřebu výpisy, opisy a rozmnoženiny. Jeho využití musí být v souladu s autorským zákonem http://www.mkcr.cz/assets/autorske-pravo/01-3982006.pdf a citační etikou http://knihovny.cvut.cz/vychova/vskp.html

Metadata

Show full item record

Abstract

Tato práce se zabývá kategoriální universální algebrou. Zobecňuje mnoho výsledků klasické kategoriální universální algebry pro obohacené kategorie, popřípadě pro vícerozměrné kategorie. Mimo jiné patří mezi výsledky práce věta o Moritově ekvivalenci pro vícesortové algebry, Birkhoffova věta pro algebry nad kategoriemi, formální věta o~pseudoadjunktu, a popis věnečků pro pseudomonády.

This thesis studies categorical universal algebra. Many results from classical categorical universal algebra are generalised to the setting of enriched categories, or to the setting of higher categories. Among other results, we show a Morita equivalence theorem for many-sorted algebras, Birkhoff's variety theorem for algebras over categories, a formal pseudoadjoint functor theorem, and we describe wreaths for pseudomonads.