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

系列分集

从范畴论理解透镜

Category Theory II 9.2: Lenses categorically

把读取部件和写回整体分别画成映射，再检查先读后写、先写后读各应满足什么条件。

Bartosz Milewski · 系列收录

在此播放

讨论出处

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