October 2025 - Categories - categories.org.au

Octoberfest 2025 is this weekend!
by Richard Blute 24 Oct '25

24 Oct '25

The 2024 Category Theory Octoberfest will be held on the weekend of October 25th through October 26th. The meeting will be virtual. Here’s the conference website: https://richardblute.ca/octoberfest-2025/ Hope to see you there. 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=EscalatedMess…> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMess…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

Full professorship at FAU Erlangen-Nürnberg
by Lutz Schröder 23 Oct '25

23 Oct '25

Dear all, Friedrich-Alexander-Universität Erlangen-Nürnberg is currently advertising a full professorship in Programming Languages: https://url.au.m.mimecastprotect.com/s/9mKSC81Vq2C6l2jP3snfPuy54_3?domain=f… Notably, verification is among the topics of interest. Best wishes, Lutz

1 0

Workshop on higher structures, 19 Nov, Nottingham
by Nicolai Kraus 23 Oct '25

23 Oct '25

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=EscalatedMess…> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMess…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 1

PSSL 112 - First Announcement
by Stiephen Pradal 23 Oct '25

23 Oct '25

TL;DR: Submit your PSSL 112 abstract by February 6th 2026 to stiephen.pradal(a)nottingham.ac.uk<mailto:stiephen.pradal@nottingham.ac.uk>. ============================================= 1st CALL FOR CONTRIBUTIONS PSSL 112 Nottingham, United Kingdom, 28-29 March 2026 ============================================= We are happy to announce that the 112th Peripatetic Seminar on Sheaves and Logic (PSSL 112) will take place on March 28th-29th 2026 at the University of Nottingham, United Kingdom. PSSL is a long-running series of informal gatherings traditionally held over a weekend in a European university. This meeting marks the 112th edition and it is the first to be held in Nottingham. Talks cover all aspects and areas of category theory and its applications. Further details about the meeting, transport, accommodation and updates can be found on the PSSL 112 website. Below are the current important dates and information. Registration Please fill in the registration form, which can be found here, by March 14th 2026. The registration is free. Submitting a contribution If you wish to present your work as a contributed talk, please submit a one-page pdf (not counting references) with title, speaker name and abstract to the following email address: stiephen.pradal(a)nottingham.ac.uk<mailto:stiephen.pradal@nottingham.ac.uk>. Key dates to remember: * The deadline for the abstract submissions is February 6th 2026 (AoE). * The notification of accepted talks will be sent on February 16th 2026. Talks about work in progress are welcome, and we encourage PhD students, young researchers and minorities to give a presentation. We look forward to seeing you in Nottingham! Stiéphen, Tom and Simona This message and any attachment are intended solely for the addressee and may contain confidential information. If you have received this message in error, please contact the sender and delete the email and attachment. Any views or opinions expressed by the author of this email do not necessarily reflect the views of the University of Nottingham. Email communications with the University of Nottingham may be monitored where permitted by law. 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=EscalatedMess…> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMess…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

Asst., Assoc., Full professor openings at Aarhus University, Denmark
by Lars Birkedal 22 Oct '25

22 Oct '25

Dear All, We are looking for new Assistant, Associate, and Full professors at the Department of Computer Science at Aarhus University, Denmark. We are interested in applicants from many areas, including Programming Languages, Logic, and Software Security. Please help spread the word among potential applicants. Application deadline is Jan. 5, 2026. See https://international.au.dk/about/profile/vacant-positions/job/aarhus-unive… for the full call text. Potential applicants are, of course, most welcome to contact me for more information or an informal chat. Thanks and best wishes, Lars -- Lars Birkedal Professor, Villum Investigator https://cs.au.dk/~birke/ 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=EscalatedMess…> | Leave group<https://outlook.office365.com/groups/groupsubscription?source=EscalatedMess…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

Monadicity of extensions of essentially algebraic theories
by David Yetter 22 Oct '25

22 Oct '25

I'm hoping to avoid having to prove by hand that a particular category is monadic, by a finitary monad, over another. It seems to me there should be a very general theorem that if one has an extension of essentially (many sorted) algebaric theories. then the category of models of the extension is monadic, by a finitary monad, over the category of models of the original theory. I'd be happy with some restrictions on the extension: the same set of sorts, no new equations imposed on the operations in the original theory, just new operations and equations on these. Does anyone have a citation for such a result? (Or one equivalent to it phrased in terms of sketches?) Such a result with additional hypotheses (which may or may not apply in my circumstance)? Or a result that obviously implies a result of the sort I want, but is stated in different terms? Best Thoughts, D.Y. 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/mail/deeplink/groupActions?source=EscalatedMe…> | Leave group<https://outlook.office365.com/mail/deeplink/groupActions?source=EscalatedMe…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

7 7

New Issue of the Cahiers (4th quarter 2025)
by Marino Gran 21 Oct '25

21 Oct '25

Dear Colleagues, We are pleased to inform you that the new issue of the Cahiers (Volume LXVI-4, 4th quarter 2025) is now freely available for download from the two Cahiers websites: * https://cahierstgdc.com/ * https://mes-ehres.fr/ The issue can be downloaded either as a complete volume or as individual articles. With best regards, Andrée Ehresmann, Marino Gran, and René Guitart 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/mail/deeplink/groupActions?source=EscalatedMe…> | Leave group<https://outlook.office365.com/mail/deeplink/groupActions?source=EscalatedMe…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

TYPES 2026 Call for Contributions
by Andreas Abel 21 Oct '25

21 Oct '25

TL;DR Submit your TYPES 2026 abstract by 12th January 2026 to >. TYPES 2026 Call for Contributions ================================= 32nd International Conference on Types for Proofs and Programs, 4-8 May 2026, Gothenburg, Sweden, > Overview -------- The TYPES meetings are a forum to present new and ongoing work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. The TYPES areas of interest include, but are not limited to: - foundations of type theory and constructive mathematics; - applications of type theory; - dependently typed programming; - industrial uses of type theory technology; - meta-theoretic studies of type systems; - proof assistants and proof technology; - automation in computer-assisted reasoning; - formalizing mathematics using type theory; - links between type theory and * functional programming; * homotopy theory; * linguistics; * machine learning. We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. Participation in the meeting is primarily in person, as face-to-face interactions are highly valuable. Contributed Talks ----------------- TYPES solicits contributed talks to stimulate discussions. Selection of those will be based on extended abstracts of 2 pages. Submission instructions ----------------------- Extended abstracts - are limited to 2 pages (not counting the bibliography), - should follow the EasyChair style, obtainable from >, - be submitted at >. Important dates (preliminary) ----------------------------- - Submission deadline: 12 January 2026 AoE - Author notification: 20 February 2026 AoE - Camera-ready version of abstracts due: 3 April 2026 AoE - Conference: 4-8 May 2026 Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution during the conference. Program committee ----------------- - Andreas Abel (University of Gothenburg, Sweden) (co-chair) - Thorsten Altenkirch (University of Nottingham) - Andrej Bauer (University of Ljubljana, Slovenia) - Jasmin Blanchette (Ludwig Maximilian University of Munich, Germany) - Edwin Brady (University of St Andrews, UK) - Ivan Di Liberti (University of Gothenburg, Sweden) - Silvia Ghilezan (University of Novi Sad, Serbia) - Dan Licata (Wesleyan University, US) - Zhaohui Luo (Royal Holloway, University of London) - Marino Miculan (University of Udine, Italy) - Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark) - Paige North (Utrecht University, Netherlands) - Vincent Rahli (University of Birmingham, UK) - Christian Sattler (Chalmers, Sweden) (co-chair) - Gabriel Scherer (INRIA, Université Paris Cité, France) - Michael Shulman (University of San Diego, US) - Gerd Smolka (Saarland University, Germany) - Matthieu Sozeau (INRIA, MTI Atlantique, Nantes University, France) - Kathrin Stark (Heriot-Watt University, UK) - Sebastian Ullrich (Lean Focused Research Organization) - Josef Urban (Czech Technical University in Prague, Czech Republic) - Nicolas Tabareau (INRIA, MTI Atlantique, Nantes University, France) - Niccolò Veltri (Tallinn University of Technology, Estonia) - Stephanie Weirich (University of Pennsylvania, US) Post-proceedings ---------------- A post-proceedings volume will be published in the Leibniz International Proceedings in Informatics (LIPIcs) series. Submission to that volume will be open to everyone. Tentative submission deadline for the post-proceedings: October 2026. 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/mail/deeplink/groupActions?source=EscalatedMe…> | Leave group<https://outlook.office365.com/mail/deeplink/groupActions?source=EscalatedMe…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

CT2026 + DV60, July 2026, Baltimore
by Emily Riehl 20 Oct '25

20 Oct '25

We are writing to announce two conferences to be held in hybrid fashion at Johns Hopkins University in Baltimore in July 2026, as official satellites of the 2026 International Congress of Mathematicians. https://ct2026.com/ The "2026 International Category Theory Conference" (CT2026) will be held from July 13 – 18, 2026. Invited one-hour lectures will be given by: Geoff Cruttwell, Mount Allison University Tobias Fritz, University of Innsbruck Michael Hoefnagel, Stellenbosch University Ieke Moerdijk, Utrecht University Susan Niefield, Union College Chelsea Walton, Rice University Participants --- both in person and remote --- may contribute talks, to be selected by the scientific committee for plenary, parallel, and lightning talk sessions. Abstracts will be due on January 20th, 2026. More details about the submission and evaluation process will appear on the conference website soon. The conference "Discoveries and Vistas: Life, the universe, and higher categories" (DV60) celebrates the 60th birthday of Dominic Verity, honoring his significant contributions to category theory and homotopy theory. This conference will be held from July 20 – 22, 2026 and will feature one-hour talks from the following invited speakers: John Bourke, Masaryk University Nick Gurski, Case Western Reserve University Mike Hopkins, Harvard University Steve Lack, Macquarie University Félix Loubaton, Max Planck Institute for Mathematics Yuki Maehara, Kyoto University Valeria de Paiva, Topos Institute Martina Rovelli, University of Ottawa Paula Verdugo, Max Planck Institute for Mathematics Dominic Verity, Australian National University We hope many of you will be able to join us in Baltimore or online. CT2026 Organizers Nick Gurski, Case Western Reserve University Philip Hackney, University of Louisiana at Lafayette Angélica Osorno, Reed College Emily Riehl, Johns Hopkins University Maru Sarazola, University of Minnesota CT2026 Scientific Committee Kristine Bauer (Chair), University of Calgary Zurab Janelidze, Stellenbosch University JS Lemay, Macquarie University Ignacio López Franco, Universidad de la República Noah Snyder, Indiana University Todd Trimble, Western Connecticut State University Christina Vasilakopoulou, National Technical University of Athens Noson Yanofsky, Brooklyn College, CUNY DV60 Organizing and Scientific Committee Yuki Maehara, Tokyo Metropolitan University Emily Riehl, Johns Hopkins University Paula Verdugo, Max Planck Institute for Mathematics Jonathan Weinberger, Chapman University -- Kelly Miller Professor of Mathematics (she/her) Johns Hopkins University emilyriehl.github.io 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/mail/deeplink/groupActions?source=EscalatedMe…> | Leave group<https://outlook.office365.com/mail/deeplink/groupActions?source=EscalatedMe…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

ItaCa Fest - 21st of October
by Giacomo Tendas 17 Oct '25

17 Oct '25

Dear all, On Tuesday the 21st of October, we will meet again for the ItaCa Fest. We will start at 3:00 PM (Italian time). As usual, you can find all the relevant information (schedule, abstracts, and Zoom link) at the following page: https://progetto-itaca.github.io/fests/fest25.html Here is the list of speakers for this episode: • S. Fujii – Nerves of T-categories; • N. Arkor – Convolution via exponentiation; • R. Lucyshyn-Wright – Weighted pullbacks in V-graded categories and universal quantification in V-actegories. Best wishes, Giacomo 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/mail/deeplink/groupActions?source=EscalatedMe…> | Leave group<https://outlook.office365.com/mail/deeplink/groupActions?source=EscalatedMe…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0