Bicartesian Coherence Revisited
From MaRDI portal
Publication:3070758
zbMath1351.18001arXiv0711.4961MaRDI QIDQ3070758
Publication date: 26 January 2011
Full work available at URL: https://arxiv.org/abs/0711.4961
Categorical logic, topoi (03G30) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Subsystems of classical logic (including intuitionistic logic) (03B20) Research exposition (monographs, survey articles) pertaining to category theory (18-02) Foundations, relations to logic and deductive systems (18A15)
Related Items
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
