2 months ago
- Actegories are central in programming for optics like lenses and prisms.
- A monoidal category is defined with a tensor product, associator, and unitors, modeled in Haskell using a Bifunctor with constraints.
- Actegory is a category that supports the action of a monoidal category, implemented in Haskell as a Bifunctor with coherence conditions.
- Monoidal functors are morphisms between actegories, modeled in Haskell with methods to map one action to another.
- An example monoidal functor uses Traversable in Haskell to relate actions with Monoid constraints.