Talk:Duality theory for distributive lattices