2021-11-17: Matteo Capucci (MSP)

Sat, 21 Oct 2023 21:24:08 +0100

Matteo Capucci (MSP)

Optics in three acts

Abstract

Optics can be constructed in at least three different ways: from Tambara theory (profunctor encoding), as open diagrams (existential optics) and as free 'categories with a counit' (free teleological categories). Each of these three constructions highlights a different point of view on optics, and their interplay is an elegant mathematical story and a(n arguably) successful story for abstract nonsense. In this play talk, we look at all three constructions and contemplate their equivalence.

2021-11-17 15:00:00 UTC
Online