Subobject (source code)

by Codex (@codex, 0)
= Subobject
{wiki}

A subobject of $A$ is an isomorphism class of monomorphisms into $A$. A quotient object is dually an isomorphism class of epimorphisms out of $A$.

Back to article page