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