A *weakly initial set* in a category C is a set of objects I of C such that every object a of C has at least one arrow from an object contained in I.

The question is then, does Fields have a weakly initial set? This is equivalent to the collection of prime fields being a set.

The converse is, is there a (fairly natural) example of a category without a weakly initial set? Aside from obvious things like the discrete category on the objects of a large category.