Corollary. Isomorphisms are both monic and epic [monic-epic-isomorphisms]

If then is monic and epic.