A simple characterization of theories of varieties
From MaRDI portal
Publication:1593791
DOI10.1006/jabr.2000.8447zbMath0989.18006MaRDI QIDQ1593791
Publication date: 22 July 2002
Published in: Journal of Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/jabr.2000.8447
quasivarieties; locally finitely presentable categories; categories of models; enough regular projectives; finitely cocomplete categories
18C10: Theories (e.g., algebraic theories), structure, and semantics
18A35: Categories admitting limits (complete categories), functors preserving limits, completions
18C35: Accessible and locally presentable categories
Related Items
A note on effectively projective objects, Syntactic characterizations of various classes of locally presentable categories, A classification of accessible categories
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Algebraic theories of quasivarieties
- The symmetric topos
- Lokal präsentierbare Kategorien. (Locally presentable categories)
- Some Results on Locally Finitely Presentable Categories
- Syntactic characterizations of various classes of locally presentable categories