and let (g3,h3):D→(Y,Z,⋄) and (g4,h4):(Y,Z,⋄)→D compose to something homotopic to the identity in both orders.
Pretty sure the ⋄s should be ∙s here (though they’re notation for the same function anyway).
Fixed, Thanks.
Pretty sure the ⋄s should be ∙s here (though they’re notation for the same function anyway).
Fixed, Thanks.