The Maximality of Cartesian Categories

Simple item page
dc.creatorDosen, Kosta
dc.creatorPetric, Zoran
dc.date1999-11-10
dc.date.accessioned2026-07-07T05:31:31Z
dc.date.available2026-07-07T05:31:31Z
dc.descriptionIt 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.
dc.description8 pages
dc.identifierhttps://arxiv.org/abs/math/9911059
dc.identifierhttp://arxiv.org/abs/math/9911059
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/79371
dc.subjectCategory Theory
dc.subjectLogic
dc.subject18A30 (Primary) 18A15; 03G30 (Secondary)
dc.titleThe Maximality of Cartesian Categories
dc.typetext

Files

Collections

arXiv