视频目录 / 抽象代数与对称

系列分集

范畴论进阶第 3.2 讲：自由幺半群

Category Theory II 3.2: Free Monoids

把生成元排成有限序列，用拼接作为运算、空序列作为单位元。任意指定生成元的像之后，试着按拼接规则延拓到整个幺半群。

Bartosz Milewski · 系列收录

在此播放

讨论出处

• Hacker News · 推荐系列的原讨论 ↗Category Theory II · 2020-05-06