Image (category theory)

Given a category C and a morphism in C, the image of f is a monomorphism satisfying the following:

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.

See also:

NodeWorks boosts web surfing!

Page Returned in 0.179 seconds - HTML Compressed 70.4%

This article is from Wikipedia. All text is available
under the terms of the GNU Free Documentation License.