Actegories

# Actegories Source: [https://bartoszmilewski.com/2026/06/30/actegories/](https://bartoszmilewski.com/2026/06/30/actegories/) Previously:[Kan Extensions in Double Categories](https://bartoszmilewski.com/2026/06/13/kan-extensions-in-double-categories/)\. In programming, actegories play a central role in optics: lenses, prisms, traversals, etc\. To understand actegories, let’s start with the definition of a monoidal category\. ## Monoidal Category A monoidal categoryis a category equipped with a tensor product\. A tensor product is a functor\. We assume that this product is associative and unital– up to isomorphism\. It means that there is an invertible associator:  natural in all three arguments\. We also have a unit objectand two \(invertible, natural\) unitors:   To get a better feel for it, we can try to model a monoidal category in Haskell\. We parameterize it by the type of the tensor product,`ten`, which we want to be a`Bifunctor`: The standard way to define a subcategory of Hask is to restrict the types of objects by imposing a constraint\. Such a restriction has a special kind,`Constraint`: A common example of such a constraint is a typeclass\. For instance`Monoid`will restrict the objects of the category to be monoids\. \(In principle, we should also restrict the type of arrows, here to monoid morphisms\.\) We can specify the unit of a monoidal category as an associated type \(parameterized by`ten`\): ``` type Unit ten :: Type ``` The unit should be an object of the category, so it should satisfy the constraint\. We can encode this in our definition as a precondition:`obj \(Unit ten\)`\. This leads to a circularity, which we can overcome using the language pragma`UndecidableSuperClasses`: Finally, we can add the associator and the unitors \(and their inverses\): Notice the`obj`constraints in the type of these functions and the infix notation for the tensor\. Let’s work out a few examples\. The simplest is the category of all types with a cartesian product as tensor\. We define`Hask`using an empty class, and we make all objects its instances: Similarly, we can define a monoidal category with`Either`as the tensor product, or with`Monoid`as the object constraint\. ## Actegory An actegory is a category that supports the action of a monoidal category\. You may think of it as “multiplying” or “scaling” the objects of this category by objects of the monoidal category\. The \(left\) action can be defined as a functor from the product category to:  or, after currying, as a functor fromto the endofunctor category: ![\triangleright \colon \mathbf M \to [C, C]](https://s0.wp.com/latex.php?latex=%5Ctriangleright+%5Ccolon+%5Cmathbf+M+%5Cto+%5BC%2C+C%5D&bg=ffffff&fg=29303b&s=0&c=20201002) The coherency conditions are the invertible natural transformations that relate the actionto the tensor productand its unit:   The action is functorial in both arguments, so our Haskell translation pegs it, for simplicity, as a`Bifunctor`\. \(A`Profunctor`action is also possible\. Categorically, it would correspond to usingas the monoidal category\.\) Another simplifying assumption is that the action uniquely identifies the tensor product, encoded here as the functional dependency`act \-\> ten`\. The simplest example of an actegory is the self action of the cartesian product\. Here, the monoidal category acts on itself: ## Monoidal Functors Actegories that use the same monoidal category for their actions form a category\. The morphisms in this category are \(strict\) monoidal functors\. These are functors that map one action to another:  In Haskell, we can model them as: In fact, actegories form a bicategory, with action\-preserving natural transformations acting between monoidal functors\. Here’s an interesting example of a monoidal functor between non\-trivial actegories: Haskell code is available[here](https://v15.next.forgejo.org/BartoszMilewski/Categories/src/branch/main/src/Actegory.hs)\.