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:
“Man is an exception, whatever else he is. If he is not the image of God, then he is a disease of the dust. If it is not true that a divine being fell, then we can only say that one of the animals went entirely off its head.”
—Gilbert Keith Chesterton (1874–1936)