sentences:  , if the
  composite partial bijection formula_181 if nonempty is a coset bijection from a formula_171 -coset of formula_165 to an formula_165-coset
  of formula_171 .That is formula_186.All distributive skew lattices are categorical.