英和和英

語源

From pseudo- +‎ functor.

発音

名詞

pseudofunctor (plural pseudofunctors)

1. (mathematics) A mapping between categories that is just like a functor except that ${\\displaystyle f(x\\circ y)=f(x)\\circ f(y)}$ and ${\\displaystyle f(1)=1}$ do not hold as exact equalities but only up to coherent isomorphisms.