Actegories
5 hours ago
- #Haskell
- #Actegory
- #Monoidal Category
- Actegory在光学（如透镜和棱镜）的编程中是核心概念。
- 幺半范畴通过张量积、结合子和单位子定义，在Haskell中使用带约束的Bifunctor进行建模。
- Actegory是支持幺半范畴作用的范畴，在Haskell中通过带一致性条件的Bifunctor实现。
- 幺半函子是actegory之间的态射，在Haskell中通过将一种作用映射到另一种作用的方法建模。
- 一个幺半函子的例子在Haskell中使用Traversable，通过Monoid约束来关联作用。