 All this applies to any topos, whether or not concrete.In the concrete case, namely "C"(1,-) faithful, for example the category of sets, the situation reduces to the familiar behavior of functions.Here the monics "m"