This post is on pages 29 through 33 of Awodey. It took me a while to do this, because I was basically on holiday for the past week.
The definition of a mono and an epi seems at first glance to be basically the same thing as “injection” and “surjection”. A mono is such that for all , if then . Indeed, if we take this in the category of sets, and let (“picking out an element”), we precisely have the definition of “injection”. An epi is such that for all , if then . Again, in the category of sets, let ; then… ah. and always, because there’s only one function to the one-point set from a given set. I may have to rethink the “surjection” bit.
Then there’s Proposition 2.2, which I’m happy I’ve just basically proved anyway, so I skim it.
Example 2.3: “monos are often injective homomorphisms”. I glance through the example as preparation for going through it with pencil and paper, and see “this follows from the presence of objects like the free monoid ”, which is extremely interesting. Now I’ll go back through the example properly.
Suppose is monic. For any two distinct ways of selecting an element of the monoid’s underlying set, we can lift those selections into mappings on the free monoid ; they are distinct by the UMP. Applying then takes the mappings into , maintaining distinctness by monicity; then the UMP lets us drag the mappings back into the sets, making selections from . The converse is quite clear.
So it is clear where we needed the free monoid and its UMP: it was to give us a way to pass from talking about monoids to talking about sets, and back.
Example 2.4: every arrow in a poset category is both monic and epic. An arrow is monic iff for all , . That is, to abuse notation horribly, is monic iff . Ah, it’s clear why all arrows are monic: it’s because there is at most one arrow between , so two arrows with the same codomain and domain must be the same. The same reasoning works for “the arrows are epic”.
“Dually to the foregoing, the epis in the category of sets are the surjective functions”. This is the bit from earlier I had to rethink. OK, let’s take an epi in the category of sets. Let , for some set . (Hopefully it’ll become clear what is to be.) Then implies ; we want to show that hits every element of , so suppose it didn’t hit . Then when we take the compositions , we see that never are asked about , so in fact we are free to choose to differ. That means we just need to pick to be a set with more than one element. OK, that’s much easier, although it’s not quite clear to me how this is “dually”.
Then the example of the inclusion map of the monoid into the monoid . We’re going to prove it’s epic, so I’ll try that before reading the proof. Let for some monoid ; we want to show that . Indeed, suppose , but : that is, there is some such that . Since , we must have that does not hit : that is, . But and so ; whence . That is, differ in the image of the unit. That is a contradiction because a homomorphism of monoids has a defined place to send the unit.
Looking back over the proof in the book, it’s basically the same. Awodey specialises to first.
Proposition 2.6: every iso is monic and epic. I can’t help but see the diagram when I read this, but I’ll try and ignore it so I can prove it myself. Recall that an iso is an arrow such that there is an “inverse arrow”. Let be an iso, and such that . Then we may post-compose by ’s inverse - ah, it’s clear now that this will work both forwards and backwards. This is exactly analogous to saying “we may left- or right-cancel in a group”, and now I come to think of it, “epis are about right-cancelling” is something I just skipped over in the book.
I’m happy with “every mono-epi is iso in the category of sets”, since we’ve already proved that the injections are precisely the monos, and the epis are precisely the surjections.
Now, the definition of a split mono/epi. That seems fine - it’s a weaker form of mono/epi. “Functors preserve identities” does indeed mean that they preserve split epis and split monos, clearly, because a split epi comes in a pair with a split mono.
The forgetful functor Mon to Set does not preserve the epi : we want to show that the inclusion of (as sets) is not surjective. Oh, that’s trivially obvious.
In Sets, every mono splits except the empty ones: yes, we already have a theorem that injections have left inverses. “Every epi splits” is the categorical axiom of choice: we already have a theorem that “surjections have right inverses” is equivalent to AC, so I’m happy with this bit.
Now the definition of a projective object. It’s basically saying “arrows from this object may be pulled back through epis”. A projective object “has a more free structure”? I don’t really understand what that’s saying, so I’ll just accept the words and move on.
All sets are projective because of the axiom of choice? Fix set ; we want to show that for any function and any surjection , there is with . We have (by Choice) that splits: there is a right inverse such that . Define and we’re done.
Any retract of a projective object is itself projective: I absolutely have to draw a diagram here. After a bit of confusion over left-composition happening as you go further to the right along the arrows, I spit out an answer.
This section was more definitional than idea-heavy, so I think I’ve got my head around it for now. I do still need to practise my fluency with converting compositions of arrows on the diagrams into composition of arrows as algebraically notated - I still have to keep careful track of domain and codomain to make sure I don’t get confused.