Generalized sketches as a framework for completeness theorems. I-III

DOI10.1016/S0022-4049(96)00007-2zbMath0871.03045MaRDI QIDQ674480

Michael Makkai

Publication date: 24 April 1997

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

category of sketchesmodels of sketchessketch-semanticssyntactic calculus

Mathematics Subject Classification ID

Model theory (03C99) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10) Proof theory and constructive mathematics (03F99)

Related Items (13)

Avoiding the axiom of choice in general category theory ⋮ Accessible aspects of 2-category theory ⋮ A formal approach to the specification and transformation of constraints in MDE ⋮ Proving semantical equivalence of data specifications ⋮ Database queries and constraints via lifting problems ⋮ Diagrammatic logic applied to a parameterisation process ⋮ An algebraic semantics for MOF ⋮ A formalisation of the copy-modify-merge approach to version control in MDE ⋮ Sheafifiable homotopy model categories. II ⋮ Triangular Logic of Partial Toposes ⋮ A Diagrammatic Logic for Object-Oriented Visual Modeling ⋮ Fibred amalgamation, descent data, and Van Kampen squares in topoi ⋮ Adjoint functor theorems for homotopically enriched categories

Cites Work

• A generalization of the concept of sketch
• Representation of categories
• An algebraic approach to non-classical logics
• Completeness results for intuitionistic and modal logic in a categorical setting
• Embedding of a free cartesian-closed category into the category of sets
• Avoiding the axiom of choice in general category theory
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• A completeness theorem in modal logic
• Accessible Categories: The Foundations of Categorical Model Theory
• Lambek's categorical proof theory and Läuchli's abstract realizability
• Logic with the quantifier “there exist uncountably many”
• INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Generalized sketches as a framework for completeness theorems. I-III