Bimorphism

Definition

A bimorphism is a morphism or arrow in a category $\mathscr{C}$Template:RITCTHS:

• $\xymatrix{ A \ar[r]^f & B}$

That is

• both monic and epic

Warning:A bimorphism need not be an isomorphism, when all bimorphisms in $\mathscr{C}$ are isomorphisms however, we say that $\mathscr{C}$ is balanced

$$\sum^\infty_{n=1}$$

---

TODO: Finish page off

---