解析单子理论
范畴论
2019-02-20 v2
摘要
我们刻画了对应于 Set 上解析单子与多项式单子范畴的等式理论与 Lawvere 理论，从而也刻画了 Set 中对称算子与刚性算子的范畴。我们证明解析单子范畴等价于正则线性理论范畴。多项式单子范畴等价于刚性理论范畴，即满足额外全局条件的正则线性理论。这解决了 A. Carboni 和 P. T. Johnstone 提出的一个问题。这些单子对应的 Lawvere 理论是通过某些分解系来识别的。
引用
@article{arxiv.1204.2703,
title = {Theories of analytic monads},
author = {Stanisław Szawiel and Marek Zawadowski},
journal= {arXiv preprint arXiv:1204.2703},
year = {2019}
}
备注
29 pages. v2: minor corrections