Take the 2-minute tour ×
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.

Following is the definition of strict epimorphism from the paper I'm reading.

enter image description here

However, I have some confusion. What does $$ \mathcal{C}\xrightarrow{x}X $$

mean? I think $\mathcal{C}$ is a category which contains $X$ as an object, so what is $x$?

And after this definition the author says that strict epimorphism + monomorphism = isomorphism. Could anyone provide me a proof?

I'm new to category theory, forgive me if the question is stupid.

By the way, I have googled the term strict epimorphism, seeing that there is few result. Even Wiki does not have this term. Is it an isolated term?

share|improve this question
Shouldn't it be $g$ compatible if for all $x,y$, if $fx=fy$ then $gx=gy$? –  Stefan Hamcke Oct 30 '13 at 16:27
Otherwise any monic $g$ would be compatible. –  Stefan Hamcke Oct 30 '13 at 16:33
That would also be consistent with the nLab-definition. –  Stefan Hamcke Oct 30 '13 at 16:39

1 Answer 1

up vote 0 down vote accepted

One has to read $$C \xrightarrow {x} X {\rm \ for \ any \ object\ } C\in \mathcal{C}$$ instead of $$\mathcal{C}\xrightarrow {x} X.$$

A proof that "strict epimorphism + monomorphism = isomorphism" is in the book

I. Bucur, A. Deleanu, Introduction to the Theory of Categories and Functors, 1970, Lemma 3.17.

share|improve this answer
Is it a typo, or a standard abbreviation? –  hxhxhx88 Oct 30 '13 at 17:07
I think, it is a typo. –  Boris Novikov Oct 30 '13 at 17:10
OK, thanks very much! –  hxhxhx88 Oct 30 '13 at 17:11
You are welcome! –  Boris Novikov Oct 30 '13 at 17:12

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.