A Sareeto, J Koppitz - arXiv preprint arXiv:2310.15809, 2023 - arxiv.org
A fully invarient congruence relations on the free algebra on a given type induces a variety
of the given type. In contrast, a congruence relation of the free algebra provides algebra of …