Lattices of homomorphisms

Abstract

AbstractGiven a variety K of lattice-ordered algebras, A ∈ K is catalytic if for all B ∈ K, K(A, B) is a lattice for the pointwise order. The catalytic objects are determined for various varieties of distributive-lattice-ordered algebras. The characterisations obtained do not show an overall unity and exhibit diverse behaviour. Duality is employed extensively. Its usefulness in this context depends on the existence of an order-isomorphism between K(A, B) and the corresponding dual horn-set. Criteria for the existence of such an order-isomorphism are investigated for dualities of the Davey-Werner type. The relationship between catalytic objects and colattices is also discussed.