The Maximality of Cartesian Categories
范畴论
2007-05-23 v1 逻辑
摘要
It is proved that equalities between arrows assumed for cartesian categories are maximal in the sense that extending them with any new equality in the language of free cartesian categories collapses a cartesian category into a preorder. An analogous result holds for categories with binary products, which may lack a terminal object. The proof is based on a coherence result for cartesian categories, which is related to model-theoretical methods of normalization.
引用
@article{arxiv.math/9911059,
title = {The Maximality of Cartesian Categories},
author = {Kosta Dosen and Zoran Petric},
journal= {arXiv preprint arXiv:math/9911059},
year = {2007}
}
备注
8 pages