范畴的范畴
范畴论
2007-09-07 v1 一般拓扑
摘要
在一个任意有限完备且带有分解系统的范畴中，发展了一定数量的范畴论，该分解系统扮演了 Cat 上全面分解系统的角色。那些与终性（特别是终对象）、离散性、分支、代表性、余极限与泛箭头相关的概念，似乎最适合在这种非常一般的设定下表达。此外，在这个层面上，我们实际上不仅在进行 (E,M)-范畴论，而且在某种意义上也在进行 (E,M)-拓扑。还考虑了关于幂对象、对偶性、指数与箭头对象的其他公理。
引用
@article{arxiv.0709.0837,
title = {Categories of categories},
author = {Claudio Pisani},
journal= {arXiv preprint arXiv:0709.0837},
year = {2007}
}
评论
29 pages