위키백과

퀼런 완전 범주: 두 판 사이의 차이

입체적으로 역사 찾아보기
← 이전 편집다음 편집 →
내용 삭제됨 내용 추가됨
시각위키텍스트
14번째 줄:
* 임의의 두 대상 <math>A,B\in\mathcal E</math>의 직합에 등장하는 사상 <math>A\to A\oplus B\to B</math>는 항상 <math>\mathfrak E</math>에 속한다.
* 만약 <math>(f,g)\in\mathfrak E</math>이라면, <math>g=\ker f</math>이며 <math>f=\operatorname{coker}g</math>이다.
* 임의의 <Math>(X\overset fYf\to Y\overset gZg\to Z)\in\mathfrak E</math> 및 임의의 사상 <math>W\overset h\to Z</math>에 대하여, [[당김 (범주론)|당김]] <Math>Y\times_ZW</math>가 존재하며, 사영 사상 <math>Y\times_ZW\to W</math> 역시 [[핵 (수학)|핵]]을 가지며, <math>(\ker Y\times_ZW\to W,Y\times_ZW\to W)\in\mathfrak E</math>이다. 마찬가지로 그 쌍대 공리 역시 성립한다.
 
(퀼런의 원래 정의는 이에 한 공리를 더 포함하였으나, 이후 이 공리는 나머지 공리들로부터 증명될 수 있음이 밝혀졌다.<ref>{{cite journal
원본 주소 "https://ko.wikipedia.org/wiki/퀼런_완전_범주"