The Funayama envelope as the $T_D$-hull of a frame
Category Theory
2025-01-27 v1 Analysis of PDEs
Abstract
We introduce proximity morphisms between MT-algebras and show that the resulting category is equivalent to the category of frames. This is done by utilizing the Funayama envelope of a frame, which is viewed as the -hull. Our results have some spatial ramifications, including a generalization of the -duality of Banaschewski and Pultr.
Cite
@article{arxiv.2501.14162,
title = {The Funayama envelope as the $T_D$-hull of a frame},
author = {Guram Bezhanishvili and Ranjitha Raviprakash and Anna Laura Suarez and Joanne Walters-Wayland},
journal= {arXiv preprint arXiv:2501.14162},
year = {2025}
}