Bicategories, Biequivalence, and Bi-Interpretability
From MaRDI portal
Publication:6354735
Logic in the philosophy of science (03A10) Subsystems of classical logic (including intuitionistic logic) (03B20) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Categorical semantics of formal languages (18C50) Regular categories, Barr-exact categories (18E08) 2-categories, bicategories, double categories (18N10)
Abstract: We make explicit the correspondence between syntax and syntactic categories for coherent first-order logic, providing a categorical characterization of bi-interpretability. This is done by creating a biequivalence between a bicategory of coherent theories and the (strict) bicategory of coherent categories. While the biequivalence concerns the stronger equality-preserving bi-interpretability, we use it to obtain a necessary and sufficient condition for two theories to be bi-interpretable in general, by relating the exact completions of their syntactic categories. These results extend analogously to familiar fragments of first-order logic, thereby clarifying the long-intuited relation between logical syntax and syntactic categories.
This page was built for publication: Bicategories, Biequivalence, and Bi-Interpretability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6354735)
