Category Theory
Zulip Server
Archive

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.


Stream: community: events

Topic: The Second Virtual Workshop on Double Categories


view this post on Zulip Bryce Clarke (Sep 27 2024 at 08:20):

THE SECOND VIRTUAL WORKSHOP ON DOUBLE CATEGORIES

Dates: Selected days from 21st – 30th of October, 2024

Location: virtually on Zoom 

Website: https://bryceclarke.github.io/virtual-double-categories-workshop/index.html

The goal of the workshop is to bring together researchers, with a focus on those early in their career, 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 follows from the first Virtual Double Categories Workshop held online in 2022. 

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 and slides will be made publicly available.

Registration link: https://forms.gle/hSk9e3Fh1vkp6J8x6

SPEAKERS

Lander Hermans (University of Antwerp)
Keisuke Hoshino (Kyoto University)
Dylan McDermott (University of Oxford)
Adrian Miranda (University of Manchester)
Evan Patterson (Topos Institute)
Rui Prezado (Universidade de Aveiro)
Nima Rasekh (Universität Greifswald)
Jaco Ruit (Utrecht University)
Maru Sarazola (University of Minnesota)
Miloslav Štěpán (Masaryk University)

PROGRAMME

We have tried to ensure that talks are given on different days of the week and at a variety of different times, so as to hopefully fit a wide range of schedules worldwide.

The full schedule for the workshop is available on the website. 
Titles and abstracts will be made available over the coming weeks. 

The workshop will be held:
Monday 21 October at 13:00-15:00 UTC
Thursday 24 October at 8:00-11:00 UTC
Tuesday 29 October at 22:00-1:00 UTC
Wednesday 30 October at 15:00-17:00 UTC

CONTACT 

For any questions, please contact the organisers (email both):
Bryce Clarke <bryce.clarke@taltech.ee>
Tim Hosgood <tim@topos.institute>

view this post on Zulip Bryce Clarke (Sep 30 2024 at 07:29):

The workshop is now up on research seminars, where you can view the schedule in your own timezone.

view this post on Zulip Tim Hosgood (Oct 14 2024 at 19:07):

FINAL ANNOUNCEMENT: THE SECOND VIRTUAL WORKSHOP ON DOUBLE CATEGORIES

Dates: Selected days from 21st – 30th of October, 2024

Location: virtually on Zoom

Website: https://bryceclarke.github.io/virtual-double-categories-workshop/

The goal of the workshop is to bring together researchers, with a focus on those early in their career, 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 follows from the first Virtual Double Categories Workshop held online in 2022.

SPEAKERS

Lander Hermans (University of Antwerp)

Keisuke Hoshino (Kyoto University)

Dylan McDermott (University of Oxford)

Adrian Miranda (University of Manchester)

Evan Patterson (Topos Institute)

Rui Prezado (Universidade de Aveiro)

Nima Rasekh (Universität Greifswald)

Jaco Ruit (Utrecht University)

Maru Sarazola (University of Minnesota)

Miloslav Štěpán (Masaryk University)

PROGRAMME

The full schedule for the workshop, including titles and abstracts, is now available on the website and at the link below (where it will be displayed in your own timezone):

https://researchseminars.org/seminar/SecondVDCW

We have tried to ensure that talks are given on different days of the week and at a variety of different times, so as to hopefully fit a wide range of schedules worldwide.

The workshop will be held:

Monday 21 October, 15:00-17:00 UTC

Thursday 24 October, 8:00-11:00 UTC

Tuesday 29 October, 22:00-1:00 UTC

Wednesday 30 October, 15:00-17:00 UTC

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. An email will be sent on Sunday 20 October with the Zoom link and other participation information. If there are any last minute changes or disruptions during the event, registered participants will be notified via email. 

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

Registration link: https://forms.gle/hSk9e3Fh1vkp6J8x6

CONTACT 

For any questions, please contact the organisers (email both):

Bryce Clarke <bryce.clarke@taltech.ee>

Tim Hosgood <tim@topos.institute>

view this post on Zulip Tim Hosgood (Oct 14 2024 at 19:08):

posting this to point out the time changes on Monday the 21st, as well as to say that the website has been updated with the titles and abstracts from the speakers

view this post on Zulip Tim Hosgood (Oct 21 2024 at 11:45):

The Zoom details for the workshop (starting today at ) are below, but we still encourage registration if you'd like to attend in case of any changes to the Zoom information

Zoom link: https://topos-institute.zoom.us/j/81199504994?pwd=CU64bgmk6rcvd4sht47CSgGtJlwSK7.1

Meeting ID: 811 9950 4994

Passcode: vdcw24

view this post on Zulip Tim Hosgood (Oct 23 2024 at 18:11):

the next set of talks start at :-)

view this post on Zulip Bryce Clarke (Oct 24 2024 at 07:56):

Kicking off again now!

view this post on Zulip Tim Hosgood (Oct 29 2024 at 20:24):

the third set of talks starts in a few hours:

view this post on Zulip Bryce Clarke (Oct 29 2024 at 22:00):

Starting now!

view this post on Zulip Tim Hosgood (Oct 30 2024 at 13:39):

and the last set of talks is in a few hours:

view this post on Zulip Bryce Clarke (Oct 30 2024 at 14:55):

Final session is starting now!

view this post on Zulip Bryce Clarke (Nov 04 2024 at 08:14):

Thank you to everyone who participated in the Second Virtual Workshop on Double Categories. Recordings and slides for all of the talks are now available on the webpage: 

https://bryceclarke.github.io/virtual-double-categories-workshop/index.html

view this post on Zulip Evan Patterson (Nov 04 2024 at 18:18):

And thanks to Bryce and Tim for organizing this great workshop!