Dvoudimensionální univerzální algebra

Two-dimensional universal algebra

Typ dokumentu
disertační práce
doctoral thesis
Autor
Dostál Matěj
Vedoucí práce
Velebil Jiří
Oponent práce
Adámek Jiří
Studijní obor
Matematické inženýrství
Studijní program
Elektrotechnika a informatika
Instituce přidělující hodnost
katedra matematiky


Práva
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
Zobrazit celý záznam
Abstrakt
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.
 
URI
http://hdl.handle.net/10467/76067
Zobrazit/otevřít
Kolekce