44.伴随函子的例子：自由幺半群

作者: Obj_Arr | 来源:发表于2021-01-07 11:00 被阅读0次

44.伴随函子的例子：自由幺半群
45.伴随函子的例子：自由群
Monad
46.伴随函子的例子：交换群，带幺交换环，环上的模
41.伴随函子，沿函子的反映
群的概念
一个Monad的不严谨介绍
范畴论、类型类
Kotlin（十七）函数式编程<3>
Monad不过是自函子上的幺半群罢了

a.考虑幺半群和幺半群同态构成的范畴 $Mon$ 。

基础集函子 $U:Mon\to Set$ （实际上就是遗忘函子）有左伴随 $F:Set\to Mon$ 。

作用效果是，对每一个给定的集合X，FX就是X上的自由幺半群（将X中的元素作为字母，生成的有限字符串的集合，在并置运算或者说字符串连接运算下，构成的幺半群，就是X上的自由幺半群）。对于给定的映射 $f:X\to Y$ ， $Ff:FX\to FY$ 是通过将f作用于有限字符串上的每个字母来实现的。

存在一个明显的映射 $\eta_X:X\to UFX$ ，作用效果是将字母x映到单元素字符串（x），可以看作一个含入，将单字符也视为字符串。

给定一个幺半群 $(M,*)$ ，和一个映射 $g:X\to M$ ，我们就得到了所需的唯一分解 $h:FX\to (M,*)$ ，定义为 $h(x_1,,...,x_n)=g(x_1)*...*g(x_n)$ ，空串映到单位元。

更新了上一节的证明的图，花了很多时间，就到这里了。

44.伴随函子的例子：自由幺半群
a.考虑幺半群和幺半群同态构成的范畴。基础集函子（实际上就是遗忘函子）有左伴随。作用效果是，对每一个给定的集合...
45.伴随函子的例子：自由群
b.考虑群和群同态构成的群范畴，基础集函子（遗忘函子）有左伴随函子。对于给定的集合X，首先考虑由构造的自由幺半群M...
Monad
Monad不就是个自函子范畴上的幺半群，这有什么难理解的（A monad is just a monoid in ...
46.伴随函子的例子：交换群，带幺交换环，环上的模
c.考虑交换群和群同态构成的交换群范畴，基础集函子有左伴随函子。对于给定的对象X，FX就是X的基数个交换群的余积...
41.伴随函子，沿函子的反映
沿一个函子映出（反映？）我们都知道，考虑定义了加法的自然数幺半群，与其联系的最紧密的交换群是整数加法群。事实上存...
群的概念
1.1.8设是数域上的线性空间，证明上有一组基。1.2.5举出一个半群的例子，它不是含幺半群；再举一个含幺半群的例...
一个Monad的不严谨介绍
一个单子（Monad）说白了不过就是自函子范畴上的一个幺半群而已，这有什么难以理解的？* 之前了解了下Monad，...
范畴论、类型类
每个范畴化的幺半群都会定义一个唯一的伴随二元运算的集合的幺半群 Promise 本身，就是一种 Monad Mon...
Kotlin（十七）函数式编程<3>
函数式通用结构设计介绍一个非常让人恶心的专业术语，Monad。(单子)Monad 无非就是个自函子范畴上的幺半群...
Monad不过是自函子上的幺半群罢了
Monad不过是自函子上的幺半群罢了。学了Haskell的同学，凡是看不懂这句话的，都是大学离散数学课没学好的。当...