한 걸음 나아가기도 힘들지만 체화하는 재미가 또 있음Lang 연습문제 풀면서 오늘 처음 local ring이랑 localization of ring, spectrum of ring을 봤는데 생각보다 간단해서 그런가 정의가
나중에 derived category 할 때 또 나옴
텐서 처음 봤을때 그랫는데