态射的像 态射的像（image of a morphism）是1993年公布的数学名词，出自《数学名词》第一版。公布时间 1993年经全国科学技术名词审定委员会审定发布。出处 《数学名词》第一版。
以下我们证明qcqs态射的高阶直像保持拟凝聚层,特别地,qcqs态射的直像保持拟凝聚: 定理3 f:X\to Y 为概形间的qcqs态射, \mathscr{F} 为拟凝聚 \mathscr{O}_X 模层.则对于 i\ge 0, R^if_*\mathscr{F} 为拟凝聚 \mathscr{O}_Y 模层.特别地,当 Y 仿射,我们有:...
态射的余像 态射的余像（coimage of a morphism）是1993年公布的数学名词。公布时间 1993年，经全国科学技术名词审定委员会审定发布。出处 《数学名词》第一版
1和2 都不会是 0.反例， 取R为整数环Z。取f:=id:Z/p→Z/p。在 1 里取N:=Q/Z, 我们有Q...
态射代数的一般原理。 我好像明白了态射代数的基本原理了,它是代数结构赋值映射的推广。比如群态射,就是对子群结构的赋值,值域为群范畴,同时这种赋值满足同态基本定理。 由此而观,可以将所有的代数同态视为层的特例,也就是幂集代数同态的特例。 幂集代数同态的关键特征在于值域的任意性,代数同态的值域是单个代数结构...
函子态射 | 米田引理是真的抽象,想要搞清楚首先需要知道函子态射的结构是什么样的。这个问题本来我没打算考虑,因为函子的结构都已经相当复杂了,函子代数姑且给出了一种刻画,函子是保持交换图的两层级对应结构,但是函子态射需要把函子本身看作一个变量,也就是以结构为变量的结构,这就是一般函子态射的含义,听起...
对[分别(产生对象类,范畴论对对象的分别类研究比较弱,大抵是归于了集合论研究--集合范畴,超越集合思想部分并没有深入,对变换则有深入阐释)与变换(态射、函子、自然变换)]的“分别见”(意义在佛教语境)形成了范畴,在这个意义上,“存在皆信息”则可具有实在的操作意义了。
态射像(image of a morphism)群论中同态像概念在阿贝尔范畴中的推广.由阿贝尔范畴的定义可知:加性范畴留为阿贝尔范畴的充分必要条件是对任一态射aEHom(A,B)，都有如下的可换图，其中，表满态射，表单态射，对阿贝尔范畴留，这里的(C,帕称为a的像，记为Im a = (C,帕，有时也称甲为a的像，记为Ima=r}....