category theory 를 사용하는 topos theory

집합론마저 하위 개념으로 포함시켜버리는 위엄(즉 엄청난 일반성)을 보여준다던데 아직 카테고리를 거의 몰라서 글을 읽어봐도 모르겠음

최근 수십년간 집합론에 환멸을 느낀 대수학 연구자들이 수학의 기초를 카테고리 쪽으로 다시 세우려는 움직임이 있는듯. 그로센딕이 그 선구자...