TY - RPRT TI - A correspondence between proximity homomorphisms and certain frame maps via a comonad AU - Ando Razafindrakoto PY - 2024 UR - https://arxiv.org/abs/2407.11528 ID - 2407.11528 ER -