대단해 ...
모닝 대수기하 공부하면서 느낌만 잡은 감동 공유 Sheaf라는 것은 global한 대상만 다루기로 우리가 선언한 대상을 말한다. 그런데 어떤 집합 위에 위상이 여러 개가 주어질 수 있는 것처럼 위상공간 X가 주어졌을 때도 sheaf는 너무나도 명백하게도 다양하게 주어질 수 있다. 그러면 위상공간 X를 고정하고, 그 위의 sheaves B, C를 생각하자. 우리가 수학을 공부해오며 맞으면서 배웠던 질문 습관에 의하면 언제 sheaf B와 sheaf C가 isomorphic할까? 라는 질문을 던져야 한다. 이걸 divide-and-conquer해보면 1. 언제 두 sheaves 사이의 morphism은 injective인가? 2. 언제 두 sheaves 사이의 morphism은 surjective인가? 라는..