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.
Keywords: Topology, frame, interior algebra, proximity, T_D-separation
2020 MSC: 18F60; 18F70; 06D22; 06E25; 54E05; 54D10
Theory and Applications of Categories, Vol. 44, 2025, No. 33, pp 1106-1147.
Published 2025-10-20.
TAC Home