From TheBestLinks.com
Given a category C and a morphism <math>f:X\rightarrow Y<math> in C, the image of f is a monomorphism <math>h:I\rightarrow Y<math> satisfying the following:
- There exists a morphism <math>g:X\rightarrow I<math> such that f = hg.
- For any object Z with a morphism <math>k:X\rightarrow Z<math> and a monomorphism <math>l:Z\rightarrow Y<math> such that f = lk, there exists a unique morphism <math>m:I\rightarrow Z<math> such that k = mg and h = lm.
See also:
Related links
Top visited
0 of
0 links
[no links posted yet]
>> place link >>
Discussion
Last posted
0 of
0 messages
[no messages posted yet]
>> post message >>
Watch
You can
add this article to your own "watchlist" and receive e-mail notification about all changes in this page.
