Showing 2025 · math.CTShow all
2 papers · 2 filters
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.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…