여핵: 두 판 사이의 차이

[[범주론]]에서, '''여핵'''은 [[핵 (수학)|핵]]에 대하여 쌍대 개념이며, 선형대수학에서의 여핵을 일반화한 개념이다. [[영사상]]({{lang|en|zero morphism}})이 존재하는 [[범주 (수학)|범주]]를 생각하자. [[사상 (범주론)|사상]] <math>f\colon X\to Y</math>의 여핵은 다음과 같은 [[그림 (범주론)|그림]]을 가환시키는 [[극한 (범주론)|쌍대극한]]({{lang|en|colimit}}) <math>(Q,q\colon Y\to Q)</math>이다.