From partially ordered monoids to partially ordered groups via free nuclear preimages

Adam Přenosil

Two fundamental constructions operating on residuated lattices and partially ordered monoids (pomonoids) are so-called nuclear images and conuclear images. Nuclear images allow us…