有限 Monad 与 Lawvere 理论对应关系的富化视角
范畴论
2023-06-22 v3
摘要
我们对 Nishizawa--Power 首次建立的、在任意局部有限可表示基上的有限 monad 与 Lawvere 理论之间的对应关系给出了新的阐述。我们的阐述用富化范畴理论解释了这一对应关系：从有限 monad 到相应 Lawvere 理论的过渡被展现为富化范畴在一类绝对余极限下自由完备化的实例。这扩展了第一作者的工作，他曾在集合范畴上的有限 monad 与 Lawvere 理论这一特殊情形下确立了该结果；该推广的一个新颖之处在于使用了在双范畴（而非幺半范畴）上的富化，从而能够同时捕获所有局部有限可表示基上的 monad--理论对应关系。
引用
@article{arxiv.1707.08694,
title = {An enriched view on the extended finitary monad--Lawvere theory correspondence},
author = {Richard Garner and John Power},
journal= {arXiv preprint arXiv:1707.08694},
year = {2023}
}
备注
24 pages