You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.
Tim Hosgood (Nov 01 2022 at 12:55):VIRTUAL DOUBLE CATEGORIES WORKSHOP
Dates: Monday 28 November - Friday 2 December 2022
Location: virtually on Zoom
Website: https://bryceclarke.github.io/virtual-double-categories-workshop/
Research seminars: https://researchseminars.org/seminar/VirtualDoubleCategoriesWorkshop
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.
FORMAT AND REGISTRATION
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.
Registration link: https://forms.gle/ZyFu9R1GZ41aRyG59
SPEAKERS
Nicolas Behr
John Bourke
Matteo Capucci
Matthew Di Meglio
Bojana Femić
Seerp Roald Koudenburg
Michael Lambert
Jade Master
Lyne Moser
Chad Nester
Susan Niefield
Juan Orendain
Simona Paoli
Robert Paré
Claudio Pisani
Dorette Pronk
Brandon Shapiro
Christina Vasilakopoulou
Paula Verdugo
PROGRAM
The full schedule for the workshop is available on the website
and at the link below (where it will be displayed in your own timezone):
https://researchseminars.org/seminar/VirtualDoubleCategoriesWorkshop
Titles and abstracts will be made available over the coming weeks.
The workshop will be held:
Monday 28th Nov. at 17:30 - 20:30 UTC
Tuesday 29th Nov. to Friday 2nd Dec. at 15:00 - 19:30 UTC
CONTACT
For any questions, please contact the organisers (email both):
Bryce Clarke <bryce.clarke@inria.fr>
Tim Hosgood <tim.hosgood@math.su.se>
Mike Shulman (Nov 01 2022 at 22:59):Cool! I presume the pun on "virtual" is intended?
Bryce Clarke (Nov 02 2022 at 04:43):Mike Shulman said:
Cool! I presume the pun on "virtual" is intended?
Absolutely :)
Nathanael Arkor (Nov 02 2022 at 13:04):I'm looking forward to the talks, but the name of the workshop is a little misleading :grimacing: (I imagine only Seerp Roald Koudenburg's talk will actually be about virtual double categories.)
Bryce Clarke (Nov 27 2022 at 17:53):Hi everyone, just a reminder that this workshop kicks off tomorrow, Monday 28 November at 17:30 UTC!
Bryce Clarke (Nov 27 2022 at 17:55):To view the schedule in your own time zone, you may visit the research seminars website here.
Joe Moeller (Nov 28 2022 at 15:11):I believe this should display the time in each reader's own time zone: .
Bryce Clarke (Dec 05 2022 at 13:30):You can now find the recordings of the talks on the workshop webpage, and we should have all of the slides uploaded in the near future.
https://bryceclarke.github.io/virtual-double-categories-workshop/