Some Results on Locally Finitely Presentable Categories
DOI10.2307/2000508zbMATH Open0615.18002OpenAlexW4256129919MaRDI QIDQ4723928FDOQ4723928
Authors: Michael Makkai, Andrew M. Pitts 
Publication date: 1987
Full work available at URL: https://doi.org/10.2307/2000508
Recommendations
- Locally finitely presented categories and functor rings
- Localizations of locally presentable categories and exact topologies
- On an essentially algebraic theory for locally presentable categories
- scientific article; zbMATH DE number 2114693
- Locally finitely presented categories of sheaves
- Localisations of locally presentable categories. II
- scientific article; zbMATH DE number 1080908
- Algebraic lattices and locally finitely presentable categories
- scientific article; zbMATH DE number 1560489
- Unexpected properties of locally presentable categories
structurelocally finitely presentable categoriesglobal sections of sheafsmall categories with finite limits
Categorical logic, topoi (03G30) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Special categories (18B99) Theories (e.g., algebraic theories), structure, and semantics (18C10)
Cites Work
- 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
- Model theory
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Introduction to bicategories
- 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
- Title not available (Why is that?)
- Sheaves of structures and generalized ultraproducts
- INJECTIVITY IN CATEGORIES TO REPRESENT ALL FIRST ORDER FORMULAS, I
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (29)
- Localizations of locally presentable categories and exact topologies
- Gabriel-Ulmer duality for topoi and its relation with site presentations
- Locally finitely presented categories of sheaves
- Descent and duality
- Title not available (Why is that?)
- More on orthogonality in locally presentable categories
- A theorem on Barr-exact categories, with an infinitary generalization
- Algebraic theories of quasivarieties
- Title not available (Why is that?)
- Localisation of locally presentable categories
- On the fullness of certain functors
- General facts on the Scott adjunction
- Quasi-coproducts and accessible categories with wide pullbacks
- Amalgamation in the semantics of CASL
- Title not available (Why is that?)
- Accessibility and presentability in 2-categories
- Title not available (Why is that?)
- More on injectivity in locally presentable categories
- On continuity of accessible functors
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus
- Classifying categories for partial equational logic
- Localisations of locally presentable categories. II
- On orthogonal subcategories of locally presentable categories
- On \(K_0\) of locally finite categories
- A simple characterization of theories of varieties
- Elementary categories
- Syntactic characterizations of closure under pullbacks and of locally polypresentable categories
- On regular monomorphisms in weakly locally presentable categories
- Enriched Locally Generated Categories
This page was built for publication: Some Results on Locally Finitely Presentable Categories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4723928)
