Dominions and zigzags for partially ordered monoids
An analogue of Isbells zigzag theorem for partially ordered monoids, briefly pomonoids, will be discussed. Our proof essentially consists of reducing the ordered case to the unordered one discussed in previous talk by means of certain intermediate results. In order to arrive at the main theorem, the proof of a crucial lemma will be postponed till next seminar.