Possible Duplicate:
Quotient objects, their universal property and the isomorphism theorems
In how general of a setting is the first isomorphism theorem true? Wikipedia states it in terms of universal algebra, but is there some category theoretic version of the theorem as well (in particular, is there a suitable notion of a quotient)?
