4 papers
Graduated categories of presheaves
Jiri Adamek, Lurdes Sousa
We study conditions on a small category under which every finitely generated object of its presheaf category is finitely presentable. Example: this holds for a group…
A Finitary Adjoint Functor Theorem
Jirí Adámek, Lurdes Sousa
Graduated locally finitely presentable categories are introduced, examples include categories of sets, vector spaces, posets, presheaves and Boolean algebras. A finitary functor be…
Quantitative Algebras and a Classification of Metric Monads
J. Adámek, M. Dostál, J. Velebil
Quantitative algebras are -algebras acting on metric spaces, where operations are nonexpanding. Mardare, Panangaden and Plotkin introduced 1-basic varieties as categories of qua…
D-Ultrafilters and their Monads
Jirí Adámek, Lurdes Sousa
For a number of locally finitely presentable categories K we describe the codensity monad of the full embedding of all finitely presentable objects into K. We introduce the concept…