效应代数是 Kalmbach 单子的 Eilenberg-Moore 范畴
环与代数
2016-12-30 v2
摘要
Kalmbach 单子是由有界偏序集与正交模偏序集之间的自由 - 遗忘伴随所导出的单子。我们证明了效应代数范畴同构于 Kalmbach 单子的 Eilenberg-Moore 范畴。
引用
@article{arxiv.1404.6263,
title = {Effect algebras are the Eilenberg-Moore category for the Kalmbach monad},
author = {Gejza Jenča},
journal= {arXiv preprint arXiv:1404.6263},
year = {2016}
}