#category theory #functor #category mapping #structure preserving #homomorphism