Syntactic characterizations of closure under pullbacks and of locally polypresentable categories

DOI10.1016/S0168-0072(96)00044-9zbMATH Open0870.18002MaRDI QIDQ676312FDOQ676312

Authors: Michel Hébert 

Publication date: 17 September 1997

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

Recommendations

• Syntactic characterization of closure under connected limits
• Polynomials in categories with pullbacks
• scientific article; zbMATH DE number 1264287
• Syntactic characterizations of various classes of locally presentable categories

zbMATH Keywords

accessibilitylocally presentable categoryflat functorcategory of modelscategory of structuresconnected limitsinvariance under limitspolypresentationspullback theory

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Theories (e.g., algebraic theories), structure, and semantics (18C10) Abstract data types; algebraic specification (68Q65) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Interpolation, preservation, definability (03C40)

Cites Work

• Accessible Categories: The Foundations of Categorical Model Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Introduction to model theory and to the metamathematics of algebra
• Model theory.
• Preservation theorems for limits of structures and global sections of sheaves of structures
• Simply Connected Limits
• Some Results on Locally Finitely Presentable Categories
• Categories localement multipresentables
• The logic of structures
• Syntactic characterization of closure under connected limits
• Locally adjunctable functors
• Quasi-coproducts and accessible categories with wide pullbacks
• Title not available (Why is that?)
• Characterizations of Axiomatic Categories of Models Canonically Isomorphic to (Quasi-)Varieties
• Preservation and Interpolation Through Binary Relations Between Theories
• Title not available (Why is that?)
• Syntactic characterisations of amalgamation, convexity and related properties
• Core structures for theories
• Title not available (Why is that?)

Cited In (7)

• Universal abstract elementary classes and locally multipresentable categories
• Syntactic characterization of closure under connected limits
• ``Pathologies in two syntactic categories of partial maps
• Accessible categories with a class of limits
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Syntactic characterizations of closure under pullbacks and of locally polypresentable categories

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