구체적 범주: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) 잔글편집 요약 없음 |
Osteologia (토론 | 기여) |
||
4번째 줄:
'''구체적 범주''' <math>(\mathcal C,F)</math>는 다음과 같은 데이터로 구성된 순서쌍이다.
* <math>\mathcal C</math>는 [[범주 (수학)|범주]]이다.
* <math>F\colon\mathcal C\to\operatorname{Set}</math>는 [[집합]]과 [[함수]]의 범주 <math>\operatorname{Set}</math>로 가는 [[충실한 함자]]이다. 이 함자를 '''망각 함자'''({{llang|en|forgetful functor}})라고 한다.
== 예 ==
| |||