Optics in three acts

The following is the script of my last MSP101 talk. It’s supposed to be an overview of optics covering three different ways to construct them and reason about them. Most of it is devoted to the understanding of Tambara theory and the profunctor encoding, for personal reasons: it’s the last way of thinking about optics that I’ve learned, and it took me the most effort to develop an intuition for them.

This is a companion discussion topic for the original entry at https://matteocapucci.wordpress.com/2022/01/10/optics-in-three-acts/