A finitary adjoint functor theorem
Theory and applications of categories, Tome 41 (2024), pp. 1919-1936
Cet article a éte moissonné depuis la source Theory and Applications of Categories website
Graduated locally finitely presentable categories are introduced, examples include categories of sets, vector spaces, posets, presheaves and Boolean algebras. A finitary functor between graduated locally finitely presentable categories is proved to be a right adjoint if and only if it preserves countable limits. For endofunctors on vector spaces or pointed sets even countable products are sufficient. Surprisingly, for set functors there is a single exception of a (trivial) finitary functor preserving countable products but not countable limits.
Publié le :
Classification :
18A22, 18A35, 18A40, 18B05
Keywords: Locally finitely presentable categories, finitary functors
Keywords: Locally finitely presentable categories, finitary functors
@article{TAC_2024_41_a52,
author = {Ji\v{r}{\'\i} Ad\'amek and Lurdes Sousa},
title = {A finitary adjoint functor theorem},
journal = {Theory and applications of categories},
pages = {1919--1936},
year = {2024},
volume = {41},
language = {en},
url = {http://geodesic.mathdoc.fr/item/TAC_2024_41_a52/}
}
Jiří Adámek; Lurdes Sousa. A finitary adjoint functor theorem. Theory and applications of categories, Tome 41 (2024), pp. 1919-1936. http://geodesic.mathdoc.fr/item/TAC_2024_41_a52/