The goal of the workshop is to bring together researchers to share recent work on double categories and their applications to domains such as computer science, type theory, applied category theory, and higher category theory. The workshop will be open for everyone to attend online, with recordings of the talks being uploaded after the workshop is finished.
The workshop will hopefully be of interest to both those who are new to double categories and want to learn about the fundamental techniques and viewpoints, and also to domain specialists who are interested in technical results and current topics of active research. We also hope that this workshop will create a snapshot of the research area as it currently stands together with directions for future work, as well as provide an invitation to people wanting to know more about the area, or who are wondering if the tools or ideas in double category theory might be useful to their own research.
This workshop is organised by Bryce Clarke and Tim Hosgood.
All times below are in UTC.
| Thursday 5th November | Friday 6th | Tuesday 10th | Wednesday 11th |
|---|---|---|---|
| 20:00 Nelson Niu | 16:00 Maru Sarazola | 12:00 Matt Earnshaw | 08:00 Maxine Calle |
| 20:45 Edward Morehouse | 16:45 Aaron David Fairbanks | 12:45 Bojana Femić | 08:45 Yuto Kawase |
| 21:30 Bryce Goldman | 17:30 Alexander Kurz | 13:30 Robin Jourde | 09:30 Sarah Dukic |
| 22:15 Michael Lambert | 18:15 Claudio Pisani | 14:15 Jana Nickel | 10:15 Theofilos Tsantilas |
| 15:00 Hayato Nasu |
You can also see a live schedule from researchseminars.org embedded below, which should show the times in your local time zone.