Codensity and binding categories
Jiřı́ Rosický · Czech digital mathematics library · 1975
There is found a two-object category M such that, supposing the set axiom (M) 9 the equivalence of M with a full subcategory of a complete and well-powered cate gory A make any concrete category to be equivalent with a full subcategory of A .