态射造句
- 关于同伦正则态射与覆叠空间
- 恒等态射对应的类型是幺元类型u 。
- 值态射的结构
- 态射方程解的惟一性
- 态射和固定点代数
- 同伦正则态射的注记
- 当两个态射组合时,它们的类型也相应地组合。
- 正像态射的组合满足结合律一样,类型的组合也满足结合律。
- 电磁型双稳态射频开关的微机械结构设计
- 实际上,为态射添加类型就是为信息或知识之间的联系添加语义。
- 用态射造句挺难的,這是一个万能造句的方法
- 本文研究了环上矩阵的广义逆,范畴中态射的广义逆,并研究矩阵的偏序。
- 第三章讨论以稳定映射为态射的局部完备格范畴的满子范畴的笛卡尔闭性
- 从而推广了g berry和ptaylor关于以稳定映射为态射的相应domain范畴的笛卡尔闭性的部分结果
- 给出了同调正则态射的一些性质,以及它与同调单(满)态和同调等价之间的关系。
- 定义了态射的加权广义逆,证明它的唯一性,在某些情形下给出了存在的充要条件和表达式。
- 摘要利用同调函子,在点标拓扑空间范畴中定义了同调单态、同调满态、同调正则态射等概念。
- 对象间态射的缺失意味着知识内部结构性的缺失,从而产生了对各种知识不完备性以及不完备知识完备化的范畴论意义上的研究。
- 本文还证明了scott连续映射为态射的代数l - domain范畴为l - cusl与单调映射作成的范畴的反射子范畴。
- 所谓类范畴,就是放弃了带类型范畴中两个首尾相接的态射一定能组合成第三个态射,且它们的类型也相应组合这一要求。
- 首次定义了态射的满单分解序列,利用其给出了态射的drazin逆存在的充要条件及其表达式。