关于伪幺半群与伪分配律的形式理论
范畴论
2021-01-21 v3
摘要
我们为伪幺半群的形式理论做出了贡献，即伪幺半群版本的幺半群形式理论。特别地，我们通过证明对于每个Gray范畴K，存在一个由K中的伪幺半群、伪幺半群态射、伪幺半群变换和伪幺半群修改构成的Gray范畴Psm(K)，解决了Steve Lack提出的一个问题。然后，我们建立了Psm(K)与Marmolejo引入的伪幺半群Gray范畴之间的三等价关系。最后，将这些结果应用于给出伪分配律相干条件的清晰说明。41页。欢迎评论。
引用
@article{arxiv.0907.1359,
title = {On the formal theory of pseudomonads and pseudodistributive laws},
author = {Nicola Gambino and Gabriele Lobbia},
journal= {arXiv preprint arXiv:0907.1359},
year = {2021}
}
备注
41 pages. Comments welcome