3-计算范畴不是笛卡尔闭范畴的直接证明
范畴论
2012-12-13 v2
摘要
我们通过反例证明了 3-计算范畴 (category of 3-computads) 不是笛卡尔闭的，这一结果最初由 Makkai 和 Zawadowski 证明。我们给出了一个 3-计算范畴 B，并通过给出一个不被其保持的余等化子 (coequaliser)，证明了函子 _ x B 没有右伴随。
引用
@article{arxiv.1209.0414,
title = {A direct proof that the category of 3-computads is not cartesian closed},
author = {Eugenia Cheng},
journal= {arXiv preprint arXiv:1209.0414},
year = {2012}
}
备注
8 pages (corrected typo in bibliography)