Interpolation property for bicartesian closed categories
type: Item
instance of: scholarly article
title: Interpolation property for bicartesian closed categories
zbMATH Open document ID: 0807.03037
DOI: 10.1007/BF01270628
author: Djordje Čubrić
published in: Archive for Mathematical Logic
publication date: 1994-11-06T00:00:00Z
Mathematics Subject Classification ID: 03F07
Mathematics Subject Classification ID: 18D15
Mathematics Subject Classification ID: 03F05
Mathematics Subject Classification ID: 03F55
Mathematics Subject Classification ID: 18A15
Mathematics Subject Classification ID: 03B40
Mathematics Subject Classification ID: 03G30
zbMATH DE Number: 682653
zbMATH Keywords: intuitionistic propositional logic
zbMATH Keywords: interpolation property
zbMATH Keywords: pushouts
zbMATH Keywords: bicartesian closed categories
MaRDI profile type: Publication
cites work: Two-dimensional monad theory
cites work: Q3727946
cites work: Q4175531
cites work: Q3978985
cites work: Amalgamation and interpolation in the category of Heyting algebras
cites work: An application of open maps to categorical logic
cites work: Applications of Sup-Lattice Enriched Category Theory to Sheaf Theory
cites work: On an interpretation of second order quantification in first order intuitionistic propositional logic
cites work: Q5559220
Recommended article: Interpolation categories for homology theories
Recommended article: Q5311991
Recommended article: The categorical equivalence between domains and interpolative generalized closure spaces
Recommended article: ON SOME CLASS OF INTERPOLATION FUNCTORS
Recommended article: Q4990312
Recommended article: Interpolation and compactness in categories of pre-institutions
Recommended article: Compact closed bicategories
Recommended article: Coherence for closed categories with biproducts
Recommended article: Interpolation functors and duality
Recommended article: Interpolations of monoidal categories and algebraic structures by invariant theory
description: scientific article; zbMATH DE number 682653