Actegories

Previously: 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 category $latex \mathbf M$ is a category equipped with a tensor product. A tensor product is a functor $latex \otimes…