쉼표 범주: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
→바깥 고리: 봇: 인용 틀 변수 이름 수정 |
봇: 인용 틀 변수 이름 수정 |
||
31번째 줄:
** 시작점과 끝점이 같은 변을 허용하지 않으려면, <math>D</math>를 <math>D(S)=(S\times S)\setminus\{(s,s)|s\in S\}</math>로 치환하면 된다.
* <math>\operatorname{CRing}</math>이 [[가환환]]의 범주라고 하자. 그렇다면 쌍대 조각 범주 <math>R\backslash\operatorname{CRing}</math>은 <math>R</math>에 대한 가환 [[대수 (환론)|대수]]의 범주 <math>R\text{-CAlg}</math>와 [[범주의 동치|동치]]이다.
* <math>\operatorname{forget}\colon\operatorname{Grp}\to\operatorname{Set}</math>가 군의 범주에서 집합의 범주로 가는 망각 함자라고 하고, <math>S^*\colon 1\to\operatorname{Set}</math>가 <math>1</math>의 유일한 대상을 집합 <math>S</math>로 대응시키는 함자라고 하자. 그렇다면 <math>S^*\downarrow\operatorname{forget}</math>의 대상은 <math>S</math>에서 군 <math>G</math>로 가는 함수 <math>S\to G</math>이며, <math>S^*\downarrow\operatorname{forget}</math>의 사상은 [[군 준동형]]과 일대일 대응된다. 이 경우, <math>S^*\downarrow\operatorname{forget}</math>의 [[시작 대상]]은 <math>S</math>로 생성되는 [[자유군]]이다.<ref>{{서적 인용|zbl=1243.18001|제목=Shape theory: categorical methods of approximation|성=Cordier|이름=Jean-Marc|공저자=Tim Porter|출판사=Dover|날짜=2008|isbn=978-0-486-46623-1|url=http://store.doverpublications.com/048646623x.html|
== 역사와 어원 ==
38번째 줄:
== 참고 문헌 ==
{{각주}}
*{{서적 인용 |last=Mac Lane |first=Saunders |저자고리=손더스 매클레인|제목=Categories for the working mathematician |publisher=Springer |날짜=1998 |판=2판 |series=Graduate Texts in Mathematics|issn=0072-5285|권= 5 |isbn=978-1-4419-3123-8 | zbl=0906.18001 | mr=1712872 |doi=10.1007/978-1-4757-4721-8|
== 바깥 고리 ==
| |||