H.函子 H。函子(functor Ho)一种特殊的函子.指交换环范畴到自身的一个(共变)函子.对交换环R,Ho CR是KoCR的直和加项，因此在求R的K。群时起着重要的作用.对交换环R，其中Spec R为R的素理想集，带有扎里斯基拓扑，Z为整数集，带有离散拓扑(即Z的一切子集都是开集).
对左A模M,N，模同态Hom函子是模范畴间最重要的函子之一。HomA (M,N)是一个交换群，若M是一个左A右B双模。伴随性质 Hom函子是张量函子的右伴随。具体来说，对任何右R模A，Hom函子 右伴随于张量函子 ；对任何左R模B，Hom函子 右伴随于张量函子 。作为右伴随函子，Hom函子为左正合函子，保持投射...
包含函子 包含函子是范畴论中一种特殊的函子。简介 包含函子(inclusion functor)为包含映射的推广。定义 若S为范畴C的子范畴，则将S中所有对象与态射打到C中S本身为函子，称为包含函子。性质 包含函子为忠实函子。
听说学园艺学的何函子出国了,听说是欧洲的一个国家,哪位兄弟姐妹知道她去了哪个国家,在国外学的是什么?谢谢了 抢沙发 本贴沙发位置 会员特权抢先体验 立即开通 () 回复 1楼 2008-01-06 23:40 举报 | 竞价沙发:- + T豆 首次抢占本贴沙发,竞价T豆越多,被超越的难度越大! 我的T豆余额:0充值回复内容...
在范畴论中，函子（functor）是范畴间的一类映射，通俗地说，是范畴间的同态。简介 函子首先现身于代数拓扑学，其中拓扑空间的连续映射给出相应的代数对象（如基本群、同调群或上同调群）的代数同态。在当代数学中，函子被用来描述各种范畴间的关系。“函子”（英文：Functor）一词借自美国哲学家鲁道夫·卡尔纳普的...
常数函子 常数函子是范畴论中一种特殊函子。给定C与J为范畴，j∈Ob(J)，f∈Mor(J)，对角函子Δ:C→C，函子范畴C中常数函子Δc，定义为Δc(i)=c，Δc(f)=1。
双函子 双函子是范畴论中的一种函子。给定积范畴B×C与范畴D，则函子S:B×C→D称为双函子。
反变Hom函子是范畴论中的一种函子。简介 反变Hom函子(contravariant func-for Hom in category theory)亦称反变态射函子或第二表示函子，是范畴论中的重要函子之一，也是同调代数中最基本的函子之一。模范畴定义 对左R模B，可定义 为反变Hom函子；对右R模A，可定义 为反变Hom函子。定义 设C为有小态射...
对角函子是范畴论中的一种特殊函子。定义 设C与J为范畴。则对角函子Δ:C→C将C中对象c打到常数函子Δc，将C中态射f:c→c'打到自然变换Δf:Δc→Δc'，满足对任意i∈J，Δc(i)=c，Δf(i)=f。例子 给定范畴C，常用的对角函子为Δ:C→C×C，对C中对象c与态射f:c→c'有Δ(c)=，Δ(f)=...