We can readilly enough discuss finite sets: a set is finite precisely
if its automorphisms are epic iff monic. We can define a set to be infinite
if it has some monic automorphism which is not epic (or *vice versa*).
However, exhibitable sets are all finite.

I don't believe in infinity.

Written by Eddy.