Bicartesian Coherence Revisited
نویسنده
چکیده
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. Mathematics Subject Classification (2000): 18A30, 18A15, 03G30, 03G10, 03F05, 03F07, 03B20
منابع مشابه
ar X iv : 0 71 1 . 49 61 v 1 [ m at h . C T ] 3 0 N ov 2 00 7 Bicartesian Coherence Revisited
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 ...
متن کاملar X iv : 0 71 1 . 49 61 v 2 [ m at h . C T ] 1 D ec 2 00 7 Bicartesian Coherence Revisited
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 ...
متن کاملBicartesian Coherence Bicartesian Coherence
Coherence is demonstrated for categories with binary products and sums, but without the terminal and the initial object, and without distribution. This result is obtained with the help of proof-theoretic normalizing techniques. When the terminal object is present, coherence may still be proved if of binary sums we keep just their bifunctorial properties. It is found that with the simplest under...
متن کاملBicartesian Coherence Bicartesian Coherence
Coherence is demonstrated for categories with binary products and sums, but without the terminal and the initial object, and without distribution. This result is obtained with the help of proof-theoretic normalizing techniques. When the terminal object is present, coherence may still be proved if of binary sums we keep just their bifunctorial properties. It is found that with the simplest under...
متن کاملBicartesian Coherence
Coherence is demonstrated for categories with binary products and sums, but without the terminal and the initial object, and without distribution. This coherence amounts to the existence of a faithful functor from a free category with binary products and sums to the category of relations on finite ordinals. This result is obtained with the help of proof-theoretic normalizing techniques. When th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008