始对象是终对象的对偶概念. C 的始对象定义为 C^op 的终对象. (* Structure/Initial.v *) Notation "'Initial' C" := (@Terminal (C^op)) (at level 9) : category_theory_scope.我们把始对象记作 0, 它有到任意对象 x 的唯一箭头, 记作 zero[x]. ...
终对象 释义 terminal object 终对象; 行业词典 数学 terminal object
类似的可定义终对象。 从图像化的角度来看,源对象就像一个正电荷,向四面八方发出箭头,而终对象像一个负电荷,接受着四面八方的箭头。 根据ump的特性,定义出的结构在同构的意义下是唯一的。可以简单证明,如果存在两个源对象,那么就存在两个唯一的箭头等价于恒等箭头。于是,这两个唯一性的箭头互为同构。 需要注意...
3-2.始对象或者终对象如果存在, 则在同构的意义下唯一. [证明]如果I,U都是始对象, 那么存在唯一的f:I\rightarrow U,g:U\rightarrow I, gf\in \textbf{Mor}_{\mathcal{C}}(I,I) \Rightarrow gf=1_I, fg\in \textbf{Mor}_{\mathcal{C}}(U,U) \Rightarrow fg=1_U. ...
b.群,交换群,向量空间,巴拿赫空间范畴中,零既是初始对象,又是终对象。这个零,对于群就是平庸群,对于向量空间就是零向量。 c.带幺交换环范畴,零环是终对象,整数环是初始对象。 等子,余等子 积的概念定义了一个受限的对象,通过一个给定对象族来描述。现在我么想定义一个受限对象,通过同时包含对象和箭头的数据...
在Java中,最终对象是指无法被子类继承的对象。在面向对象编程中,类可以被其他类继承,从而形成类的层次结构。然而,有时候我们希望某个类不被其他类继承,这时就可以使用最终对象。 最终对象可以通过在类的定义前加上final关键字来实现。当一个类被声明为最终对象时,它不能被其他类继承。同时,最终对象的方法也不能被...
词条终对象专业释义 <数学> terminal object词条提问 欢迎你对此术语进行提问>> 行业词表 石油纺织轻工业造纸采矿信息学农业冶金化学医学医药地理地质外贸建筑心理学数学机械核能汽车海事消防物理生物学电力电子金融财会证券法律管理经贸人名药名解剖学胚胎学生理学药学遗传学中医印刷商业商务大气科学天文岩土工程测绘土木工程...
将“始对象和终对象"翻译成法文 Objet initial et objet terminal是将“始对象和终对象"翻译成 法文。 译文示例:各委员会一起分别在 # 年 # 月 # 日和 # 月 # 日听取了钻石专家、塞拉利昂问题专家小组前成员伊恩·斯迈利先生和制裁争取安哥拉彻底独立全国联盟(安盟)监测机制主席胡安·拉腊因大使(希腊)的情况...
终对象(terminal objects)范畴论的基本概念之一指在范畴中起着特殊作用的一种对象，是始对象的对偶概念。在数学分支的类别理论中，C类的始对象是C中的对象I，使得对于C中的每个对象X，存在精确的一个态射I→X。同样的是终对象（也称为终端元素、终端对象）：T是终端，如果对于C中的每个对象X存在单个态射X→T。