伪分配律的呈现形式
Presentations of pseudodistributive laws
AI总结：
本文研究伪分配律的多种等价呈现形式，在伪单子无迭代呈现下推导出十边形、伪代数、无迭代与扭曲四种形式，并证明五个融贯公理足以刻画通常的幺半定义。
摘要：
通过考虑所涉及的伪单子以无迭代形式呈现的情形，我们推导出伪分配律的若干种替代呈现形式，包括“十边形”形式、伪代数形式、无迭代形式和扭曲形式。作为应用，我们证明在伪分配律通常的幺半定义中，五个融贯公理即已足够。
英文摘要：
By considering the situation in which the involved pseudomonads are presented in no-iteration form, we deduce a number of alternative presentations of pseudodistributive laws including a 'decagon' form, a pseudoalgebra form, a no-iteration form, and a warping form. As an application, we show that five coherence axioms suffice in the usual monoidal definition of a pseudodistributive law.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
