As you may have noticed, above you will find words for "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.". Hover the mouse over the word you'd like to know more about to view its definition. Click to find a better fitting word. Finally, thanks to ChatGPT, the overall results have been greatly improved.