subdivision operator랑 identity의 호모토피인 T


T를 저렇게 정의하면 물론 호모토피야 되겠지만


저런 T가 대체 어디서 나온거여


geometric motivation이라고 써놓은거도 별로 납득이 안되고