유입입니다 질문이 있어요

[익명(tough6876)]

이 갤에서 추천받아서 Cisinski 보고 있는데 정말 너무 어려워서 미칠 것 같아요

여기에 나오는 induce functor가 equivalence인 것이 이해가 안돼요 이게 증명도 안하고 넘겨버리는데 저 equivalence가 당연한건가요? 

[익명(spinoza1632)]

생긴게 카시와라 lemma1.4.12같은데 맞나..? 처음 봤을때도 엄청 자명한 map같진 않았음

[익명(tough6876)]

우와 감사해요

[익명(spinoza1632)]

[익명(spinoza1632)]

저도 곧 cisinski 볼 예정인데 나중에 리뷰좀요ㅋㅋ

[익명(tough6876)]

이거 다 읽을려면 최소 3개월은 걸릴 것 같아요…

[아핀스킴(gasoline4886)]

kerodon도 읽으셈ㄱㄱ

[익명(tough6876)]

이거 보고 dag1, infinity topoi보고 higher algebra 정독 할 생각이에요 굳이 category를 2000페이지나 읽을 필요가 있나 싶어서

[아핀스킴(gasoline4886)]

@ㅇㅇ 그걸 다 읽을 필요는 없음 참고 좀 해가면서 공부하면 좋을듯