Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question
up vote 4 down vote accepted

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.

share|cite|improve this answer
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

You could go with "non-invertible monomorphism", which is really just a restatement of "monomorphism that isn't an isomorphism". But as far as I know, there is no "special" or "reserved" name for such maps.

share|cite|improve this answer
Let it be hereby known that such maps will thusforth and forevermore be known officially as "rigid monomorphisms", since they were heretofore unnamed and all that jazz. – D-triple-e-z Sep 16 '11 at 7:40
By the way, I was using all that archaic-sounding razzamatazz so it sounds more official. Make sure to use this word that I coined right in front of you right here right now. – D-triple-e-z Sep 16 '11 at 7:50
Of course I will. Heaven forbid a mathematical word that conveys any information about what it means! – Zev Chonoles Sep 16 '11 at 8:00

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.