Link to Dbpedia

What is Coimage?

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 , then a coimage of (if it exists) is an epimorphism such that 1. * there is a map with , 2. * for any epimorphism for which there is a map with , there is a unique map such that both and

Technology Types

abstract algebracategory theoryisomorphism theorempropositionstatementtheoremtheory


Coimagem (pt)余像 (ja)余象 (zh)

Tech Info

Source: [object Object]
 — Date merged: 11/6/2021, 1:32:47 PM
 — Date scraped: 5/20/2021, 6:07:17 PM