Dear all, The first meeting of the network "Higher Structures in Category Theory, Homotopy Theory and Type Theory" will take place on 19 November 2025 in Nottingham: https://sites.google.com/view/higherstructures/meetings Everyone is welcome to attend this one-day (in-person only, sorry) workshop. For planning purposes, please complete the (free) registration form available at the link above. There is an option to submit a title and abstract for a contributed talk. Deadline for registration and submitting contributed talk proposals: 5 November 2025 Invited speakers: Leonard Guetta, Utrecht University Nina Rasekh, University of Greifswald Titles and abstracts, together with more information about the workshop, can be found at the link above. Best wishes, Nicolai, for the network organisers: Eric Finster (University of Birmingham Nicola Gambino (University of Manchester) Nicolai Kraus (University of Nottingham) Simona Paoli (University of Aberdeen) You're receiving this message because you're a member of the Categories mailing list group from Macquarie University. To take part in this conversation, reply all to this message. View group files<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=files&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMessage&action=leave&smtp=categories%40mq.edu.au&bO=true&GuestId=6bf90c14-94d1-45b7-a0b5-9dd447734d27> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>