pseudofunctor
pseudofunctor · pseudofunctors
A mapping between categories that is just like a functor except that f=f∘f and f=1 do…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.
Значение
значений: 1A 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.
Происхождение
From pseudo- + functor.From pseudo- + functor.
Wiktionary, CC BY-SA 4.0 · source
Формы
мн. число: pseudofunctors| Ед. число | pseudofunctor |
|---|---|
| Мн. число | pseudofunctors |
правильный