# Epimorphism and Monomorphism = Isomorphism?

It seems to be that if a map is both an epimorphism and a monomorphism, it is not necessarily the case that it is an isomorphism.

However, in the category of sets, if a map is both an epimorphism and a monomorphism it is an isomorphism.

Are these accurate statements?

-

Yes, those are accurate statements.

The inclusion $\mathbb{Z}\hookrightarrow \mathbb{Q}$ is both a monomorphism and epimorphism in the category $\mathsf{Ring}$ (rings and ring homomorphisms), but not an isomorphism. The inclusion $\mathbb{Q}\hookrightarrow\mathbb{R}$ is both a monomorphism and epimorphism in the category $\mathsf{Haus}$ (Hausdorff topological spaces and continuous maps), but it is not an isomorphism.

In the category $\mathsf{Set}$, monomorphisms and epimorphisms are precisely the injective and surjective maps, respectively, so that a map of sets that is both a monomorphism and epimorphism is a bijection, i.e. an isomorphism of sets.

More examples and information can be found in Wikipedia and in Mac Lane's Categories for the Working Mathematician.

-

A simpler example: take a category with two objects and three morphisms, one of which goes from one object to the other. This last morphism is monic and epic, but not an iso.

-

Yes, that's correct. For example, every morphism in a poset is a monomorphism and an epimorphism, but only the identity morphisms are isomorphisms. (Mariano's answer describes the smallest poset with a non-identity morphism.)

However, there are various salvages of this statement available:

1. A morphism which is both a monomorphism and a split epimorphism (resp. both an epimorphism and a split monomorphism) is an isomorphism. See this blog post. In the category of sets, every monomorphism (edit: with non-empty domain) is split, and the statement that every epimorphism is split is equivalent to the axiom of choice.

2. Better: a morphism which is both a monomorphism and a regular epimorphism (resp. both an epimorphism and a regular monomorphism) is an isomorphism. See this blog post. In the category of sets, every epimorphism and monomorphism is regular (with no need to invoke the axiom of choice).

For more on the subject of morphisms which are both epimorphisms and monomorphisms but which are not isomorphisms see this blog post.

-
Every monomorphism with non-empty domain is split. – Zhen Lin Dec 29 '12 at 9:03
Whoops. I think I've been corrected on this in the past too. – Qiaochu Yuan Dec 29 '12 at 9:19
Great blog. Will be following it. Hope you keep posting. – Gerber Dec 29 '12 at 19:48
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.8658708930015564, "perplexity": 140.15594331906385}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2015-48/segments/1448398445208.17/warc/CC-MAIN-20151124205405-00162-ip-10-71-132-137.ec2.internal.warc.gz"}