1.忠实函子,映射是单的 2.满函子,映射是满的 3.既满又忠实的函子,映射是双射 4.函子是范畴同构,当函子是满的,忠实的,并且诱导一个对象类之间的双射。 对于反变函子这个定义也很容易应用。定义4是范畴同构在小范畴和函子组成的范畴中的特例。 米田嵌入函子是满的,忠实的。 由米田引理,做一些改变,...
满单函子(epi-mono functor)是一种常用的函子。满单函子在研究分次模范畴时有重要价值.给定G分次环R.在范畴R-gr和R-mod间有四个常用的函子:1·诱导函子Ind : R-mod---＞R-gr, N-＞ R⑧ae N ,此G分次模的g分支为RA因aeN（b gEG＞）.2.满单函子R因Ke- ; Re-mod-＞R-gr , N~R⑧x ...
同伦单函子 1. This paper gives some properties of homotopy regular morphisms,defines homotopy epimorphism functor and homotopy monomorphism functor,it also proves that these two functors preserve the properties of homotopy regular. 本文给出了同伦正则态射的一些性质,定义了同伦满函子和同伦单函子,证明...
Zig语言的Free Monad实现 | Zig语言是我最喜欢的语言之一,是一门非常优秀的系统级的底层编程语言,是C语言的革新式演变的替代者,能够和C无缝的交互。因此其对函数式编程的支持是非常少的,我在使用这门语言几个月后,发现Zig语言的comptime能力非常强大,于是便有了在Zig语言中支持函数式编程的想法。在翻阅了一些资料...
创建者:天空寺美满左卫星函子 收藏 花100小时做一块巧克力,全球第一甜品有多离谱? 77.2万播放 鹿乃子乃子虎视眈眈有小鹿跟着跳版し🦌か🦌の🦌こ🦌の🦌こ🦌の🦌こ🦌こ🦌し🦌たん🦌たん🦌 57.2万播放 最后的结局我是万万没想到的 219.0万播放 我不信你不跟着节奏扭起来 Yeah!-Usher(亚...
天空寺美满左卫星函子 2023年06月25日 我已成为哔哩哔哩第197816419位转正会员,挑战转正答题考试获得60分。 你已经到达世界的尽头 个人资料 UID1698989920 生日01-01 学校南京航空航天大学 登录后你可以: 免费看高清视频 多端同步播放记录 发表弹幕/评论
函子青衿 Live alone, don't fall in love 神之子被钉上高架神明在刀下怎会无力招架不过是又一个人之子的生命被糟蹋我举起投枪,面对一致的点头他们说不偏心,可我非要对他们偏侧一投可是他们早已脱走,只让我坠入冰谷,脚下像有青灯闪烁,我让他燃烧在我胸膛之左他问我是烧尽还是冻住,我不假思索:“不如烧尽...
同伦单函子 1. This paper gives some properties of homotopy regular morphisms,defines homotopy epimorphism functor and homotopy monomorphism functor,it also proves that these two functors preserve the properties of homotopy regular. 本文给出了同伦正则态射的一些性质,定义了同伦满函子和同伦单函子,证明...
满函子 满函子是范畴论中的一种函子。定义 函子T:C→B称为满函子，若给定C中一对对象c与c'，与一个B中态射g:Tc→Tc'，均存在C中态射f:c→c'，满足 g=Tf。性质 满函子的复合仍为满函子。