A nice example of strong monomorphisms in a category are the subspace inclusions in the category of diffeological spaces. In this setting, any subset of a diffeological space is again a diffeological space. If smooth, the inclusion is always a monomorphism, but it is a strong monomorphism if and only if has “enough” plots, that is if is a plot if and only if the composite is a plot.
Revised on October 20, 2010 17:48:42
by Urs Schreiber