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…