Virtual Double Categories Workshop

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

About

The workshop is now finished, but here you can find the abstracts, recordings, and slides of the talks given. We sincerely thank all speakers and participants for their contributions.

Bryce and Tim

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.

Speakers

Click the speaker's name to scroll to their abstract, along with a link to the slides and recording of their talk.

Talks

Monday 28th

Tuesday 29th

Wednesday 30th

Thursday 1st

Friday 2nd