Accessible set functors are universal

Abstract

It is shown that every concretizable category can be fully embedded into the category of accessible set functors and natural transformations.

Keywords

• set functor
• universal category
• full embedding