작은 범주: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) 편집 요약 없음 |
Osteologia (토론 | 기여) 편집 요약 없음 |
||
11번째 줄:
=== 국소적으로 작은 범주 ===
임의의 [[범주 (수학)|범주]] <math>\mathcal C</math>가 다음 조건을 만족시킨다면, '''<math>\mathcal U</math>-국소적으로 작은 범주'''(<math>\mathcal U</math>-局所的으로 작은範疇, {{llang|en|locally <math>\mathcal U</math>-small category}})라고 한다.
* 임의의 두 대상 <math>X,Y\in\operatorname{Ob}(\mathcal C)</math>에 대하여, <math>\hom_{\mathcal C}(X,Y)\in\mathcal U</math>이다.
| |||