热度排名 #1629

布鲁诺·加夫拉诺维奇：用高阶范畴论比较双向数据流的时空代价

Bruno Gavranovic: Space-time tradeoffs of lenses and optics via higher category theory

报告讨论 lens 和 optic 怎样表示双向的数据流。可留意两种构造从外面看起来相同的时候，内部步骤为何仍可能有不同的代价。

Topos Institute · 1 串讨论 · 热度 1.723

讨论出处