Is there a name and a standard notation for the category $C$ defined as follows:
objects of $C$ are all small "objects" (small sets in ZF, because in ZF all objects are sets);
morphisms of $C$ from $a$ to $b$ are all small functions such that $f(a)=b$.