From objects to diagrams for ranges of functors - Gillibert Pierre; Wehrung Friedrich (Berlin Springer-Verlag, 2011)
Keywords: Algebraic logic; Boolean algebra; Congruence lattices; Functor theory; Lattice theory; Partially ordered sets