@Christopher

Wait if categories are objects shouldn't functors be morphisms and not natural transformation?
Now I am really confused...