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:
“I think that cars today are almost the exact equivalent of the great Gothic cathedrals: I mean the supreme creation of an era, conceived with passion by unknown artists, and consumed in image if not in usage by a whole population which appropriates them as a purely magical object.”
—Roland Barthes (1915–1980)