Synonyms
Antonyms
Related Words
Use the Word in Context
Related-word data is supplemented by the Datamuse API. Datamuse results are suggestions, not automatic replacements.
(mathematics) 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.
Related-word data is supplemented by the Datamuse API. Datamuse results are suggestions, not automatic replacements.