Bicartesian Coherence Revisited

Details Bicartesian Coherence Revisited Bicartesian Coherence Revisited

2007-11-30

arxiv.org/abs/0711.4961v3

Mathematics

Category Theory

33 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Bicartesian Coherence Revisited does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Bicartesian Coherence Revisited, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Bicartesian Coherence Revisited will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-702981