2023-01-20: Matteo Capucci (MSP)

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

Matteo Capucci (MSP)

On a fibrational construction for optics, lenses, and Dialectica categories

Abstract

Categories of lenses/optics and Dialectica categories are both comprised of bidirectional morphisms of basically the same form. In this talk I’m going to introduce both and show how they can be considered a special case of an overarching fibrational construction, generalizing Hofstra’s construction of Dialectica fibrations. At its highest level of generality, it’s a construction that turns a tower of fibrations into another tower of fibrations by twisting each of the components using the opposite fibration construction.

2023-01-20 15:00:00 UTC
LT1310 and Online