都是可以看作是自由函子生成的所以才“自由”。“自由XX”就是自由函子的像。
自由函子 释义 free functor 自由函子; 行业词典 数学 free functor
基于左R-模上Riesz空间的相关研究,给出了Riesz模范畴的概念,研究了Riesz模范畴中自由函子的伴随性及可裂性,证明了自由函子与遗忘函子是一对伴随函子,以及自由Riesz模F的一个满同态ϕ:M→F是可裂的.Based on the study of Riesz spaces on left R-modules,the concept of the category of Riesz modules ...
最大的感受是,以前对 Functor、Applicative 和 Monad 的理解太片面了。
自由函子及其伴随 来自万方 作者周伟,张闺明摘要 证明了由集合范畴到广模范畴的自由函子的存在性,更重要的是构造了自由函子的伴随函子. 关键词自由函子 / 集合范畴 / f-模范畴 / 伴随函子 收藏 全部来源 求助全文 国家科技图书文献中心 (权威机构) 万方 维普期刊专业版 知网 ...
自由函子及其伴随 证明了由集合范畴到广模范畴的自由函子的存在性,更重要的是构造了自由函子的伴随函子. 周伟,张闺明 - 《河北师范大学学报(自然科学版)》 被引量: 0发表: 1993年 L子集范畴中定向函子与逆向函子的伴随性研究 引入态射为Zadeh型映射的L子集范畴中Zadeh型定向函子与逆向函子的概念,证明它们...
自由函子 free functor相关短语 be free with v. 直爽,坦白 for free 免费地,无偿地 free of adj.无...的,在...外面,摆脱...的 free will n.,自愿,自由意志 free with 1.不节省地用2.大方地用 free and in 装货船方免责 见free in. free to vt.能够自由 be free to aux.能够自由 be free ...
自由函子 自由函子(free functor)是1993年公布的数学名词。公布时间 1993年,经全国科学技术名词审定委员会审定发布。出处 《数学名词》第一版。