编写PROP

斯蒂芬·莱克

PROP是由对称单体范畴。我们描述了一个概念分配的法律对于PROP，基于Beck的单体分配定律。A类PROP之间的分配律允许它们被组合，并且复合PROP的代数由一个带有每个原始PROP的代数结构，受由分配律编码的相容条件。安例如，双代数的PROP，它是用于余代数和代数的PROP。

关键词：对称单体范畴，PROP，monad，分配律，代数，双代数

2000 MSC:18D10、18C10、18D35

范畴理论与应用， 2004年第13卷，第9号，第147-163页。

TAC主页