Consider the functor F from MO/390611, given there to demonstrate that Hom(F,U) need not be isomorphic to a set. The collection of subobjects of F is not isomorphic to a set: for each infinite cardinal K, simply cut off the construction of F at K (this yields a different subobject for each K).
This issue has been created by Ben Spitz via the submission form on https://catdat.app/category/Z
Consider the functor F from MO/390611, given there to demonstrate that Hom(F,U) need not be isomorphic to a set. The collection of subobjects of F is not isomorphic to a set: for each infinite cardinal K, simply cut off the construction of F at K (this yields a different subobject for each K).
This issue has been created by Ben Spitz via the submission form on https://catdat.app/category/Z