pseudofunctor
nounEtymology From pseudo- + functor.
1
Mathematics, Sciences 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.
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.