代数理论理论的要素
范畴论
2013-12-02 v1
摘要
Kleisli 双范畴是一个自然的环境，在其中可以统一地处理各种代数理论概念所涉及的组合学。该设定允许对此类概念之间的比较进行清晰的阐述。本文以代数理论、对称 operad 和非对称 operad 为例进行了处理。
引用
@article{arxiv.1311.7642,
title = {Elements of a theory of algebraic theories},
author = {Martin Hyland},
journal= {arXiv preprint arXiv:1311.7642},
year = {2013}
}
备注
26 pages submitted (I think) to Theoretical Computer Science but nothing heard for 9 months whence put up here