Distributive Ockham algebras: free algebras and injectivity

Publisher Website
Google Scholar
Abstract
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.

This publication has 2 references indexed in Scilit: