函子式单子正交格与局部有限 $\sigma$-自由多元正交格
逻辑
2025-06-11 v1
摘要
在本文中，我们证明每个单子正交格都同构于一个函子式单子正交格，从而解决了 Harding 最近提出的一个问题。随后，我们研究了多元正交格的某些无替换归约，我们将其称为局部有限 -自由多元正交格，并给出了类似的函子式表示结果。
引用
@article{arxiv.2506.08271,
title = {Functional monadic ortholattices and locally finite $\sigma$-free polyadic ortholattices},
author = {Chun-Yu Lin and Joseph McDonald},
journal= {arXiv preprint arXiv:2506.08271},
year = {2025}
}