minor typo:
and take to be the set of all such that
should have
Also I think later in that proof some of the 's (like in ) should be 's instead.
Fixed, Thanks.
I think the 's are correct. Any morphism in which either component is the identity must be homotopic to the identity, since homotopic is symmetric. In this proof, checking the 's is easier.