Tambara 结构：用范畴论理解 Haskell 光学

最初，我之所以对范畴论产生兴趣，是因为想弄清哈斯科普斯的原理。我对范·拉霍文的函子表示以及克梅特对塔姆巴拉模的运用感到困惑不已。

通过用亚当斯引理来玩俄罗斯方块，我得以取得一些进展，不断攻克越来越深奥的课题。在一群研究人员和学生的支持下[…]