Notes:Homomorphism

Claims to investigate

1. Homomorphisms are morphisms in any category whose objects are sets (perhaps with additional structure) - this seems to be the case. I think these are called "concrete categories"
2. Monomorphisms (for example) are just monic morphisms, which for "concrete" categories are injective (and surjective for epimorphism - derived from epic)

Terminology

1. Monomorphism - see monic
2. Epimorphism - see epic
3. Automorphism
4. Isomorphism
5. Endomorphism

What else?