Categories of partial algebras for critical points between varieties of algebras

Pierre Gillibert

A lifting of a semilattice S is an algebra A such that the semilattice of compact (=finitely generated) congruences of A is isomorphic to S. The aim of this work is to give a categ…