Some Results on Locally Finitely Presentable Categories

DOI10.2307/2000508zbMath0615.18002MaRDI QIDQ4723928

Michael Makkai, Andrew M. Pitts

Publication date: 1987

Full work available at URL: https://doi.org/10.2307/2000508

zbMATH Keywords

structure; locally finitely presentable categories; global sections of sheaf; small categories with finite limits

Mathematics Subject Classification ID

03G30: Categorical logic, topoi

18B99: Special categories

18C10: Theories (e.g., algebraic theories), structure, and semantics

18A35: Categories admitting limits (complete categories), functors preserving limits, completions

Related Items

On the fullness of certain functors, Syntactic characterizations of closure under pullbacks and of locally polypresentable categories, A theorem on Barr-exact categories, with an infinitary generalization, Elementary categories, Algebraic theories of quasivarieties, Descent and duality, A simple characterization of theories of varieties, Amalgamation in the semantics of CASL, The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus, Quasi-coproducts and accessible categories with wide pullbacks, Unnamed Item, Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• First order categorical logic. Model-theoretical methods in the theory of topoi and related categories
• Preservation theorems for limits of structures and global sections of sheaves of structures
• Model theory
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• 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
• Sheaves of structures and generalized ultraproducts
• Introduction to bicategories
• INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I