위키백과

반사 부분 범주: 두 판 사이의 차이

입체적으로 역사 찾아보기
← 이전 편집다음 편집 →
내용 삭제됨 내용 추가됨
시각위키텍스트
편집 요약 없음
편집 요약 없음
7번째 줄:
:<math>R\colon\mathcal B\to\mathcal A</math>
:<math>R\dashv I</math>
를 갖는다면, <math>\mathcal A</math>를 '''반사 부분 범주'''라고 하며, <math>R</math>를 '''반사 함자'''(反射函子, {{llang|en|reflector}})라고 한다.
 
== 예 ==
19번째 줄:
| [[유사환]]의 범주 <math>\operatorname{Rng}</math> || 환의 범주 <math>\operatorname{Ring}</math> || 곱셈 단위원의 추가
|-
| [[체 (수학)|체]] <math>K</math>에 대하여, <math>K</math> 위의 결합 대수({{llang|en|associative algebra}})들의의 범주 <math>K\text{-Assoc}</math> || 가환 결합 대수들의대수의 범주 || 가환화
|-
| [[체 (수학)|체]] <math>K</math>에 대하여, <math>K</math> 위의 결합 대수({{llang|en|associative algebra}})들의대수의 범주 <math>K\text{-Assoc}</math> || 반가환 결합 대수들의대수의 범주 || 반가환화
|-
| [[정역]]들과과 [[단사 함수|단사]] [[환 준동형사상준동형 사상]]들의의 범주 || [[체 (수학)|체]]의 범주 <math>\operatorname{Field}</math> || [[분수체]] <math>R\mapsto\operatorname{Frac}R</math>
|-
| [[위상 공간의공간 (수학)|위상 공간]]의 범주 <math>\operatorname{Top}</math> || [[콜모고로프 공간]]의 범주 <math>\operatorname{Kolm}</math> || [[콜모고로프 몫공간]]
|-
| [[티호노프 공간]]들의의 범주 || 콤팩트 [[하우스도르프 공간]]들의 범주 || [[스톤-체흐 콤팩트화]]
|-
| [[노름 공간]]과 [[유계 작용소]]들의의 범주 || [[바나흐 공간]]과 유계 작용소들의 범주 || 완비화
|}
 
원본 주소 "https://ko.wikipedia.org/wiki/반사_부분_범주"