https://123deta.com/document/q5m0325g-let-denote-identity-component-monoid-self-homotopy-equivalences.html