BzK galaxy

A pseudofunctor f is like a functor except $f(x\circ y)=f(x)\circ f(y)$ and $f(1)=1$ do not hold on the nose but only up to coherent isomorphisms.

See also

• lax functor
• prestack (an example of pseudofunctor)