The Funayama envelope as the T_D-hull of a frame

2025/01/24 by Bezhanishvili, Guram, Raviprakash, Ranjitha, Suarez, Anna Laura +1 · 2 citations
#Analysis of PDEs (math.AP) #Category Theory (math.CT) #FOS: Mathematics

paper · doi:10.48550/arxiv.2501.14162

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 T_D-hull. Our results have some spatial ramifications, including a generalization of the T_D-duality of Banaschewski and Pultr.

Cited by

• McKinsey-Tarski algebras and Raney extensions
• Local compactness does not always imply spatiality

Related

• McKinsey-Tarski algebras and Raney extensions
• A correspondence between proximity homomorphisms and certain frame maps via a comonad
• MV-frames
• Some Contributions on P_F-frames
• Weaving K-frames in Hilbert C*-modules