범주 (수학): 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) 잔글편집 요약 없음 |
잔글 봇: 틀 이름 및 스타일 정리 |
||
16번째 줄:
범주 <math>\mathcal C</math>에 대하여, 다음을 정의한다.
* 만약 <math>\operatorname{ob}(\mathcal C)</math>와 <math>\hom(\mathcal C)</math>가 둘 다 [[집합]]인 경우(즉, [[고유 모임]]이 아닌 경우), <math>\mathcal C</math>를 '''작은 범주'''({{llang|en|small category}})라고 한다.
* 만약 임의의 <math>X,Y\in \operatorname{ob}(\mathcal C)</math>에 대하여 <math>\hom(X,Y)</math>가 [[집합]]인 경우(즉, [[고유 모임]]이 아닌 경우), <math>\mathcal C</math>를 '''국소적으로 작은 범주'''({{llang|en|locally small category}})라고 하며, 사상 모임을 '''사상 집합'''(寫像集合, {{llang|en|hom-set}})이라고 한다.
작은 범주가 아닌 범주를 '''큰 범주'''({{llang|en|large category}})라고 한다. [[집합]]과 [[함수]]의 범주를 비롯해, 수학에서 중요하게 쓰이는 대부분의 범주는 국소적으로 작은 범주이다.
84번째 줄:
== 참고 문헌 ==
*{{
|first=Steve |last=Awodey
|title=Category Theory
| |||