Actegories
Summary
Actegories is a blog post by Bartosz Milewski that explains actegories as categories with a monoidal action, connecting the idea to optics like lenses. It traces the basics of monoidal categories (associator, unit, and unitors) and shows how these concepts can be modeled in Haskell via type classes and instances. The piece notes that actegories form a bicategory of actions and provides examples, including the self-action of the cartesian product and a non-trivial monoidal functor between actegories, with code references.