nLab Locally Presentable and Accessible Categories

Redirected from "Locally presentable and accessible categories".

This page collects material related to the book

on locally presentable and accessible categories. There is an erratum made available by the authors:

Contents

  1. locally presentable categories

  2. accessible categories: see also sketch

  3. algebraic categories: see algebraic category, equationally presentable category, essentially algebraic theory, and variety of algebras

  4. injectivity class?es: see also weak factorization system

  5. categories of models: see internal logic, theory, essentially algebraic theory, model

  6. Vopěnka's principle

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.

A\phantom{A}(n,r)-categoriesA\phantom{A}A\phantom{A}toposesA\phantom{A}locally presentableloc finitely preslocalization theoremfree cocompletionaccessible
(0,1)-category theorylocalessuplatticealgebraic latticesPorst’s theorempowersetposet
category theorytoposeslocally presentable categorieslocally finitely presentable categoriesGabriel–Ulmer’s theorempresheaf categoryaccessible categories
model category theorymodel toposescombinatorial model categoriesDugger's theoremglobal model structures on simplicial presheavesn/a
(∞,1)-category theory(∞,1)-toposeslocally presentable (∞,1)-categoriesSimpson’s theorem(∞,1)-presheaf (∞,1)-categoriesaccessible (∞,1)-categories
category: reference

Last revised on October 3, 2021 at 05:30:09. See the history of this page for a list of all contributions to it.