tambara-modules

本文解释了范畴论中的Tambara模块，它们与幺半群函子和profunctor光学的关系，并使用Haskell代码说明这些概念，内容基于Mateusz Stroiński近期的一篇论文。