A classification of accessible categories
type: Item
instance of: scholarly article
title: A classification of accessible categories
zbMATH Open document ID: 1010.18005
DOI: 10.1016/S0022-4049(02)00126-3
author: Jiří Adámek
author: Stephen Lack
author: Jiří Rosický
author: F. Borceux
published in: Journal of Pure and Applied Algebra
publication date: 2002-12-02T00:00:00Z
review text: Let \(\mathbb{D}\) be a collection of small categories then the authors say that a (small) category \(\mathcal C\) is \(\mathbb{D}\)-filtered if \(\mathcal C\)-colimits commute in \(\mathcal{S}et\) with \(\mathbb{D}\)-limits. If a category \(\mathcal K\) has \(\mathbb{D}\)-filtered colimits then an object \( A\) of \(\mathcal K\) is called \(\mathbb{D}\)-presentable if the hom-functor \(\mathcal K(A,-):\mathcal K \to \mathcal{S}et\) preserves \(\mathbb{D}\)-filtered colimits. The authors say that a collection \(\mathbb{D}\) is sound if any category \(\mathcal C\) is \(\mathbb{D}\)-filtered whenever the category of cocones for any functor \(S:\mathcal D^{op}\to \mathcal C\) with \(\mathcal D\in \mathbb{D}\) is connected. For a sound collection \(\mathbb{D}\) a characterization of \(\mathbb{D}\)-continuous functors into \(\mathcal{S}et\) is given. A category \(\mathcal K\) is said to be \(\mathbb{D}\)-accessible if \(\mathbb{D}\) is sound, \(\mathcal K\) has \(\mathbb{D}\)-filtered colimits and there is a small set \(\mathcal A\) of \(\mathbb{D}\)-presentable objects of \(\mathcal K\) such that every object of \( \mathcal K\) is a \(\mathbb{D}\)-filtered colimit of objects from \(\mathcal A\). The paper develops a theory of \(\mathbb{D}\)-accessible categories that refines a theory of accessible (and locally presentable) categories. Since any \(\mathbb{D}\)-accessible category is also accessible, \(\mathbb{D}\)-accessible categories give a classification of accessible categories. The relation between \(\mathbb{D}\)-accessible categories and sketches is discussed. It is proved that the free completion under colimits in the quasi-category \(\mathcal{C}at\) of all categories distributes over free completion under limits in \(\mathcal{C}at\). Many examples illustrating the new concept are given.
Mathematics Subject Classification ID: 18C35
Mathematics Subject Classification ID: 18A30
Mathematics Subject Classification ID: 18A35
Mathematics Subject Classification ID: 18C30
zbMATH DE Number: 1839059
zbMATH Keywords: accessible category
zbMATH Keywords: sketch
zbMATH Keywords: locally presentable category
zbMATH Keywords: filtered colimit
zbMATH Keywords: free completion
reviewed by: Václav Koubek
MaRDI profile type: Publication
cites work: How algebraic is algebra?
cites work: Q4457308
cites work: Q4293501
cites work: Q4527392
cites work: Finitary sketches and finitely accessible categories
cites work: Pointwise inductive limits in accessible categories
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
cites work: Connected limits, familial representability and Artin glueing
cites work: Categories localement multipresentables
cites work: Q3961630
cites work: Q5631282
cites work: Lokal präsentierbare Kategorien. (Locally presentable categories)
cites work: Q3137154
cites work: Q3491793
cites work: Q3672155
cites work: Q4395869
cites work: Q4081433
cites work: Accessible Categories: The Foundations of Categorical Model Theory
cites work: Q4342436
cites work: Q4238518
cites work: Distributive laws for pseudomonads. II
cites work: A simple characterization of theories of varieties
cites work: Q3876103
full work available at URL: s0022-4049(02)00126-3
OpenAlex ID: W1964399571
description: scientific article; zbMATH DE number 1839059