Sylabus
http://logika.ff.cuni.cz/teaching/univalg.html
Anotace
Metody universální algebry umožňjí řešit některé problémy logiky velmi elegantně: například algebraická sémantika logiky se stává studiem příšlusné variety universálních algeber.
Universální algebru lze studovat obecně metodami teorie kategorií. V přednášce se seznámíme se základními kategoriálními pojmy užitečnými pro universální algebru: adjunkcí, monádou a jejími algebrami. Budou probrány důležité věty kategoriální universální algebry: Beckova veta, a Lackův výsledek o monadicitě finitárních monád.
Jako bezprostřední aplikace přednesené teorie uvedeme odvození dualit Stoneova typu a rovnicové popisy variet algeber.