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:
“Some days your hat’s off to the full-time mothers for being able to endure the relentless routine and incessant policing seven days a week instead of two. But on other days, merely the image of this woman crafting a brontosaurus out of sugar paste and sheet cake for her two-year-old’s birthday drives a stake through your heart.”
—Melinda M. Marshall (20th century)