‹Programming› 2018
Mon 9 - Thu 12 April 2018 Nice, France
Tue 10 Apr 2018 11:00 - 11:30 at Baie des Anges B - Mathematical Foundations Chair(s): Jeremy Gibbons

We characterize those symmetric d-lenses which are representable as cospans of d-lenses. Such a symmetric d-lens must have unique corrs per pair of objects and satisfy two other technical conditions. When the d-lens is also ``least change'' then the corresponding cospan consists of c-lenses.

Tue 10 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
Mathematical FoundationsBx at Baie des Anges B
Chair(s): Jeremy Gibbons Department of Computer Science, University of Oxford
11:00
30m
Full-paper
Cospans and Symmetric Lenses
Bx
Michael Johnson Macquarie University, Australia, Robert Rosebrugh
11:30
30m
Short-paper
Understanding Profunctor Optics: a representation theorem
Bx
12:00
30m
Talk
Bimorphic lenses in compositional game theory
Bx
Jules Hedges University of Oxford