Continuous categories revisited
Theory and applications of categories, Tome 11 (2003), pp. 252-282
Cet article a éte moissonné depuis la source Theory and Applications of Categories website
Generalizing the fact that Scott's continuous lattices form the equational hull of the class of all algebraic lattices, we describe an equational hull of LFP, the category of locally finitely presentable categories, over CAT. Up to a set-theoretical hypothesis this hull is formed by the category of all precontinuous categories, i.e., categories in which limits and filtered colimits distribute. This concept is closely related to the continuous categories of P. T. Johnstone and A. Joyal.
Classification :
18A35, 06B35
Keywords: locally finitely presentable category, precontinuous category, continuous lattice, pseudomonad
Keywords: locally finitely presentable category, precontinuous category, continuous lattice, pseudomonad
@article{TAC_2003_11_a10,
author = {J. Adamek and F. W. Lawvere and J. Rosicky},
title = {Continuous categories revisited},
journal = {Theory and applications of categories},
pages = {252--282},
year = {2003},
volume = {11},
language = {en},
url = {http://geodesic.mathdoc.fr/item/TAC_2003_11_a10/}
}
J. Adamek; F. W. Lawvere; J. Rosicky. Continuous categories revisited. Theory and applications of categories, Tome 11 (2003), pp. 252-282. http://geodesic.mathdoc.fr/item/TAC_2003_11_a10/