27 May
2003
27 May
'03
8:52 a.m.
Dear All, I have a problem which I had thought very specialised, but actually can be stated very generally: - I have a category C with finite limits, and so I also have a category DLat(C) of distributive lattices which, lets say, has coequalizers. If free distibrutive lattices can be constructed (i.e. if there exists F:C->DLat(C) left adjoint to the forgetful functor) then do free semilattices exist? Thanks, Christopher Townsend (OU)