BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Bruno Gavranović (University of Strathclyde)
DTSTART:20220405T170000Z
DTEND:20220405T180000Z
DTSTAMP:20260423T052545Z
UID:Intercats/8
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/Intercats/8/
 ">Optics vs Lenses\, Operationally</a>\nby Bruno Gavranović (University o
 f Strathclyde) as part of Intercats: Seminar on Categorical Interaction\n\
 n\nAbstract\nOptics\, lenses\, prisms\, and similar abstract gadgets are o
 ur best friends when it comes to modelling bidirectional processes. While 
 optics are more general than lenses\, it's understood that they're equival
 ent in the special setting of a cartesian monoidal category. Fixing the se
 tting of a cartesian monoidal category\, in this talk I'll explore how thi
 s equivalence is denotational in nature\, and the result of erasure of imp
 ortant operational data. I'll advocate that the operational aspect is not 
 optional\, but rather crucial in using these gadgets to understand real-wo
 rld systems.\n
LOCATION:https://researchseminars.org/talk/Intercats/8/
END:VEVENT
END:VCALENDAR