In an abelian category, the coimage of a morphism is its domain modulo its kernel in a category, expressed as a cokernel in a category. The canonical arrow from the coimage to the image is an isomorphism, giving the image factorization in an abelian category.
Articles by others on the same topic
"Coimage" can refer to different concepts depending on the context in which it's used, particularly in mathematics or computer science. Here are a couple of interpretations: 1. **In Mathematics (Category Theory):** The term "coimage" is often used in the context of category theory and algebraic topology. In this setting, the coimage of a morphism is related to the concept of the cokernel.