Well, they're related at that level. Many, many things are category theoretic functors, though. It's a very general idea of a structure-preserving map between s

Well, they're related at that level. Many, many things are category theoretic functors, though. It's a very general idea of a structure-preserving map between structures.