Etymology

Today it means: A mapping between categories that is just like a functor except that f(x∘y)=f(x)∘f(y) and f(1)=1 do not hold as exact equalities but only up to coherent isomorphisms. Full definition →