Positive model theory of interpretations

2022/11/26 by Kristóf Kanalas, Kanalas, Kristóf
Mathematics · #Advanced Topology and Set Theory #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology

paper · pdf · doi:10.48550/arxiv.2211.14600

openalex publication_date 2022/11/26 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

We prove analogues of model theory results for C→ D coherent functors, including variants of the omitting types theorem and some results on ultraproduct constructions. We introduce a distributive lattice valued invariant of C→ Set coherent functors that vanishes precisely on positively closed models, then we study its functorial properties.

Related

• Positively closed Sh(B)-valued models
• Almost positively closed models
• Sh(B)-valued models of (κ,κ)-coherent categories
• Positive Definability Patterns
• A Natural Homomorphism between the Model Constructions of the Completeness and Compactness Theorems