Syllabus
http://logika.ff.cuni.cz/teaching/univalg.html
Annotation
Methods of universal algebra have ellegant applications in logic: for example, algebraic semantics of a given logic is studied as a corresponding variety of algebras. Universal algebra can be studied using category theory.
In this course we introduce basic categorial concepts useful in studying universal algebra: adjunction, monad and its algebras. We cover important theorems of categorial universal algebra: Beck's theorem, Lack's result.
As an application we learn Stone type dualities and equational description of varieties.