> In contrast in OCaml functors are module functions. Do modules form categories?

Wrong kind of functor, I believe.

Unfortunately, functor actually refers to a whole heap of different terms in various mathematical fields.

Ocaml's functor seems to come from Quine's predicate functor logic, or a related field like combinatory logic.