[1-5] mentioned coproduct in final question
[1-7] first exercise ok, no diagram
[1-7] every equalizer is monic
[1-7] only equalizers in poset are id
[1-7] cleaning
[1-7] epic equalizer is isomorphism. Thanks Ulrik.