Garcia, O. & Nelson, E. (1985),
'On the nonexistence of free complete distributive lattices', Order
1
(4)
, 399--403
.
[BibTeX]
[Endnote]
We prove that there is no free object over a countable set in the category of complete distributive lattices with homomorphisms preserving binary meets and arbitrary joins.