Let Fun denote the category of functors and natural transformations. Does composition of functors together with the Godement product of natural transformations amount to some sort of canonical structure on Fun?
Fun naturally has products inherited from Cat, and composition isn't a tensor product that I can see since trivially not all functors can be composed. Is it some other sort of named, more local structure?
Any assistance is appreciated.