McKinsey-Tarski algebras and raney extensions

Loading...
Thumbnail Image

Date

Journal Title

Journal ISSN

Volume Title

Publisher

Springer Science and Business Media B.V.

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 T0-hull of a Raney extension generalizes that of the TD-hull of a frame.

Description

Citation

Bezhanishvili, G., Raviprakash, R., Suarez, A.L. and Walters-Wayland, J., 2026. McKinsey-Tarski Algebras and Raney Extensions: G. Bezhanishvili et al. Applied Categorical Structures, 34(2), p.14.