New posts in Universal Algebra

A free algebra that is not generic

Why is it that the congruence relations usually correspond to some type of subobject?

Axiomatizability of equational theories with no less than n equations.

Models of a certain (weird) equational theory

Does this "reverse distributivity" ever occur: $a \circ (b\times c) = (a \times b) \circ (a \times c)$?

Expressing associativity with only two variables

When is a bijective homomorphism an isomorphism?

Troubles by understanding arity of terms in A Course in Universal Algebra.

Can the empty set serve as universe of a semigroup (i.e. set equipped with associative binary operation)?

Is a poset an algebra?