Homomorphisms of complete distributive lattices
Aleš Pultr, Jiří Sichler, Věra Trnková · Quaestiones Mathematicae · 2000
The category of all complete distributive lattices and their complete homomorphisms is universal, and this is also true for the category of all complete distributive lattices whose morphisms preserve complete joins, finite meets and an additional nullary operation. A survey of analogous results on algebraic universality of categories based on finitary distributive (0,1)-lattices is included to motivate further questions about categories based on complete distributive lattices.