Image (category Theory)
Given a category C and a morphism in C, the image of f is a monomorphism satisfying the following universal property:
- There exists a morphism such that f = hg.
- For any object Z with a morphism and a monomorphism such that f = lk, there exists a unique morphism such that k = mg and h = lm.
The image of f is often denoted by im f or Im(f).
One can show that a morphism f is monic if and only if f = im f.
Read more about Image (category Theory): Examples
Famous quotes containing the word image:
“The colicky baby who becomes calm, the quiet infant who throws temper tantrums at two, the wild child at four who becomes serious and studious at six all seem to surprise their parents. It is difficult to let go of one’s image of a child, say goodbye to the child a parent knows, and get accustomed to this slightly new child inhabiting the known child’s body.”
—Ellen Galinsky (20th century)