presheaf는 contravariant functor에 불과하고

[진사월(nnawakenaikedo)]

sheaf는 거기에 gluing을 잘 할 수 있게 조건을 추가한 것

restriction이 같으면 전체가 같다는 조건은 gluing result가 at most one way라는 뜻이고

restriction을 gluing할 수 있다는 조건은 gluing result가 at least one way라는 뜻

그러니까 sheaf에선 gluing 결과가 유일

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[진사월(nnawakenaikedo)]

그니까 local하게 어떤 것들이 성립하면 얘네를 예쁘게 잘 gluing해서 global한 성질로 고칠수 있는데 여기서 예쁘단건 글에 쓴대로 unique한 방법으로 gluing할수있다!!?? 그래서 실제로 그런? 예시가 어떤게 있을까.. 나 잘 몰라

[진사월(nnawakenaikedo)]

[진사월(nnawakenaikedo)]

와 셋 다 하나도 몰름