McKinsey-Tarski algebras and Raney extensions
Category Theory
2026-04-07 v2
Abstract
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 the construction of the Funayama envelope of a frame. The resulting notion of the -hull of a Raney extension generalizes that of the -hull of a frame.
Keywords
Cite
@article{arxiv.2509.01233,
title = {McKinsey-Tarski algebras and Raney extensions},
author = {Guram Bezhanishvili and Ranjitha Raviprakash and Anna Laura Suarez and Joanne Walters-Wayland},
journal= {arXiv preprint arXiv:2509.01233},
year = {2026}
}