3-计算胚范畴不是笛卡尔闭的
范畴论
2008-06-17 v2
摘要
我们利用 Eckmann-Hilton 论证证明了 3-计算胚范畴不是笛卡尔闭的。作为推论，我们得到所有计算胚的范畴以及 n>2 时的 n-计算胚范畴均不构成局部笛卡尔闭范畴，因此也不是初等拓扑斯。
引用
@article{arxiv.0710.5202,
title = {The category of 3-computads is not cartesian closed},
author = {Mihaly Makkai and Marek Zawadowski},
journal= {arXiv preprint arXiv:0710.5202},
year = {2008}
}
备注
6 pages; more detailed explanations