# The Unapologetic Mathematician

## Special kinds of morphisms, subobjects, and quotient objects

Last week I was using the word “invertible” as if it was perfectly clear. Well, it should be, more or less, since categories are pretty similar to monoids, but I should be a bit more explicit. First, though, there’s a few other kinds of morphisms we should know.

We want to motivate these definitions from what we know of sets, but the catch is that sets are actually pretty special. Some properties turn out to be the same when applied to sets, though they can be different in other categories.

First of all, let’s look at injective functions. Remember that these are functions $f:X\rightarrow Y$ where $f(x_1)=f(x_2)$ implies $x_1=x_2$. That is, distinct inputs produce distinct outputs. Now we can build a function $g:B\rightarrow A$ as follows: if $y=f(x)$ for some $x\in X$ we define $g(y)=x$. This is well-defined because at most one $x$ can work, by injectivity. Then for all the other elements of $Y$ we just assign them to random elements of $X$. Now the composition $g\circ f$ is the identity function on $X$ because $g(f(x))=x$ for all $x\in X$. We say that the function $f$ has a (non-unique) “left inverse”.

Now since $f$ has a left inverse $g$ there’s something else that happens: if we have two functions $h_1$ and $h_2$ both from $Y$ to $X$, and if $f\circ h_1=f\circ h_2$ then $h_1=g\circ f\circ h_1=g\circ f\circ h_2=h_2$. That is, $f$ is “left cancellable”.

Now in any category $\mathcal{C}$ we say a morphism $f$ is a “monomorphism” (or “a mono”, or “$f$ is monic”) if it is left cancellable, whether or not the cancellation comes from a left inverse as above. If $f$ has a left inverse we say $f$ is “injective” or that it is “an injection”. By the same argument as above, every injection is monic, but in general not all monos are injective. In $\mathbf{Set}$ the two concepts are the same.

Similarly, a surjective function $f$ has a right inverse $g$, and is thus right cancellable. We say in general that a right cancellable morphism is an “epimorphism” (or “an epi”, or “$f$ is epic”). If the right cancellation comes from a right inverse, we say that $f$ is “surjective”, or that it is “a surjection”. Again, every surjection is epic, but not all epis are surjective. In $\mathbf{Set}$ the two concepts are again the same.

If a morphism is both monic and epic then we call it a “bimorphism”, and it can be cancelled from either side. If it is both injective and surjective we call it an “isomorphism”. All isomorphisms are bimorphisms, but not all bimorphisms are isomorphisms. If $f$ is an isomorphism, then we can show (try it) that the left and right inverses are not only unique, but are the same, and we call the (left and right) inverse $f^{-1}$. When I said “invertible” last week I meant that such an inverse exists.

We’ve already seen these terms in other categories. In groups and rings we have monomorphisms and epimorphisms, which are monos and epis in the categories $\mathbf{Grp}$ and $\mathbf{Ring}$.

Now recall that any subset $T$ of a set $S$ comes with an injective function $T\rightarrow S$ “including” $T$ into $S$. Similarly, subgroups and subrings come with “inclusion” monomorphisms. We generalize this concept and define a “subobject” of an object $C$ in a category $\mathcal{C}$ to be a monomorphism $S\rightarrow C$. In the same way we generalize quotient groups and quotient rings by defining a “quotient objects” of $C$ to be epimorphisms $C\rightarrow Q$.

Notice that we define a subobject to be an arrow, and we allow any monomorphism. Consider the function $f:\{a,b\}\rightarrow\{1,2,3\}$ defined by $f(a)=1$ and $f(b)=3$. It seems odd at first, but we say that this is a subobject of $\{1,2,3\}$. The important thing here is that we don’t define these concepts in terms of elements of sets, but in terms of arrows and their relations to each other. We “can’t tell the difference” between $\{a,b\}$ and $\{1,3\}$ since they are isomorphic as sets. If we just look at the arrow $f$ and the usual inclusion arrow of $\{1,3\}\subseteq\{1,2,3\}$, they pick out the same subset of $\{1,2,3\}$ so we may as well consider them to be the same subset.

Let’s be a little more general here. Let $f_1:S_1\rightarrow C$ and $f_2:S_2\rightarrow C$ be two subobjects of $C$. We say that $f_1$ “factors through” $f_2$ if there is an arrow $g:S_1\rightarrow S_2$ so that $f_1=f_2\circ g$. If we take the class of all subobjects of $C$ (all monomorphisms into $C$) we can give it the structure of a preorder by saying $f_1\leq f_2$ if $f_1$ factors through $f_2$. It should be straightforward to verify that this is a preorder.

Now we can turn this preorder into a partial order as usual by identifying any two subobjects which factor through each other. If $f_1=f_2\circ g_2$ and $f_2=f_1\circ g_1$ then $f_1=f_1\circ g_1\circ g_2$. Since $f_1$ is monic we can cancel it from the left and find that $1_{S_1}=g_1\circ g_2$. similarly we find that $1_{S_2}=g_2\circ g_1$. That is, $g_1$ and $g_2$ are inverses of each other, and so $S_1$ and $S_2$ are isomorphic as subobjects of $C$. Conversely, if $S_1$ and $S_2$ are isomorphic subobjects then $f_1$ and $f_2$ factor through each other by an isomorphism $g:S_1\rightarrow S_2$. This gives us a partial order on (equivalence classes of) subobjects of $C$. If the class of equivalence classes of subobjects is in fact a proper set for every object $C$ we say that our category is “well-powered”.

The preceding two paragraphs can be restated in terms of quotient objects. Just switch the directions of all the arrows and the orders of all the compositions. We get a partial order on (equivalence classes of) quotient objects of $C$. If the class of equivalence classes is a proper set for each object $C$ then we say that the category is “co-well-powered”.

It should be noted that even though isomorphic subobjects come with an isomorphism between their objects, just having an isomorphism between the objects is not enough. One toy example is given in the comments below. Another is to consider two distinct one-element subsets of a given set. Clearly the object for each is a singleton, and all singletons are isomorphic, but the two subsets are not isomorphic as subobjects.

As an exercise, consider the category $\mathbf{CRing}$ of commutative rings with unit and determine the partial order on the set of quotient objects of $\mathbb{Z}$.

### Like this:

Posted by John Armstrong | Category theory

## 20 Comments	»

1. [...] a “dual” definition, which we get by reversing all the arrows like this. For example, monos and epis are dual notions, as are subobjects and quotient objects. Just write down one definition in terms [...]

Pingback by | May 31, 2007 | Reply

2. [...] and Faithful Functors We could try to adapt the definitions of epics and monics to functors, but it turns out they’re not really the most useful. Really what we’re [...]

Pingback by | June 5, 2007 | Reply

3. [...] off, we know that subsets are subobjects, which are monomorphisms. More to the point, we can look at this subset and take its inclusion [...]

Pingback by | June 12, 2007 | Reply

4. Sorry if I bother you with this old post, but I didn’t catch one thing!
You wrote: “I \$S_1\$ and \$S_2\$ are isomorphic, then \$f_1\$ and \$f_2\$ will factor through each other”.
Could you prove it? In particular, I’m sure it works if \$f_1,f_2\$ are injective, but if not…?

Comment by | November 25, 2007 | Reply

5. That’s all you need. Notice that I defined a subobject to be a monic arrow. If you’re looking at a category like $\mathbf{Set}$ or $\mathbf{Grp}$, then monics are injective functions.

Comment by | November 25, 2007 | Reply

6. So there is nothing we can say if f_1,f_2 are monic but not injective? Even if they have the same domain, it seems that they might not factor through each other. (for example: take a category with two objects, two identities and two arrows from the first object to the second, these arrows are monic but they don’t factor)

Comment by | November 25, 2007 | Reply

7. You know, I think I was less than clear in the difference between isomorphic objects and isomorphic subobjects.. I suppose I should clear that section up.

Comment by | November 25, 2007 | Reply

8. [...] and Quotient Representations Today we consider subobjects and quotient objects in the category of representations of an algebra . Since the objects are representations we call [...]

Pingback by | December 5, 2008 | Reply

9. Can you show that there is an equivalence of categories between PreSet (the category of preordered sets) and PoSet (the category of partialy ordered sets) ?

Comment by Lucia | February 1, 2009 | Reply

10. You say “g\circ f is the identity function on X because g(f(x))=x for all x\in X.” but it seems to me this is only true if f and g are surjective (i.e. f and g are bijections). Alternatively, we construct an f’ whose codomain is the image of f, and whose domain is the preimage of g.

(also minor correction: “h_1 and h_2 both from Y to *X*” [not Y to Z]).

Comment by Alaistair | July 23, 2009 | Reply

11. sorry I meant construct an f’ whose codomain is the image of f, and a g’ whose codomain is the preimage of f.

Comment by Alaistair | July 23, 2009 | Reply

12. Alaistair, you seem very confused. The function $g$ is not given in advance. It’s what I just said I’m constructing. That is, it is the $f'$ you talk about constructing.

Comment by | July 23, 2009 | Reply

13. Thanks for the quick response.
Yes, sorry. What I said for $f'$ is essentially how you defined $g$.
What I was thinking is that: $g \circ f$ is not the identity on $X$, it is just the identity on the subset of X that is the preimage of f. But I just realised: you are assuming $f$ is total here, thus the preimage of f is $X$. Apologies- I have a proclivity for thinking of functions as partial (too much functional programming!)

Comment by Alaistair | July 23, 2009 | Reply

14. Sorry, but I do have some nits to pick:

In Set it’s not quite true that monics coincide with functions that have a left inverse; consider what happens when the domain is empty.

You have to be on your guard when you use the term “quotient” for a class of epis. In the category of commutative rings, it happens that the inclusion of the integers in the rationals, for instance, is an epi, but normally one does not consider that the rationals form a quotient ring of the integers (people usually reserve “quotient ring” for a surjective homomorphism $R \to R/I$). I’m not saying it’s wrong to define a quotient object in a category as a class of epis (people do that), but watch out about speaking of “quotient objects” in the category of rings in the same breath as “quotient rings” — there is a bad clash of terminology there.

I’ve never seen the terms “injective” and “surjective” used to describe morphisms in a general category which have left, resp., right inverses. This would definitely clash with standard usage; consider what people mean when they say “surjective continuous map”. Not all surjective continuous maps have sections. (By the way, some standard terms to introduce are “section” for a right inverse, and “retraction” for a left inverse.) Similarly for surjective homomorphisms in the category of groups.

Finally, not a nit but an observation: it’s probably a good idea to point out here that the statement that all epis in Set have a right inverse (a section) is equivalent to the axiom of choice.

Comment by | July 23, 2009 | Reply

15. Todd, a lot of the problem here is that there are at least three different naming conventions going on here. If I recall, when I wrote this I was taking Herrlich and Strecker as my source. And I specifically avoided “sect” and “retract” because those really hinge on certain topological references I’m not ready to introduce yet.

Comment by | July 23, 2009 | Reply

16. “Section” and “retraction” do not hinge on topological references. They are perfectly standard categorical terms. For example, “section” is used all the time when referring to splitting an exact sequence of groups (among other things).

I’ll check Herrlich and Strecker — that’s interesting if true. But I think you will agree that what people mean by surjective homomorphism or surjective continuous map doesn’t match the usage given here, and that it would be a good idea to point that out.

Please don’t be on the defensive — normally when I write, I do so in a spirit of trying to be of help!

Comment by | July 23, 2009 | Reply

17. Yes, the terms are used on their own, but you surely can’t deny that they’re meant to suggest the topological meanings. A section would never have been called a section without the idea of a section of a bundle, and a retraction would never have been called a retraction without the idea of a topological retraction. Why introduce a term when I can’t give some sort of motivation behind the name?

Comment by | July 23, 2009 | Reply

18. I’ll agree that section and retraction were (very probably, but I’m not an expert on the history) originally used in a topological context, but since then the meanings have expanded, and the way they are used today does not presuppose or hinge on topology. Anyway, I offered those terms as some useful current parlance, but if you don’t want to use them, that’s fine. They’re there for others to use if they want.

Comment by | July 23, 2009 | Reply

19. [...] principle, we know what a submanifold should be: a subobject in the category of smooth manifolds. That is, a submanifold of a manifold should be another [...]

Pingback by | March 7, 2011 | Reply

20. [...] can obviously define subalgebras and quotient algebras. Subalgebras are a bit more obvious than quotient algebras, though, being just subspaces that are [...]

Pingback by | August 6, 2012 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"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": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 103, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 20, "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": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9451085329055786, "perplexity_flag": "head"}