Syntactic characterizations of closure under pullbacks and of locally polypresentable categories

DOI10.1016/S0168-0072(96)00044-9MaRDI QIDQ676312zbMATH OpenFDO

Authors Michel Hébert

Publication date 17 September 1997

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

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)

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

Cites work

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

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
• scientific article; zbMATH DE number 1264287 (Why is no real title available?)
• scientific article; zbMATH DE number 1264285 (Why is no real title available?)
• scientific article; zbMATH DE number 440122 (Why is no real title available?)

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)