A categorical equivalence for bounded distributive quasi lattices satisfying: x ∨ 0 = 0 ⇒ x = 0