Get the latest tech news
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…
None
Or read this on Hacker News