# User:Michiexile/MATH198/Lecture 2

### From HaskellWiki

(Difference between revisions)
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|----------|------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|----------|----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------|
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| Line 40: |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | Line 40: |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          | We call a left cancellable arrow in a category a ''monomorphism''.                                                                                                                                                                                                                                                                                                                                                                                                                                                                             |          | We call a left cancellable arrow in a category a ''monomorphism''.                                                                                                                                                                                                                                                                                                                                                                                                                                       |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | ====In concrete categories====                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 | +        | ====In Set====                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          | Left cancellability means that if, when we do first <math>g_1</math> and then <math>f</math> we get the same as when we do first <math>g_2</math> and then <math>f</math>, then we had equality already before we followed with <math>f</math>.                                                                                                                                                                                                                                                                                                |          | Left cancellability means that if, when we do first <math>g_1</math> and then <math>f</math> we get the same as when we do first <math>g_2</math> and then <math>f</math>, then we had equality already before we followed with <math>f</math>.                                                                                                                                                                                                                                                          |
| Line 49: |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | Line 49: |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          | ====Subobjects====                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             |          | ====Subobjects====                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | Consider the subset <math>\{1,2\}\subset\{1,2,3\}</math>. This is the image of an accordingly chosen injective map from any 2-element set into <math>\{1,2,3\}</math>. Thus, if we want to translate the idea of a subset into categorical language, it is not enough talking about monomorphisms, though the fact that inclusion is an injection indicates that we are on the right track.                                                                                                              |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | The trouble that remains is that we do not want to view <math>\{1,2\}</math> when it occurs as the image of <math>\{1,2\}</math> as a different subset from <math>\{5,6\}</math> mapping to <math>\{1,2\}</math>. So we need some way of figuring out how to catch these situations and parry for them.                                                                                                                                                                                                  |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | We'll say that a morphism <math>f</math> ''factors through'' a morphism <math>g</math> if there is some morphism <math>h</math> such that <math>f=gh</math>.                                                                                                                                                                                                                                                                                                                                             |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | We can also talk about a morphism <math>f:A\to C</math> factoring through an ''object'' <math>B</math> by requiring the existence of morphisms <math>g:A\to B, h:B\to C</math> that compose to <math>f</math>.                                                                                                                                                                                                                                                                                           |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | Now, we can form an equivalence relation on monomorphisms into an object <math>A</math>, by saying <math>f\sim g</math> if <math>f</math> factors through <math>g</math> and <math>g</math> factors through <math>f</math>. The arrows implied by the factoring are inverse to each other, and the source objects of equivalent arrows are isomorphic.                                                                                                                                                   |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | Equipped with this equivalence relation, we define a ''subobject'' of an object <math>A</math> to be an equivalence class of monomorphisms.                                                                                                                                                                                                                                                                                                                                                              |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          | ===Epimorphisms===                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             |          | ===Epimorphisms===                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       |
| Line 58: |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | Line 70: |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          | A right cancellable arrow in a category is an ''epimorphism''.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 |          | A right cancellable arrow in a category is an ''epimorphism''.                                                                                                                                                                                                                                                                                                                                                                                                                                           |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | ====In concrete categories====                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                 | +        | ====In Set====                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          | For epimorphims the interpretation in set functions is that whatever <math>f</math> does, it doesn't hide any part of the things <math>g_1</math> and <math>g_2</math> do. So applying <math>f</math> first doesn't influence the total available scope <mamth>g_1</math> and <math>g_2</math> have.                                                                                                                                                                                                                                           |          | For epimorphims the interpretation in set functions is that whatever <math>f</math> does, it doesn't hide any part of the things <math>g_1</math> and <math>g_2</math> do. So applying <math>f</math> first doesn't influence the total available scope <mamth>g_1</math> and <math>g_2</math> have.                                                                                                                                                                                                     |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | ===Terminal objects===                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         | +        | ===More on factoring===                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | ====Pointless sets and global constants====                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    | +        | In Set, and in many other categories, any morphism can be expressed by a factorization of the form <math>f=ip</math> where <math>i</math> is a monomorphism and <math>p</math> is an epimorphism. For instance, in Set, we know that a function is surjective onto its image, which in turn is a subset of the domain, giving a factorization into an epimorphism - the projection onto the image - followed by a monomorphism - the inclusion of the image into the domain.                             |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | ===Initial objects===                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          | +        | ----                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | Note that in Set, every morphisms that is both a mono and an epi is immediately an isomorphism. We shall see in the homework that the converse does not necessarily hold.                                                                                                                                                                                                                                                                                                                                |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | ===Initial and Terminal objects===                                                                                                                                                                                                                                                                                                                                                                                                                                                                       |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | An object <math>0</math> is ''initial'' if for every other object <math>C</math>, there is a unique morphism <math>0\to C</math>. Dually, an object <math>1</math> is ''terminal'' if there is a unique morphism <math>C\to 1</math>.                                                                                                                                                                                                                                                                    |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | First off, we note that the uniqueness above makes initial and terminal objects unique up to isomorphism whenever they exist: we shall perform the proof for one of the cases, the other is almost identical.                                                                                                                                                                                                                                                                                            |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | '''Proposition''' Initial (terminal) objects are unique up to isomorphism.                                                                                                                                                                                                                                                                                                                                                                                                                               |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | '''Proof''': Suppose <math>C</math> and <math>C'</math> are both initial (terminal). Then there is a unique arrow <math>C\to C'</math> and a unique arrow <math>C'\to C</math>. The compositions of these arrows are all endoarrows of one or the other. Since ''all'' arrows from (to) an initial (terminal) objects are unique, these compositions have to be the identity arrows. Hence the arrows we found between the two objects are isomorphisms. QED.                                            |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | * In Sets, the empty set is initial, and any singleton set is terminal.                                                                                                                                                                                                                                                                                                                                                                                                                                  |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | * In the category of Vector spaces, the single element vector space 0 is both initial and terminal.                                                                                                                                                                                                                                                                                                                                                                                                      |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          | ===Zero objects===                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             |          | ===Zero objects===                                                                                                                                                                                                                                                                                                                                                                                                                                                                                       |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | ===Internal and external hom===                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | This last example is worth taking up in higher detail. We call an object in a category a ''zero object'' if it is simultaneously initial and terminal.                                                                                                                                                                                                                                                                                                                                                   |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | * Isomorphisms and existence of inverses.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                      |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | * Epi- and mono-morphisms and cancellability.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | ** Examples in concrete categories.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                            |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | ** Monomorphisms and subobjects:                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | *** Factoring through. Equivalence relation by mutual factoring.                                                                                                                                                                                                                                                                                                                                                                                                                                                                               |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | *** Subobjects as equivalence classes of monomorphisms.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | ** Splitting and the existence of inverses.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | * Terminal and initial objects.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | ** Constants. Pointless sets.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | ====Pointless sets and generalized elements====                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | Arrows to initial objects and from terminal objects are interesting too - and as opposed to the arrows from initial and to the terminals, there is no guarantee for these arrows to be uniquely determined. Let us start with arrows <math>A\to 0</math> into initial objects.                                                                                                                                                                                                                           |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | In the category of sets, such an arrow only exists if <math>A</math> is already the empty set.                                                                                                                                                                                                                                                                                                                                                                                                           |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | In the category of all monoids, with monoid homomorphisms, we have a zero object, so such an arrow is uniquely determined.                                                                                                                                                                                                                                                                                                                                                                               |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | For arrows <math>1\to A</math>, however, the situation is significantly more interesting. Let us start with the situation in Set. <math>1</math> is some singleton set, hence a function from <math>1</math> picks out one element as its image. Thus, at least in Set, we get an isomorphism of sets <math>A = Hom(1,A)</math>.                                                                                                                                                                         |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | As with so much else here, we build up a general definition by analogy to what we see happening in the category of sets. Thus, we shall say that a ''global element'', or a ''point'', or a ''constant'' of an object <math>A</math> in a category with terminal objects is a morphism <math>x:1\to A</math>.                                                                                                                                                                                            |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | This allows us to talk about elements without requiring our objects to even be sets to begin with, and thus reduces everything to a matter of just morphisms. This approach is fruitful both in topology and in Haskell, and is sometimes called ''pointless''.                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | The important point here is that we can replace ''function application'' <math>f(x)</math> by the already existing and studied ''function composition''. If a constant <math>x</math> is just a morphism <math>x:1\to A</math>, then the value <math>f(x)</math> is just the composition <math>f\circ x:1\to A\to B</math>. Note, also, that since <math>1</math> is terminal, it has exactly one point.                                                                                                 |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | In the idealized Haskell category, we have the same phenomenon for constants, but slightly disguised: a global constant is 0-ary function. Thus the type declaration                                                                                                                                                                                                                                                                                                                                     |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | <haskell>                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | x :: a                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                   |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | </haskell>                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | can be understood as syntactic sugar for the type declaration                                                                                                                                                                                                                                                                                                                                                                                                                                            |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | <haskell>                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | x :: () -> a                                                                                                                                                                                                                                                                                                                                                                                                                                                                                             |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | </haskell>                                                                                                                                                                                                                                                                                                                                                                                                                                                                                               |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | thus reducing everything to function types.                                                                                                                                                                                                                                                                                                                                                                                                                                                              |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | ----                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | Similarly to the ''global'' elements, it may be useful to talk about ''variable elements'', by which we mean non-specified arrows <math>f:T\to A</math>. Allowing <math>T</math> to range over all objects, and <math>f</math> to range over all morphisms into <math>A</math>, we are able to recover some of the element-centered styles of arguments we are used to. We say that <math>f</math> is ''parametried over <math>T</math>''.                                                               |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | Using this, it turns out that <math>f</math> is a monomorphism if for any variable elements <math>x,y:T\to A</math>, if <math>x\neq y</math> then <math>f\circ x\neq f\circ y</math>.                                                                                                                                                                                                                                                                                                                    |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | ===Internal and external hom===                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | If <math>f:B\to C</math>, then <math>f</math> induces a set function <math>Hom(A,f):Hom(A,B)\to Hom(A,C)</math> through <math>Hom(A,f)(g) = f\circ g</math>. Similarly, it induces a set function <math>Hom(f,A):Hom(C,A)\to Hom(C,B)</math> through <math>Hom(f,A)(g) = g\circ f</math>.                                                                                                                                                                                                                |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | Using this, we have an occasionally enlightening                                                                                                                                                                                                                                                                                                                                                                                                                                                         |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | '''Proposition''' An arrow <math>f:B\to C</math> is                                                                                                                                                                                                                                                                                                                                                                                                                                                      |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | # a monomorphism if and only if <math>Hom(A,f)</math> is injective for every object <math>A</math>.                                                                                                                                                                                                                                                                                                                                                                                                      |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | # an epimorphism if and only if <math>Hom(f,A)</math> is injective for every object <math>A</math>.                                                                                                                                                                                                                                                                                                                                                                                                      |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | # a split monomorphism if and only if <math>Hom(f,A)</math> is surjective for every object <math>A</math>.                                                                                                                                                                                                                                                                                                                                                                                               |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | # a split epimorphism if and only if <math>Hom(A,f)</math> is surjective for every object <math>A</math>.                                                                                                                                                                                                                                                                                                                                                                                                |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | # an isomorphism if and only if any one of the following equivalent conditions hold:                                                                                                                                                                                                                                                                                                                                                                                                                     |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | ## it is both a split epi and a mono.                                                                                                                                                                                                                                                                                                                                                                                                                                                                    |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | ## it is both an epi and a split mono.                                                                                                                                                                                                                                                                                                                                                                                                                                                                   |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | ## <math>Hom(A,f)</math> is bijective for every <math>A</math>.                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | ## <math>Hom(f,A)</math> is bijective for every <math>A</math>.                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | ----                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                     |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | ==Morphisms==                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                  | +        | For any <math>A,B</math> in a category, the homset is a ''set'' of morphisms between the objects. For many categories, though, homsets may end up being objects of that category as well.                                                                                                                                                                                                                                                                                                                |
| -        | The arrows of a category are called ''morphisms''. This is derived from ''homomorphisms''.                                                                                                                                                                                                                                                                                                                                                                                                                                                     | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | Some arrows have special properties that make them extra helpful; and we'll name them:                                                                                                                                                                                                                                                                                                                                                                                                                                                         | +        | As an example, the set of all linear maps between two fixed vector spaces is itself a vector space.                                                                                                                                                                                                                                                                                                                                                                                                      |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | ;Endomorphism:A morphism with the same object as source and target.                                                                                                                                                                                                                                                                                                                                                                                                                                                                            | +        | Alternatively, the function type <hask>a -> b</hask> is an actual Haskell type, and captures the morphisms of the idealized Haskell category.                                                                                                                                                                                                                                                                                                                                                            |
| -        | ;Monomorphism:A morphism that is left-cancellable. Corresponds to injective functions. We say that ''f'' is a monomorphism if for any <math>g_1,g_2</math>, the equation <math>fg_1 = fg_2</math> implies <math>g_1=g_2</math>. In other words, with a concrete perspective, ''f'' doesn't introduce additional relations when applied.                                                                                                                                                                                                        | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | ;Epimorphism:A morphism that is right-cancellable. Corresponds to surjective functions. We say that ''f'' is an epimorphism if for any <math>g_1,g_2</math>, the equation <math>g_1f = g_2f</math> implies <math>g_1=g_2</math>.                                                                                                                                                                                                                                                                                                               | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | Note, by the way, that cancellability does not imply the existence of an inverse. Epi's and mono's that have inverses realizing their cancellability are called ''split''.                                                                                                                                                                                                                                                                                                                                                                     | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | ;Isomorphism:A morphism is an isomorphism if it has an inverse. Split epi and split mono imply isomorphism. Specifically, <math>f:v\to w</math> is an isomorphism if there is a <math>g:w\to v</math> such that <math>fg=1_w</math> and <math>g=1_v</math>.                                                                                                                                                                                                                                                                                    | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | ;Automorphism:An automorphism is an endomorphism that is an isomorphism.                                                                                                                                                                                                                                                                                                                                                                                                                                                                       | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | ==Objects==                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                    | +        | We shall return to this situation later, when we are better equipped to give a formal scaffolding to the idea of having elements in objects in a category act as morphisms. For now, we shall introduce the notations <math>[A\to B]</math> or <math>B^A</math> to denote the ''internal'' hom - where the morphisms between two objects live as an object of the category. This distinguishes <math>B^A</math> from <math>Hom(A,B)</math>.                                                              |
| -        | In a category, we use a different name for the vertices: ''objects''. This comes from the roots in describing concrete categories - thus while objects may be actual mathematical objects, but they may just as well be completely different.                                                                                                                                                                                                                                                                                                  | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | Just as with the morphisms, there are objects special enough to be named. An object ''v'' is                                                                                                                                                                                                                                                                                                                                                                                                                                                   | +        | To gain a better understanding of the choice of notation, it is worth noting that  <math>|Hom_{\textsf{Set}}(A,B)|=|B|^|A|</math>.                                                                                                                                                                                                                                                                                                                                                                       |
| -        | ;''Initial'':if ''[v,w]'' has exactly one element for all other objects ''w''.                                                                                                                                                                                                                                                                                                                                                                                                                                                                 | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | ;''Terminal'': if ''[w,v]'' has exactly one element for all other objects ''w''.                                                                                                                                                                                                                                                                                                                                                                                                                                                               | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | ;''A Zero object'': if it is both initial and terminal.                                                                                                                                                                                                                                                                                                                                                                                                                                                                                        | +        |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | All initial objects are isomorphic. If <math>i_1,i_2</math> are both initial, then there is exactly one map <math>i_1\to i_2</math> and exactly one map <math>i_2\to i_1</math>. The two possible compositions are maps <math>i_1\to i_1</math> and <math>i_2\to i_2</math>. However, the initiality condition holds even for the morphism set ''[v,v]'', so in these, the only existing morphism is <math>1_{i_1}</math> and <math>1_{i_2}</math> respectively. Hence, the compositions have to be this morphism, which proves the statement. | +        | ===Homework===                                                                                                                                                                                                                                                                                                                                                                                                                                                                                           |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | ==Dual category==                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                              | +        | Passing mark requires at least 6 of 11.                                                                                                                                                                                                                                                                                                                                                                                                                                                                  |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                |          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
| -        | The same proof carries over, word by word, to the terminal case. This is an illustration of a very commonly occurring phenomenon - dualization.                                                                                                                                                                                                                                                                                                                                                                                                | +        | # Suppose <math>g,h</math> are two-sided inverses to <math>f</math>. Prove that <math>g=h</math>.                                                                                                                                                                                                                                                                                                                                                                                                        |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | # (requires some familiarity with analysis) There is a category with object <math>\mathbb R</math> (or even all smooth manifolds) and with morphisms smooth (infinitely differentiable) functions. Prove that being a bijection does not imply being an isomorphisms. Hint: What about <math>x\mapsto x^3?</math>.                                                                                                                                                                                       |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | # (do this if you don't do 2) In the category of posets, with order-preserving maps as morphisms, show that not all bijective homomorphisms are isomorphisms.                                                                                                                                                                                                                                                                                                                                            |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | # Consider the partially ordered set <math>P</math> as a category. Prove: every arrow is both monic and epic. Is every arrow thus an isomorphism?                                                                                                                                                                                                                                                                                                                                                        |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | # What are the terminal and initial objects in a poset? Give an example of a poset that has both, either and none. Give an example of a poset that has a zero object.                                                                                                                                                                                                                                                                                                                                    |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | # What are the terminal and initial objects in the category with objects graphs and morphisms graph homomorphisms?                                                                                                                                                                                                                                                                                                                                                                                       |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | # Prove that if a category has one zero object, then all initial and all terminal objects are all isomorphic and all zero objects.                                                                                                                                                                                                                                                                                                                                                                       |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | # Prove that the composition of two monomorphisms is a monomorphism and that the composition of two epimorphisms is an epimorphism. If <math>g\circ f</math> is monic, do any of <math>g,f</math> have to be monic? If the composition is epic, do any of the factors have to be epic?                                                                                                                                                                                                                   |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | # Verify that the equivalence relation used in defining subobjects really is an equivalence relation. Further verify that this fixes the motivating problem.                                                                                                                                                                                                                                                                                                                                             |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | # Describe a representative subcategory each of:                                                                                                                                                                                                                                                                                                                                                                                                                                                         |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | #* The category of vectorspaces over the reals.                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | #* The category of finite sets.                                                                                                                                                                                                                                                                                                                                                                                                                                                                          |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | #* The category formed by the poset of the integers <math>\mathbb Z</math> and the order relation <math>a\leq b</math> if <math>a|b</math>.                                                                                                                                                                                                                                                                                                                                                              |
|          |                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                | +        | # * An arrow <math>f:A\to A</math> in a category <math>C</math> is an ''idempotent'' if <math>f\circ f = f</math>. We say that <math>f</math> is a ''split idempotent'' if there is some <math>g:A\to B, h:B\to A</math> such that <math>h\circ g=f</math> and <math>g\circ h=1_B</math>. Show that in Set, <math>f</math> is idempotent if and only if its image equals its set of fixed points. Show that every idempotent in Set is split. Give an example of a category with a non-split idempotent. |

## Revision as of 20:01, 23 September 2009

IMPORTANT NOTE: THESE NOTES ARE STILL UNDER DEVELOPMENT. PLEASE WAIT UNTIL AFTER THE LECTURE WITH HANDING ANYTHING IN, OR TREATING THE NOTES AS READY TO READ.

## Contents

### 1 Morphisms and objects

Some morphisms and some objects are special enough to garner special names that we will use regularly.

In morphisms, the important properties are

• cancellability - the categorical notion corresponding to properties we use when solving, e.g., equations over $\mathbb N$:
$3x = 3y \Rightarrow x = y$
• existence of inverses - which is stronger than cancellability. If there are inverses around, this implies cancellability, by applying the inverse to remove the common factor. Cancellability, however, does not imply that inverses exist: we can cancel the 3 above, but this does not imply the existence of $1/3\in\mathbb N$.

Thus, we'll talk about isomorphisms - which have two-sided inverses, monomorphisms and epimorphisms - which have cancellability properties, and split morphisms - which are mono's and epi's with correspodning one-sided inverses. We'll talk about what these concepts - defined in terms of equationsolving with arrows - apply to more familiar situations. And we'll talk about how the semantics of some of the more wellknown ideas in mathematics are captured by these notions.

For objects, the properties are interesting in what happens to homsets with the special object as source or target. An empty homset is pretty boring, and a large homset is pretty boring. The real power, we find, is when all homsets with the specific source or target are singleton sets. This allows us to formulate the idea of a 0 in categorical terms, as well as capturing the roles of the empty set and of elements of sets - all using only arrows.

### 2 Isomorphisms

An arrow $f:A\to B$ in a category C is an isomorphism if it has a twosided inverse g. In other words, we require the existence of a $g:B\to A$ such that fg = 1B and gf = 1A.

#### 2.1 In concrete categories

In a category of sets with structure with morphisms given by functions that respect the set structure, isomorphism are bijections respecting the structure. In the category of sets, the isomorphisms are bijections.

#### 2.2 Representative subcategories

Very many mathematical properties and invariants are interesting because they hold for objects regardless of how, exactly, the object is built. As an example, most set theoretical properties are concerned with how large the set is, but not what the elements really are.

If all we care about are our objects up to isomorphisms, and how they relate to each other - we might as well restrict ourselves to one object for each isomorphism class of objects.

Doing this, we get a representative subcategory: a subcategory such that every object of the supercategory is isomorphic to some object in the subcategory.

#### 2.3 Groupoids

A groupoid is a category where all morphisms are isomorphisms. The name originates in that a groupoid with one object is a bona fide group; so that groupoids are the closest equivalent, in one sense, of groups as categories.

### 3 Monomorphisms

We say that an arrow f is left cancellable if for any arrows g1,g2 we can show $fg_1 = fg_2 \Rightarrow g_1=g_2$. In other words, it is left cancellable, if we can remove it from the far left of any equation involving arrows.

We call a left cancellable arrow in a category a monomorphism.

#### 3.1 In Set

Left cancellability means that if, when we do first g1 and then f we get the same as when we do first g2 and then f, then we had equality already before we followed with f.

In other words, when we work with functions on sets, f doesn't introduce relations that weren't already there. Anything non-equal before we apply f remains non-equal in the image. This, translated to formulae gives us the well-known form for injectivity:

$x\neq y\Rightarrow f(x)\neq f(y)$ or moving out the negations,
$f(x)=f(y) \Rightarrow x=y$.

#### 3.2 Subobjects

Consider the subset $\{1,2\}\subset\{1,2,3\}$. This is the image of an accordingly chosen injective map from any 2-element set into {1,2,3}. Thus, if we want to translate the idea of a subset into categorical language, it is not enough talking about monomorphisms, though the fact that inclusion is an injection indicates that we are on the right track.

The trouble that remains is that we do not want to view {1,2} when it occurs as the image of {1,2} as a different subset from {5,6} mapping to {1,2}. So we need some way of figuring out how to catch these situations and parry for them.

We'll say that a morphism f factors through a morphism g if there is some morphism h such that f = gh.

We can also talk about a morphism $f:A\to C$ factoring through an object B by requiring the existence of morphisms $g:A\to B, h:B\to C$ that compose to f.

Now, we can form an equivalence relation on monomorphisms into an object A, by saying f˜g if f factors through g and g factors through f. The arrows implied by the factoring are inverse to each other, and the source objects of equivalent arrows are isomorphic.

Equipped with this equivalence relation, we define a subobject of an object A to be an equivalence class of monomorphisms.

### 4 Epimorphisms

Right cancellability, by analogy, is the implication

$g_1f = g_2f \Rightarrow g_1 = g_2$

The name, here comes from that we can remove the right cancellable f from the right of any equation it is involved in.

A right cancellable arrow in a category is an epimorphism.

#### 4.1 In Set

For epimorphims the interpretation in set functions is that whatever f does, it doesn't hide any part of the things g1 and g2 do. So applying f first doesn't influence the total available scope <mamth>g_1</math> and g2 have.

### 5 More on factoring

In Set, and in many other categories, any morphism can be expressed by a factorization of the form f = ip where i is a monomorphism and p is an epimorphism. For instance, in Set, we know that a function is surjective onto its image, which in turn is a subset of the domain, giving a factorization into an epimorphism - the projection onto the image - followed by a monomorphism - the inclusion of the image into the domain.

Note that in Set, every morphisms that is both a mono and an epi is immediately an isomorphism. We shall see in the homework that the converse does not necessarily hold.

### 6 Initial and Terminal objects

An object 0 is initial if for every other object C, there is a unique morphism $0\to C$. Dually, an object 1 is terminal if there is a unique morphism $C\to 1$.

First off, we note that the uniqueness above makes initial and terminal objects unique up to isomorphism whenever they exist: we shall perform the proof for one of the cases, the other is almost identical.

Proposition Initial (terminal) objects are unique up to isomorphism.

Proof: Suppose C and C' are both initial (terminal). Then there is a unique arrow $C\to C'$ and a unique arrow $C'\to C$. The compositions of these arrows are all endoarrows of one or the other. Since all arrows from (to) an initial (terminal) objects are unique, these compositions have to be the identity arrows. Hence the arrows we found between the two objects are isomorphisms. QED.

• In Sets, the empty set is initial, and any singleton set is terminal.
• In the category of Vector spaces, the single element vector space 0 is both initial and terminal.

### 7 Zero objects

This last example is worth taking up in higher detail. We call an object in a category a zero object if it is simultaneously initial and terminal.

#### 7.1 Pointless sets and generalized elements

Arrows to initial objects and from terminal objects are interesting too - and as opposed to the arrows from initial and to the terminals, there is no guarantee for these arrows to be uniquely determined. Let us start with arrows $A\to 0$ into initial objects.

In the category of sets, such an arrow only exists if A is already the empty set.

In the category of all monoids, with monoid homomorphisms, we have a zero object, so such an arrow is uniquely determined.

For arrows $1\to A$, however, the situation is significantly more interesting. Let us start with the situation in Set. 1 is some singleton set, hence a function from 1 picks out one element as its image. Thus, at least in Set, we get an isomorphism of sets A = Hom(1,A).

As with so much else here, we build up a general definition by analogy to what we see happening in the category of sets. Thus, we shall say that a global element, or a point, or a constant of an object A in a category with terminal objects is a morphism $x:1\to A$.

This allows us to talk about elements without requiring our objects to even be sets to begin with, and thus reduces everything to a matter of just morphisms. This approach is fruitful both in topology and in Haskell, and is sometimes called pointless.

The important point here is that we can replace function application f(x) by the already existing and studied function composition. If a constant x is just a morphism $x:1\to A$, then the value f(x) is just the composition $f\circ x:1\to A\to B$. Note, also, that since 1 is terminal, it has exactly one point.

In the idealized Haskell category, we have the same phenomenon for constants, but slightly disguised: a global constant is 0-ary function. Thus the type declaration

`x :: a`

can be understood as syntactic sugar for the type declaration

`x :: () -> a`

thus reducing everything to function types.

Similarly to the global elements, it may be useful to talk about variable elements, by which we mean non-specified arrows $f:T\to A$. Allowing T to range over all objects, and f to range over all morphisms into A, we are able to recover some of the element-centered styles of arguments we are used to. We say that f is parametried over T.

Using this, it turns out that f is a monomorphism if for any variable elements $x,y:T\to A$, if $x\neq y$ then $f\circ x\neq f\circ y$.

### 8 Internal and external hom

If $f:B\to C$, then f induces a set function $Hom(A,f):Hom(A,B)\to Hom(A,C)$ through $Hom(A,f)(g) = f\circ g$. Similarly, it induces a set function $Hom(f,A):Hom(C,A)\to Hom(C,B)$ through $Hom(f,A)(g) = g\circ f$.

Using this, we have an occasionally enlightening

Proposition An arrow $f:B\to C$ is

1. a monomorphism if and only if Hom(A,f) is injective for every object A.
2. an epimorphism if and only if Hom(f,A) is injective for every object A.
3. a split monomorphism if and only if Hom(f,A) is surjective for every object A.
4. a split epimorphism if and only if Hom(A,f) is surjective for every object A.
5. an isomorphism if and only if any one of the following equivalent conditions hold:
1. it is both a split epi and a mono.
2. it is both an epi and a split mono.
3. Hom(A,f) is bijective for every A.
4. Hom(f,A) is bijective for every A.

For any A,B in a category, the homset is a set of morphisms between the objects. For many categories, though, homsets may end up being objects of that category as well.

As an example, the set of all linear maps between two fixed vector spaces is itself a vector space.

Alternatively, the function type
a -> b
is an actual Haskell type, and captures the morphisms of the idealized Haskell category.

We shall return to this situation later, when we are better equipped to give a formal scaffolding to the idea of having elements in objects in a category act as morphisms. For now, we shall introduce the notations $[A\to B]$ or BA to denote the internal hom - where the morphisms between two objects live as an object of the category. This distinguishes BA from Hom(A,B).

To gain a better understanding of the choice of notation, it is worth noting that Failed to parse (unknown function\textsf): |Hom_{\textsf{Set}}(A,B)|=|B|^|A| .

### 9 Homework

Passing mark requires at least 6 of 11.

1. Suppose g,h are two-sided inverses to f. Prove that g = h.
2. (requires some familiarity with analysis) There is a category with object $\mathbb R$ (or even all smooth manifolds) and with morphisms smooth (infinitely differentiable) functions. Prove that being a bijection does not imply being an isomorphisms. Hint: What about $x\mapsto x^3?$.
3. (do this if you don't do 2) In the category of posets, with order-preserving maps as morphisms, show that not all bijective homomorphisms are isomorphisms.
4. Consider the partially ordered set P as a category. Prove: every arrow is both monic and epic. Is every arrow thus an isomorphism?
5. What are the terminal and initial objects in a poset? Give an example of a poset that has both, either and none. Give an example of a poset that has a zero object.
6. What are the terminal and initial objects in the category with objects graphs and morphisms graph homomorphisms?
7. Prove that if a category has one zero object, then all initial and all terminal objects are all isomorphic and all zero objects.
8. Prove that the composition of two monomorphisms is a monomorphism and that the composition of two epimorphisms is an epimorphism. If $g\circ f$ is monic, do any of g,f have to be monic? If the composition is epic, do any of the factors have to be epic?
9. Verify that the equivalence relation used in defining subobjects really is an equivalence relation. Further verify that this fixes the motivating problem.
10. Describe a representative subcategory each of:
• The category of vectorspaces over the reals.
• The category of finite sets.
• The category formed by the poset of the integers $\mathbb Z$ and the order relation $a\leq b$ if a | b.
11. * An arrow $f:A\to A$ in a category C is an idempotent if $f\circ f = f$. We say that f is a split idempotent if there is some $g:A\to B, h:B\to A$ such that $h\circ g=f$ and $g\circ h=1_B$. Show that in Set, f is idempotent if and only if its image equals its set of fixed points. Show that every idempotent in Set is split. Give an example of a category with a non-split idempotent.
{"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": 42, "codecogs_latex": 0, "wp_latex": 0, "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": 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": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8829639554023743, "perplexity_flag": "middle"}