While I  was learning about functor I found that it is defined in the category theory. The category theory is a modern mathematic field of...