Elements of a theory of algebraic theories
Elements of a theory of algebraic theories
复制标题
代数理论的要素
DOI：
10.1016/j.tcs.2014.03.005
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
M. Hyland
中科院分区：
文献类型：
--
作者：
M. Hyland
Kleisli双范畴是一个自然的环境，在这个环境中，代数论的各种概念所涉及的组合学可以以统一的方式处理。该设置允许清楚地说明这些概念之间的比较。以代数理论、对称算符和非对称算符为例。
Kleisli bicategories are a natural environment in which the combinatorics involved in various notions of algebraic theory can be handled in a uniform way. The setting allows a clear account of comparisons between such notions. Algebraic theories, symmetric operads and nonsymmetric operads are treated as examples.