Intercats: Seminar on Categorical Interaction
category theory
| Audience: | Researchers in the topic |
| Seminar series time: | Every other Tuesday 16:00-17:00 |
| Organizer: | Toby St Clere Smithe* |
| *contact for this listing |
Upcoming talks
Past talks
| Your time | Speaker | Title | |||
|---|---|---|---|---|---|
| Tue | Jun 28 | 16:00 | Keno Fischer | Optics in the wild: reverse mode automatic differentiation in Julia | |
| Tue | May 31 | 16:00 | Mario Román | Monoidal Streams | |
| Tue | May 17 | 16:00 | Matteo Capucci | Dependent lenses are dependent optics | |
| Tue | May 03 | 16:00 | Moritz Schauer | Bidirectional compositionality in inference and stochastic optimisation | |
| Tue | Apr 19 | 16:00 | Bryce Clarke | Constructing lenses in double categories | |
| Tue | Apr 05 | 17:00 | Bruno Gavranović | Optics vs Lenses, Operationally | |
| Tue | Mar 22 | 17:00 | Toby St Clere Smithe | Categories by proxy and the limits of Para | |
| Tue | Mar 08 | 17:00 | Valeria de Paiva | Dialectica Petri Nets | |
| Tue | Feb 22 | 17:00 | Jules Hedges | Lenses and their generalisations: a guide to the design space | |
| Tue | Feb 08 | 17:00 | Bartosz Milewski | Introduction to Profunctor Optics | |
| Tue | Jan 25 | 17:00 | David Spivak | Categorical interaction in the polynomial ecosystem | |
Export series to