2016년 7월 30일 (토) 08:50 판 편집 Osteologia (토론 \| 기여) 점검 면제자, 장기인증된 사용자 39,111 편집 잔글편집 요약 없음 ← 이전 편집		2016년 12월 11일 (일) 00:10 판 편집 편집 취소 Properideal (토론 \| 기여) 148 편집 잔글 →‎정의 다음 편집 →
8번째 줄: * <math>F\downarrow G</math>의 대상은 다음과 같은 [[튜플]] <math>(A,B,\phi)</math>이다. <math>A\in\mathcal A</math>, <math>B\in\mathcal B</math>는 각각 <math>\mathcal A</math> 또는 <math>\mathcal B</math>의 대상이다. <math>f\phi\in\hom_{\mathcal C}(F(A),FG(B))</math>는 <math>\mathcal C</math> 속의 [[사상 (수학)\|사상]]이다. * <math>F\downarrow G</math>의 사상 <math>(f,g)\in\hom_{F\downarrow G}((A,B,\phi),(A',B',\phi'))</math>은 다음과 같은 [[순서쌍]]이다. ** <math>f\in\hom_{\mathcal A}(A,A')</math>이며 <math>g\in\hom_{\mathcal B}(B,B')</math>이며, 또한 <math>\phi'\circ F(f)=~~\phi\circ~~ G(g)\circ\phi\in\hom_{\mathcal C}(F(A),G(B'))</math>이다. * <math>F\downarrow G</math>의 사상의 합성은 <math>(f,g)\circ(f',g')=(f\circ f',g\circ g')</math>이다. * <math>F\downarrow G</math>의 항등 사상은 <math>\operatorname{id}_{(A,B,\phi)}=(\operatorname{id}_A,\operatorname{id}_B)</math>이다.

쉼표 범주: 두 판 사이의 차이