This page collects material related to the book
Locally Presentable and Accessible Categories
London Mathematical Society Lecture Note Series, number 189,
Cambridge University Press 1994
on locally presentable and accessible categories.
accessible categories: see also sketch
algebraic categories: see algebraic category, equationally presentable category, essentially algebraic theory, and variety of algebras
injectivity class?es: see also weak factorization system
categories of models: see internal logic, theory, essentially algebraic theory, model
Locally presentable categories: Cocomplete possibly-large categories generated under filtered colimits by small generators under small relations. Equivalently, accessible reflective localizations of free cocompletions. Accessible categories omit the cocompleteness requirement; toposes add the requirement of a left exact localization.
Last revised on July 6, 2018 at 08:13:40. See the history of this page for a list of all contributions to it.