Syntactic characterizations of closure under pullbacks and of locally polypresentable categories
DOI10.1016/S0168-0072(96)00044-9zbMath0870.18002MaRDI QIDQ676312
Publication date: 17 September 1997
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
accessibilitylocally presentable categoryflat functorcategory of modelscategory of structuresconnected limitsinvariance under limitspolypresentationspullback theory
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)
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
