All objects of a category are subsets of a set. Is the category (isomorphic to) a concrete category?
2026-04-08 06:10:48.1775628648
A question on characterization of concrete categories
45 Views Asked by user129173 https://math.techqa.club/user/user129173/detail At
1
If the objects are all members of $\mathcal P(X)$ for some $X$ and additionally the hom-sets are sets, then the category is small, and every small category is concretizable. (The forgetful functor can be taken to map each object to the set of morphisms ending at that object).
Conversely, if some $\mathrm{Hom}(A,B)$ is a proper class, then the category clearly cannot be concretizable.