关于伪单胞菌和伪分配律的形式理论
On the formal theory of pseudomonads and pseudodistributive laws
摘要：
我们有助于pseudomonads的形式理论，即模拟pseudomonads的形式理论的单子。特别地，我们解决了Steve Lack提出的一个问题，证明了对于每个Gray-范畴K，存在一个Gray-范畴Psm（K），它由K中的伪单胞体、伪单胞体态射、伪单胞体变换和伪单胞体修改组成。然后，我们建立了Psm（K）和由Marmolejo引入的伪单胞菌的灰色范畴之间的三等价。最后，应用这些结果给出了伪分配律的相干条件。41页欢迎评论。
英文摘要：
We contribute to the formal theory of pseudomonads, i.e. the analogue for pseudomonads of the formal theory of monads. In particular, we solve a problem posed by Steve Lack by proving that, for every Gray-category K, there is a Gray-category Psm(K) of pseudomonads, pseudomonad morphisms, pseudomonad transformations and pseudomonad modifications in K. We then establish a triequivalence between Psm(K) and the Gray-category of pseudomonads introduced by Marmolejo. Finally, these results are applied to give a clear account of the coherence conditions for pseudodistributive laws. 41 pages. Comments welcome.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
