anafunctor
名词 n.
英文释义
名词 n.
- A generalized functor that does not employ the axiom of choice
词形变化
词源
From ana- + functor.
0 次浏览
数据来源: Wiktionary