21 citations · 44 across the 19 of their papers we have counts for
4 papers · 1 filter
Generalized Plonka Sums and Products
Marek Zawadowski
We give an abstract categorical treatment of Plonka sums and products using lax and oplax morphisms of monads. Plonka sums were originally defined as operations on algebras of regu…
Monads of regular theories
Stanisław Szawiel, Marek Zawadowski
We characterize the category of monads on and the category of Lawvere theories that are equivalent to the category of regular equational theories.
Theories of analytic monads
Stanisław Szawiel, Marek Zawadowski
We characterize the equational theories and Lawvere theories that correspond to the categories of analytic and polynomial monads on Set, and hence also the categories of the symmet…
Rigidity is undecidable
Mikołaj Bojanczyk, Stanisław Szawiel, Marek Zawadowski
We show that the problem `whether a finite set of regular-linear axioms defines a rigid theory' is undecidable.