Functors must preserve identity arrows
Functors map objects but also arrows between them and therefore preserve structure
Functors must preserve composition