데카르트 닫힌 범주: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
Shirobot (토론 | 기여)
잔글 →‎참고 문헌: 白:사:Ysjbserver요청으로 {{주석}}을 {{각주}}로 바꿈 total:18220, replaced: {{주석 → {{각주 using AWB
잔글편집 요약 없음
20번째 줄:
| <math>\operatorname{Set}</math> || [[집합]] || [[함수]] || [[곱집합]] <math>X\times Y</math> || 함수의 집합 <math>Y^X=\hom(X,Y)</math>
|-
| <math>\operatorname{FinSet}</math> || [[유한집합유한 집합]] || 유한집합유한 집합 사이의 함수 || [[곱집합]] || 함수의 집합 <math>Y^X=\hom(X,Y)</math>
|-
| <math>\operatorname{Set}^G</math> (<math>G</math>는 하나의 대상을 갖는 범주로 여긴 [[군 (수학)|군]]) || <math>G</math>의 [[군의 작용|작용]]을 갖는 집합 || <math>G</math>의 작용과 호환되는 함수 || (자연스러운 곱 작용을 갖춘) 곱집합 <math>X\times Y</math> || <math>G</math>의 작용과 호환되는 함수의 집합 <math>Y^X=\hom(X,Y)</math>. (<math>f\colon X\to Y</math>에 대하여, <math>(g\cdot f)(x)=g\cdot(f(g^{-1}\cdot x)</math>)