challenge: What is a natural transformation between two functors?
  
  A. A single morphism between two objects in the same category
  B. A category with two objects and one morphism
  C. A family of morphisms that satisfies two requirements
  D. A functor between two categories
  Answer: 