Syntactic characterizations of closure under pullbacks and of locally polypresentable categories

DOI10.1016/S0168-0072(96)00044-9zbMath0870.18002MaRDI QIDQ676312

Michel Hebert

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

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

Related Items (4)

Accessible categories with a class of limits ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Universal abstract elementary classes and locally multipresentable categories

Cites Work

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

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