Seems to me an OCaml 'functor' is a a glorified function from modules to modules.
The most readibly introduction to category theory, including category functors, known to me is :
http://wwwhome.cs.utwente.nl/~fokkinga/mmf92b.html
It's a really good start.