论文标题
作为双功能器的操作
Operads as double functors
论文作者
论文摘要
它显示了双重类别如何为彩色作业提供直接的抽象方法；也就是说，从（Pb C）^op（C中的双类回调正方形的相反）与CAT（函数的双类和分配器）中的pbod farge^op相反，可以看作是通用的作战，当C = set_f时产生的标准效果。在这种情况下，考虑了广义的对称单类别类别，特别是由带有总和或产品的索引类别产生的类别。
It is shown how double categories provide a direct abstract approach to coloured operads; namely, product-preserving normal lax functors from (Pb C)^op (the opposite of the double category of pullback squares in C) to Cat (the double category of functors and profunctors) can be seen as generalized operads, the standard ones arising when C = Set_f. In this context, generalized symmetric monoidal categories are considered, in particular those arising from indexed categories with sums or products.
