Science Fair Project Encyclopedia
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:
Last updated: 05-17-2005 00:23:11
10-26-2009 08:16:03
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details
The contents of this article is licensed from www.wikipedia.org under the GNU Free Documentation License. Click here to see the transparent copy and copyright details