Lawvere理论的概念
范畴论
2011-04-14 v2
摘要
范畴泛代数既可以使用Lawvere理论（单类有限积理论）发展，也可以使用单子发展，并且Lawvere理论的范畴等价于Set上的有限单子范畴。我们展示了这种等价性以及泛代数的基本结果如何以三种方式推广：将Set替换为另一个范畴，在丰富范畴环境中工作，以及使用除有限积以外的另一类极限。一个重要的特例涉及使用sifted-余极限保持单子而非滤过余极限保持单子。
引用
@article{arxiv.0810.2578,
title = {Notions of Lawvere theory},
author = {Stephen Lack and Jiri Rosicky},
journal= {arXiv preprint arXiv:0810.2578},
year = {2011}
}
备注
27 pages. v2 minor changes, final version, to appear in Applied Categorical Structures