pseudofunctor

Meaning

Noun

• A mapping between categories that is just like a functor except that $f(x\; \backslash circ\; y)\; =\; f(x)\; \backslash circ\; f(y)$ and $f(1)\; =\; 1$ do not hold as exact equalities but only up to coherent isomorphisms.

Origin

• pseudo- + functor