added the parenthetical remark that in more general ambient categories one may want to require stronger notions of epimorphisms (all of which will coincide in the base context of Sets that is considered in the previous paragraph).

]]>added the definition in terms of the shear map being an epimorphism. Adjusted the discussion of requiring or not the underlying object to be inhabited.

]]>