Virtual Double Categories Workshop

Monday, 28th of November – Friday, 2nd of December, 2022

About

Aims

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.

Speakers have been invited to give talks all along the “expository–technical” scale, so 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 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.

Contact

If you have any questions, please contact Bryce Clarke and Tim Hosgood (cc both).

Format

The workshop will be hosted on Zoom, and we welcome all participants. If you are interested in joining the workshop, then please use the registration link below so that we can contact you closer to the time with the Zoom link and other participation information.

After the workshop has finished, all the recorded talks will be made publicly available.

Zoom details

Please register before attending.

Schedule

Click the speaker's name to scroll to their abstract.

The schedule is also available on researchseminars.org, where you can view the times in your own time zone.

Abstracts

Monday 28th

Tuesday 29th

Wednesday 30th

Thursday 1st

Friday 2nd