Showing 2025Show all
3 papers · 1 filter
math.CT2025
McKinsey-Tarski algebras and Raney extensions
Guram Bezhanishvili, Ranjitha Raviprakash, Anna Laura Suarez +1
We introduce the notion of Raney morphism between MT-algebras and show that the resulting category is equivalent to the category of Raney extensions. This is done by generalizing t…
math.GN2025
Local compactness does not always imply spatiality
G. Bezhanishvili, S. D. Melzer, R. Raviprakash +1
It is a well-known result in pointfree topology that every locally compact frame is spatial. Whether this result extends to MT-algebras (McKinsey-Tarski algebras) was an open probl…
math.CT2025
The Funayama envelope as the -hull of a frame
Guram Bezhanishvili, Ranjitha Raviprakash, Anna Laura Suarez +1
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 o…