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

DOI10.1016/S0022-4049(96)00007-2zbMATH Open0871.03045MaRDI QIDQ674480FDOQ674480

Authors: Michael Makkai 

Publication date: 24 April 1997

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

Recommendations

• scientific article; zbMATH DE number 1231576
• On the Limitations of Sketches
• Sketches
• scientific article; zbMATH DE number 3955174
• Finite models of sketches

zbMATH Keywords

category of sketchesmodels of sketchessketch-semanticssyntactic calculus

Mathematics Subject Classification ID

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

Cites Work

• 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
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• A completeness theorem in modal logic
• Title not available (Why is that?)
• Accessible Categories: The Foundations of Categorical Model Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• An algebraic approach to non-classical logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Avoiding the axiom of choice in general category theory
• Title not available (Why is that?)
• Completeness results for intuitionistic and modal logic in a categorical setting
• Representation of categories
• INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I
• Title not available (Why is that?)
• Embedding of a free cartesian-closed category into the category of sets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Lambek's categorical proof theory and Läuchli's abstract realizability
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Logic with the quantifier “there exist uncountably many”
• A generalization of the concept of sketch

Cited In (21)

• Composing Cagean silence
• Title not available (Why is that?)
• On stability of exactness properties under the pro-completion
• Accessible aspects of 2-category theory
• Triangular Logic of Partial Toposes
• Sketches and computation – I: basic definitions and static evaluation
• An algebraic semantics for MOF
• Title not available (Why is that?)
• Fibred amalgamation, descent data, and Van Kampen squares in topoi
• A reasoning system for satisfiability of diagrammatic specifications
• Adjoint functor theorems for homotopically enriched categories
• A formal approach to the specification and transformation of constraints in MDE
• A formalisation of the copy-modify-merge approach to version control in MDE
• Database queries and constraints via lifting problems
• Diagrammatic logic applied to a parameterisation process
• Avoiding the axiom of choice in general category theory
• Sheafifiable homotopy model categories. II
• Title not available (Why is that?)
• Title not available (Why is that?)
• A diagrammatic logic for object-oriented visual modeling
• Proving semantical equivalence of data specifications

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q674480)