Preorders, residuation and closure spaces
category of isotone functions between preordered sets
category of residuated functions between complete lattices
scientific article; zbMATH DE number 626321