Upon occasion it happens that Functors are mentioned on this list. Does the concept of Functors trace it's roots back to category theory? Eric