... the notions category and functor were not formulated or put in print until the idea of a natural transformation was also at hand.

Change background