Abstrakt
Complete distributive lattices with complete lattice homomorphisms constitute a universal category. With half-complete homomorphisms it suffices to have one constant, to obtain universality (while without any completeness condition, two are necessary).