2022-02-17: Bruno Gavranović (MSP)

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

Bruno Gavranović (MSP)

Operational view on Optics

Abstract

Optics, lenses, prisms, and similar abstract gadgets are our best friends when it comes to modelling bidirectional processes. While optics are more general than lenses, it's understood that they're equivalent in the special setting of a cartesian monoidal category. Fixing the setting of a cartesian monoidal category, in this talk I'll explore how this equivalence is denotational in nature, and the result of erasure of important operational data. I'll advocate that the operational aspect is not optional, but rather crucial in understanding what these systems are doing.

2022-02-17 14:00:00 UTC
Online