A finitary adjoint functor theorem

MaRDI QIDQ7034265zbMATH OpenFDO

Authors Jiří Adámek, Lurdes Sousa

Publication date 31 January 2025

Published in Theory and Applications of Categories (Search for Journal in Brave)

Full work available at URL http://www.tac.mta.ca/tac/volumes/41/53/41-53abs.html

zbMATH Keywords

finitary functorslocally finitely presentable categories

Mathematics Subject Classification ID

Special properties of functors (faithful, full, etc.) (18A22) Categories admitting limits (complete categories), functors preserving limits, completions (18A35) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Categories of sets, characterizations (18B05)

Review text

It is well known [\textit{J. Adámek} and \textit{J. Rosický}, Locally presentable and accessible categories. Cambridge: Cambridge University Press (1994; Zbl 0795.18007), Theorem 1.66] that a functor between locally presentable categories is a right adjoint iff it is accessible and preserves limits. This paper introduces a wise class of locally finitely presentable categories, called \textit{graduated}, establishing that a finitary functor between them is a right adjoint iff it preserves countable limits. Graduation quintessentially means that every finitely presentable object is assigned a grade in \(\mathbb{N}\) so that proper subobjects and proper strong quotients are of lower grades.\N\NThis paper was greatly inspired by the following two works.\N\N\begin{itemize}\N\item[(1)] \textit{G. Tendas} [Appl. Categ. Struct. 30, No. 5, 937--946 (2022; Zbl 1495.18010)] established, for locally finitely presentable categories of only countably many finitely presentable objects and finite hom-sets for them, that a finitary functor between such categories preserves limits iff it preserves countable limits.\N\N\item[(2)] \textit{V. Trnková} [Commentat. Math. Univ. Carol. 12, 143--174 (1971; Zbl 0232.18004); Commentat. Math. Univ. Carol. 12, 345--357 (1971; Zbl 0232.18005)] investigated the question when functors preserving products automatically preserve limits.\N\end{itemize}

Cites work

• Approximate injectivity and smallness in metric-enriched categories
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 3291978 (Why is no real title available?)
• scientific article; zbMATH DE number 3367097 (Why is no real title available?)
• scientific article; zbMATH DE number 3367098 (Why is no real title available?)
• On continuity of accessible functors

This page was built for publication: A finitary adjoint functor theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7034265)