A subobject of an object $c \in \mathsf{C}$ is a monomorphism $c’ \rightarrowtail c$ with codomain $c$. Isomorphic subobjects, that is, subobjects $c’ \rightarrowtail c \leftarrowtail c’’$ with a commuting isomorphism $c’ \cong c’’$, are typically identified.