How is a quotient defined in an abelian category?

1k Views Asked by At

In CWM Saunder Maclane, exercises $6$ page $202$ states:

For sub-object $u \leq v$ of an object $a$ in an abelian category, define a "quotient" object $v/$u.

What is the exact definition of $v/u$ in this situation?

1

There are 1 best solutions below

3
On

$v/u$ is the cokernel of the monomorphism $u \to v$ (which exists because of $u \leq v$).