# Is there a name for a non-iso monomorphism?

I am really bummed out to find that the term "strict monomorphism" is already used to mean something else.

Can anybody console me with the knowledge that there is another name I can use for a monomorphism that is not an isomorphism?

-

I have observed that "proper monomorphism" is sometimes used to mean "a monomorphism that is not an isomorphism".

For example, if $A$ is a subset of $B$ and if $A\neq B$, then we write that "$A$ is a proper subset of $B$". We know in the category of sets, for example, that if there is an monomorphism from $A$ into $B$, then $A$ can be identified with a subset $C$ of $B$. In this case, $C$ is a proper subset of $B$ if and only if $f$ is a "monomorphism that is not an isomorphism".

However, I could be incorrect as I do not have a definite source for this terminology.

-
MacLane uses the term proper monic in Categories for the Working Mathematician but I did not find a definition of this term in his book. –  Martin Sleziak Sep 16 '11 at 8:23
@Martin: Nice catch. That's canonical enough for me –  D-triple-e-z Sep 16 '11 at 19:23