McKinsey-Tarski 代数与 Raney 扩张
范畴论
2026-04-07 v2
摘要
我们引入了 MT 代数之间 Raney 态射的概念，并证明了所得范畴等价于 Raney 扩张范畴。这是通过推广 Frame 的 Funayama 包络的构造来实现的。由此得到的 Raney 扩张的 包概念推广了 Frame 的 包概念。
引用
@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}
}