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 defi…
Summary not yet generated for this article.
Comments (6 of ) ⌛