Interpolation property for bicartesian closed categories
From MaRDI portal
Combinatory logic and lambda calculus (03B40) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Intuitionistic mathematics (03F55) Categorical logic, topoi (03G30) Foundations, relations to logic and deductive systems (18A15) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)
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
- 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
- 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?)
- On an interpretation of second order quantification in first order intuitionistic propositional logic
- Two-dimensional monad theory
Cited in
(4)
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)
