Principal congruences on distributive double p-algebras

We use Priestley's duality to characterize, via their dual space, the distributive double p-algebras on which all congruences are principal.

Distributive Ockham algebras: free algebras and injectivity

This paper centres around the variety 0 of distributive Ockham algebras, and those subvarieties of 0 which are generated by a single finite subdirectly irreducible algebra A. We use H.A. Priestley's duality for bounded distributive lattices throughout. First, intrinsic descriptions of the duals of certain finite subdirectly irreducibles are given; these are later used to determine projectives in the dual categories. Next, left adjoints to the forgetful functors from 0 and Var(A) into bounded distributive lattices are obtained, thereby allowing us to describe all free algebras and coproducts of arbitrary algebras. Finally, by applying the duality, we characterize injectivity in Var(A) for each finite subdirectly irreducible algebra A.