New posts in Universal Algebra

In what sense are operads "better" than PROPs?

Heyting algebras originating from directed graphs

Representation theorem for modular lattices?

Primitive recursive arithmetic via universal algebra

Axiomatizing orientation in the complex plane

Complete Boolean algebra not isomorphic to a $\sigma$-algebra

Do all subtraction-free identities tropicalize?

Why are ring actions much harder to find than group actions?

Formally undecidable problems on finitely presented quandles

Jonsson Boolean algebras?