Coimage
Concept in category theory (in mathematics)
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 
- there is a map
with
,
- for any epimorphism
for which there is a map
with
, there is a unique map
such that both
and
Sources and credits
This article is adapted from the Wikipedia article “Coimage”, written by its contributors and licensed under CC BY-SA 4.0. Fathomly has changed the layout, removed citation markers, navigation and maintenance notices, and adjusted punctuation. This adapted version is shared under the same license. For references, see the original article.
Fathomly is not affiliated with or endorsed by the Wikimedia Foundation. Spotted a problem? Tell us.