코이미지

대수학에서는 동형성의 코이미지를 말한다.

${\displaystyle f:A\오른쪽 화살표 B}$

인수를 나타내다

${\displaystyle {\text{coim}f=A/\ker(f)}$

낟알에 의한 도메인의.그 정리가 적용될 때, 첫 번째 이소모르프 정리에 의해 동상은 시론적으로 이소모르프화된다.

보다 일반적으로 카테고리 이론에서 형태론의 코이미지는 형태론의 이미지의 이중 개념이다.f${\displaystyle }$: ${\displaystyle X}$→ ${\displaystyle Y}$ ${\displaystyle f:X\rightarrow Y$인 경우, $f{\displaystyle }$ ${\displaystyle f}($있는 경우)의 coimage는 다음과 같은$$ 인식형 $c{\displaystyle }$: ${\displaystyle X}$→ ${\displaystyle C}$ ${\displaystyc:X\rightarrow$ C$}$이다.

1. 지도 $f{\displaystyle {}_{}}$: ${\displaystyle C}$→ ${\displaystyle Y}$ ${\displaystyle f_{c}$가 있다.$F{\displaystyle }$= ${\displaystyle {}_{}}$ = f c${\displaystyle {}_{}}$= ${\displaystyle p}$ ${\displaystyle c_{}}$ ${\displaystyle f=f_{c}\circ$ c$}$이(가) 있는$$ $C\오른쪽$ 화살표 Y$\},$
2. $지도{\displaystyle }$ ${\displaystyle f_{}}$ z${\displaystyle {}_{}}$:${\displaystyle }$${\displaystyle Z}$ →${\displaystyle }$${\displaystyle Y}$ ${\displaystyle$ z$:X\오른쪽$ 화살표 Z$}$에 대해 $지도$ f z : Z${\displaystyle }$→ Y ${\displaystyle f_{z}:$$Z\rightarrow Y}$ with ${\displaystyle f=f_{z}\circ z}$, there is a unique map ${\displaystyle h:Z\rightarrow C}$ such that both ${\displaystyle c=h\circ z}$ and ${\displaystyle f_{z}=f_{c}\circ h}$

참고 항목

• 지수 객체
• 코커넬

참조

• Mitchell, Barry (1965). Theory of categories. Pure and applied mathematics. Vol. 17. Academic Press. ISBN 978-0-124-99250-4. MR 0202787.