Tambara Equipment
2 days ago
- #Tambara Modules
- #Haskell Programming
- #Category Theory
- 通过研究Haskell光学（特别是van Laarhoven函子表示和Tambara模块）并使用Yoneda引理，获得了范畴论方面的见解。
- 光学位于幺半群作用与Tambara模块的交汇处，其二元性与数学中的Tannakian重构理论相关。
- Tambara模块可视为双范畴中的水平箭头，该双范畴同时作为箭图装备（proarrow equipment），并可推广到充实范畴。
- 在Haskell中，幺半函子和Tambara模块通过类型类实现，两者均可定义组合运算，从而形成双范畴结构。
- 通过余积构造的自由Tambara模块引出了光学的定义，该定义可利用内部hom伴随关系和幺半结构进行简化。