New posts in universal-algebra

Are there nontrivial equations for hyperoperations above exponentiation?

Preserving structures

Why do free monoids have a "trivial" automorphism group and free groups don't?

Can we axiomatize a field starting with the binary operations and only “equational” axioms?

Embeddings $A → B → A$, but $A \not\cong B$?

Free idempotent semigroup with 3 generators

Symmetry groups corresponding to terms in an algebra

$x^n = x$ implies commutativity, a universal algebraic proof?

Difference between abstract algebra and universal algebra

A conjecture in equational logic

Are isomorphic structures really indistinguishable?

What nice properties does exponentiation have?

Is there a concept of a "free Hilbert space on a set"?

How to prove that there is no 5-ary operation in a clone satisfying certain conditions

A structural proof that $ax=xa$ forms a monoid

Expressing associativity with only two variables

How to show that an algebra is contained in a clone

Why are particular combinations of algebraic properties "richer" than others?

Category Theory vs. Universal Algebra - Any References?

Different ways of constructing the free group over a set.