Coimage
id:
coimage-269-3753526
title:
Coimage
text:
In algebra, the coimage of a homomorphism is the quotient of the domain by the kernel. The coimage is canonically isomorphic to the image by the first isomorphism theorem, when that theorem applies. More generally, in category theory, the coimage of a morphism is the dual notion of the image of a morphism. If f : X → Y , then a coimage of f is an epimorphism c : X → C such that there is a map f c : C → Y with f = f c ∘ c ,
for any epimorphism z : X → Z for which there is a map f z : Z → Y with f
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Coimage
date created:
date modified:
2024-03-05T07:37:18Z
main entity:
{"identifier":"Q9388290","url":"https://www.wikidata.org/entity/Q9388290"}
image:
fields total:
13
integrity:
13