Interpolation property for bicartesian closed categories
From MaRDI portal
Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40) Structure of proofs (03F07) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Intuitionistic mathematics (03F55) Foundations, relations to logic and deductive systems (18A15)
Recommendations
- Interpolation categories for homology theories
- scientific article; zbMATH DE number 2200187
- The categorical equivalence between domains and interpolative generalized closure spaces
- On some class of interpolation functors
- scientific article; zbMATH DE number 7352262
- Interpolation and compactness in categories of pre-institutions
- Compact closed bicategories
- Coherence for closed categories with biproducts
- Interpolation functors and duality
- Interpolations of monoidal categories and algebraic structures by invariant theory
Cites work
- scientific article; zbMATH DE number 3959364 (Why is no real title available?)
- scientific article; zbMATH DE number 19498 (Why is no real title available?)
- scientific article; zbMATH DE number 3609636 (Why is no real title available?)
- scientific article; zbMATH DE number 3275554 (Why is no real title available?)
- Amalgamation and interpolation in the category of Heyting algebras
- An application of open maps to categorical logic
- Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory
- On an interpretation of second order quantification in first order intuitionistic propositional logic
- Two-dimensional monad theory
Cited in
(3)
This page was built for publication: Interpolation property for bicartesian closed categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1337501)
