Add a more thorough homomorphism hierarchy

[sraaphorst]

It would be nice if we could have:

• Monomorphism
• Epimorphism
• Endomorphism
• Automorphism
• Isomorphism

[sraaphorst]

Possibly not possible in the way that I imagined it.