Tag Archives: Grothendieck Universe

범주 이론의 세 가지 접근 방법

'군의 범주'는 대상이 모든 군이고 사상이 모든 군준동형사상인 범주이다. 그런데 모든 군의 모임은 집합이 아닌 고유클래스이다. 심지어는 단원군들의 모임조차 집합이 아닌 고유클래스이다. [단원군은 원소가 하나인 군을 뜻한다. 단원군을 자명한 군이라고 부르기도 한다.] 즉 범주 이론에서 다루는 모임은 고유클래스인 경우가 많으므로 범주 이론을 다룰 때에는 조심스러운 접근이 필요하다. 고유 클래스로 이루어진 범주의 대표적인 예는 다음과 같은 것들이 있다. \(\mathbb{Set}\)은… Read More »