所以由 \exp 函子的唯一性,我们可以断定: \exp(\Psi t)=\sum_{n=0}^{\infty}\frac{(\Psi t)^n}{n!} 或者我们得到 \exp 级数形式的解析表达式: \boxed{\exp(\Psi)=\sum_{n=0}^{\infty}\frac{\Psi^n}{n!}} 硬凑法 通过刚才的补项法,我们可以大胆尝试用 \Psi t 的幂来硬凑。生硬...
于是纤维丛就是函子态射的一种意义解释。回归米田引理,函子态射对应于一个集合的元素,也就是说流形上特定纤维丛构成的纤维丛空间是流形的一个子集。好像没什么问题,因为丛依赖于切空间和余切空间的构造,而这两者视为丛依赖于底流形的性质。 由此,米田引理与函子态射多少有一些可以把握的例子了。不过,这个例子很...
函函子fairy 23-08-7 22:39 发布于 江苏 来自 麦芒8 这个点整理完底稿附件后,甲方追着问导账套的事情,真想退群啦 û收藏 转发 评论 ñ赞 评论 o p 同时转发到我的微博 按热度 按时间 正在加载,请稍候... 查看更多 a 118关注 144粉丝 338微博 微关系 她的关注...
三水函子311 20-08-18 18:53 来自iPhone客户端 已编辑 我想和你一起闯入森林潜入海底 2三亚·亚龙湾国家旅游度假区 û收藏 转发 评论 ñ1 评论 o p 同时转发到我的微博 按热度 按时间 正在加载,请稍候......
Zig语言的Free Monad实现 | Zig语言是我最喜欢的语言之一,是一门非常优秀的系统级的底层编程语言,是C语言的革新式演变的替代者,能够和C无缝的交互。因此其对函数式编程的支持是非常少的,我在使用这门语言几个月后,发现Zig语言的comptime能力非常强大,于是便有了在Zig语言中支持函数式编程的想法。在翻阅了一些资料...
底函子是范畴论中的一种特殊的函子。简介 底函子是将范畴的对象的一些或全部结构忘掉的函子。性质 当具体范畴的对象都具有某些结构时，比如拓扑群范畴中的对象都有拓扑结构与群结构，上述的 起着“忘却 中对象的结构，只看作集合，态射也只看作集映射”的作用，特称为底函子。有时，将忘却部分结构的函子称...