A correspondence between proximity homomorphisms and certain frame maps via a comonad
scientific article; zbMATH DE number 7975514
scientific article