presheaf, stalk, sheaf 에대해 얘기한 후의 연습문제인 2.2C (아래 이미지의 맨 아래) 를 보고있는데요
presheaf이 sheaf이 되기위한 두 axiom, identity and gluability axioms 들이
주어진 Union에서의 sheaf의 값이 어떤 limit이 됨을 얘기한다고 하는데...
여기서 union은 open cover set들의 union이니까 그냥 전체고
그러면 주어진 F( union U_i) 는 그냥 F(U)같은데 이게 어떤 limit이랑 관계가 있다는것인지 감이 잘 안옵니다.
카테고리 센스에서의 limit 알고있나요?
대수에서 direct limit과 inverse limit은 알고있는데 1장을 건너뛰고 보고있어서 말하신걸 정확히는 모르겠습니다.
https://en.wikipedia.org/wiki/Limit_(category_theory)
https://gall.dcinside.com/mgallery/board/view/?id=math&no=20585&_rk=EYz&page=1
위키 Limit (category theory) 에 있는 정의에 맞춰서 써봤어요