A name and notation for a category

125 Views Asked by At

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$.

1

There are 1 best solutions below

0
On

I would probably call this something like "the subcategory of epimorphisms in Set". If I were to use it a lot, especially with other categories, I would probably name it something like Epi(Set).