数学影像馆

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

系列分集

范畴论 II 第 9.1 讲：透镜如何读写局部数据？

Category Theory II 9.1: Lenses

为一个包含多个字段的对象写下读取某字段与更新它的两种操作。跟着讲解检查读后再写和写后再读应满足什么条件。

Bartosz Milewski · 系列收录

打开原视频 ↗浏览抽象代数与对称

讨论出处