pseudofunctor
名词 n.
英文释义
名词 n.
- 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.
词形变化
词源
From pseudo- + functor.
0 次浏览
数据来源: Wiktionary