Bicartesian Coherence Revisited

MaRDI QIDQ3070758zbMATH OpenFDO

Authors Kosta Došen, Zoran Petrić

Publication date 26 January 2011

Full work available at URL https://arxiv.org/abs/0711.4961

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Categorical logic, topoi (03G30) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Foundations, relations to logic and deductive systems (18A15) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30)

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.

Cited in

(2)

• Symmetric bimonoidal intermuting categories and \(\omega\times\omega\) reduced bar constructions
• On the Word Problem for ${\it \Sigma\Pi}$ -Categories, and the Properties of Two-Way Communication

This page was built for publication: Bicartesian Coherence Revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3070758)