搜索 - 腾讯云开发者社区-腾讯云

文章/答案/技术大牛

发布

来自专栏绿巨人专栏
Category Theory: 01 One Structured Family of Structures
) = 单态射(monomorphism) + 满态射(epimorphism) 同构(isomorphism) = 双态射(bimorphism) + 存在逆态射自态射(endomorphism vs Injective definition: monomorphism An arrow \(f : C\to D\) in the category \(\mathcal{C}\) is a monomorphism (monic) if and only if it is left-cancellable.. 定义：split monomorphism and split spimonomorphism 如果f有一个左逆，那么f是一个拆分单态射；如果g有一个右逆，那么g是一个拆分满态射。定理 42：如果\([E, e]\)构成一个均衡器，那么\(e\)是一个单态射(monomorphism). 定理 43：一个满态射的均衡器是一个同构态射。
92030发布于 2018-12-17
来自专栏绿巨人专栏
读书笔记: 范畴论
态射的种类(\(f: a \to b\))：单态射(monomorphism or monic) 如果\(f \circ g_1 = f \circ g_2 \implies g_1 = g_2, f必定是一个单态射(monomorphism)。是不是可以理解为f的g应用的一个条件???
1.8K20发布于 2018-12-17
来自专栏腾讯云中间件的专栏
JS引擎中的Inline Cache技术内幕，你知道多少？
2012/06/03/explaining-js-vms-in-js-inline-caches.html https://mrale.ph/blog/2015/01/11/whats-up-with-monomorphism.html
94210发布于 2021-03-24
来自专栏AutoML(自动机器学习)
线性代数-单射,满射,双射,同构,同态,仿射
Phi:V→W \,\,\, linear\): 同态 (Homomorphism) \(\Phi:V→W \,\,\, linear \,\, and \,\, injective\): 单一同态 (Monomorphism
11.7K40发布于 2018-12-27
来自专栏CreateAMind
用范畴逻辑做人工智能规划 Using categorical logic for AI planning
因此，在我们的框架中，如果存在一个从规则的输入部分 I到所讨论的世界状态 Y的单态射（monomorphism），我们就认为该规则是可应用的。
9110编辑于 2026-03-11
来自专栏安全基础
V8中推测优化（Speculative Optimization）的介绍
关于属性访问的更多细节可以在“What’s up with monomorphism?”看到。
92520编辑于 2023-09-17
来自专栏Tecvan
V8 引擎：基于类型推测的性能优化原理
你可以在Vyacheslav Egoro写的这篇文章 “What’s up with monomorphism?” 中了解更多关于ICs和属性访问的细节。
94020编辑于 2022-12-07

Category Theory: 01 One Structured Family of Structures

读书笔记: 范畴论

JS引擎中的Inline Cache技术内幕，你知道多少？

线性代数-单射,满射,双射,同构,同态,仿射

用范畴逻辑做人工智能规划 Using categorical logic for AI planning

V8中推测优化（Speculative Optimization）的介绍

V8 引擎：基于类型推测的性能优化原理

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐