그니까 결국 로컬한 정보랑 글로벌한 정보가 따로 놀지 않도록

[진사월(nnawakenaikedo)]

조건을 준게 sheaf인거잖아?

로컬한 정보들로 글로벌한 정보를 구성할 수 있도록

이거에 대한 직관적인(?) 예시가 아마 constant function들의 presheaf인거같음 얘는 sheaf가 아니니까

조금 이해한거같기도