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:
“Not for nothing does it say in the Commandments ‘Thou shalt not make unto thee any image’ ... Every image is a sin.... When you love someone you leave every possibility open to them, and in spite of all the memories of the past you are ready to be surprised, again and again surprised, at how different they are, how various, not a finished image.”
—Max Frisch (1911–1991)