당신이 만약 대수위상을 좀 안다면 2-morphism을 homotopy로 생각하는 관점에 발을 들일 수 있을 것임.


그렇다면 higher homotopy는 자연스럽게 n-morphism에 대응되고 일반적인 위상공간의 model로 point-set topology가 아니고 ∞-category를 생각해도 됨


더 궁금하면 Towards Higher Categories 검색 ㄱ