Bicartesian Coherence Revisited
Category Theory
2008-12-08 v3 Logic
Abstract
A 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.
Cite
@article{arxiv.0711.4961,
title = {Bicartesian Coherence Revisited},
author = {K. Dosen and Z. Petric},
journal= {arXiv preprint arXiv:0711.4961},
year = {2008}
}
Comments
33 pages