Bicartesian Coherence Revisited

Simple item page
dc.creatorDosen, K.
dc.creatorPetric, Z.
dc.date2007-11-30
dc.date2008-12-08
dc.date.accessioned2026-07-07T12:09:37Z
dc.date.available2026-07-07T12:09:37Z
dc.descriptionA survey is given of results about coherence for categories with finite products and coproducts. For these results, which were published previously by the authors in several places, some formulations and proofs are here corrected, and matters are updated. The categories investigated in this paper formalize equality of proofs in classical and intuitionistic conjunctive-disjunctive logic without distribution of conjunction over disjunction.
dc.description33 pages
dc.identifierhttps://arxiv.org/abs/0711.4961
dc.identifierhttp://arxiv.org/abs/0711.4961
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/209684
dc.subjectCategory Theory
dc.subjectLogic
dc.subject18A30; 18A15; 03G30; 03G10; 03F05; 03F07; 03B20
dc.titleBicartesian Coherence Revisited
dc.typetext

Files

Collections

arXiv