noun ·Rare ·Advanced level

Definitions

Noun

1. 1
   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.

Etymology

From pseudo- + functor.

Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.