The Maximality of Cartesian Categories
Category Theory
2007-05-23 v1 Logic
Abstract
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.
Cite
@article{arxiv.math/9911059,
title = {The Maximality of Cartesian Categories},
author = {Kosta Dosen and Zoran Petric},
journal= {arXiv preprint arXiv:math/9911059},
year = {2007}
}
Comments
8 pages