고전적 ZFC로는 category theory가 절대 유도될수 없음. NBG를 쓴다해도 category theory가 자연스럽게 유도될수가 없음.

Alexander grothendieck도 인지하고 proper class와 set의 경계보다 set쪽에 가까운 경계를 만들어서 small set/large set을 구분해서 ZFC가 category theory를 바르게 모델링할수있는 아이디어를 냈는데(inaccessible cardinal axiom을 사용. 정확히는 동치인 grothendieck universe를 사용), 이거 인지하고 category theory말하는 사람 몇이나 있을까

몇몇 물어보면 카테고리는 잘 말하는데 집합론을 잘 모르는 사람들이 있더라구. 신기.

페르마마지막 정리도 카테고리언어로 풀어내서 ZFC 상에서 유도 안되는지에 대해 외국포럼에 질문도 몇개 있었는데, 이게 존나 고수가되면 카테고리언어를 쓰면서도 실질적으로 카테고리를 피해갈수 있는 방법이 보인다더라 ㅇㅇ