Jirí Rosický

Suggest Changes
Learn More
Categorical universal algebra can be developed either using Lawvere theories (single-sorted finite product theories) or using monads, and the category of Lawvere theories is equivalent to the(More)
We investigate pure monomorphisms and pure epimorphisms in varieties of universal algebras with applications to equationally compact (= pure injective) algebras, pure projective algebras and perfect(More)