Accessible categories, saturation and categoricity
Jiřı́ Rosický · Journal of Symbolic Logic · 1997
Abstract Model-theoretic concepts of saturation and categoricity are studied in the context of accessible categories. Accessible categories which are categorical in a strong sense are related to categories of M-sets (M is a monoid). Typical examples of such categories are categories of λ-saturated objects.