(+)분류 : 가져온 문서/오메가
Grothendieck Universe
다음 성질을 만족하는 집합 U를 말한다.
1. 는 추이적이다. 즉, , 이면 이다.
2. 이면 이다.
3. 이면 이다. 이 때 는 의 멱집합이다.
4. 이면 이다.
집합론에서 특정한 '크기'를 갖는 집합을 정의하기 위해 도입된 개념으로, 이는 주로 범주론, 특히 대수기하학 분야에서 작은 범주(small category)와 큰 범주(large category)를 구분하고, 집합론적인 토대를 제공하는 데 중요한 역할을 한다.
이 문서의 내용 중 전체 또는 일부는 오메가에서 가져왔으며 CC BY-NC-SA 3.0에 따라 이용할 수 있습니다.