April 2025 - Categories - categories.org.au

Lecture notes by Bill Lawvere
by Michael Barr, Prof. 23 Apr '26

23 Apr '26

I got a request from someone named C. Muster who is searching for a set of lecture notes by Bill that he gave at U. Laval in 1974. Does anyone have a copy that they would be willing to send to him. Michael 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/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

5 4

Collection honouring Robert Paré for his 80th birthday
by Bryce James Clarke 13 Jun '25

13 Jun '25

We are pleased to announce a special collection in Applied Categorical Structures honouring our friend and colleague, Bob Paré, on the occasion of this 80th birthday. Throughout his career Bob (Professor Emeritus and Adjunct Professor at Dalhousie University) has made several lasting contributions to category theory, including notable research in a broad range of subjects, such as double categories, higher categories, indexed categories, toposes and accessible categories. This collection will bring together contributions which honour the lasting impact Bob has made, and is making, in the category theory community. Submissions will be open from 1 October 2024 until 30 June 2025 at this link: https://link.springer.com/collections/dijeibfdbh All submissions on topics which celebrate Bob's work are welcome, including double categories, higher categories, indexed categories, toposes and accessible categories. The collection will be edited by four guest editors: - Bryce Clarke (Tallinn University of Technology) - Marco Grandis (University of Genoa) - Dorette Pronk (Dalhousie University) - Christina Vasilakopoulou (National Technical University of Athens) The publication process for this collection in Applied Categorical Structures differs from the traditional model for a special volume. Articles are published within whichever issue is open at the time, and concurrently published in the collection available at the above link. This helps papers to be published quickly, without having to wait for a whole issue to be ready, while still allowing all papers in the collection to be available in a single place. The editors are happy to answer any questions, and we look forward to receiving your submissions. Best wishes, Bryce, Marco, Dorette, and Christina. 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/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 1

CICM2025
by Valeria de Paiva 30 Apr '25

30 Apr '25

Deadline Extension: 18th Conference on Intelligent Computer Mathematics October 6 – 11, 2025 in Brasilia, Brazil. Abstract submission deadline May 5, 2025 Full Paper submission deadline May 12, 2025 https://cicm-conference.org/2025/cicm.php -- Valeria de Paiva http://vcvpaiva.github.io/ https://topos.institute/ http://www.cs.bham.ac.uk/~vdp/ 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/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

FMCS 2025 accomodations
by Richard Blute 30 Apr '25

30 Apr '25

To everyone attending the conference FMCS, Friday May 2nd is the last day to book a room on campus at a reduced rate. Details can be found on the FMCS website: https://sites.google.com/view/fmcs-ottawa/home (Note: if you are a student I’ve promised a room to, you don’t have to do anything.) Also, if you wish to give a talk, please register as soon as possible with a title and abstract, preferably by May 2nd. We especially encourage students to give talks. We hope to see you soon. The organizers Rick Blute Cesar Bardomiano Martinez 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/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

Applied Category Theory 2025 - Call for Participation
by JS Lemay 28 Apr '25

28 Apr '25

Hello everyone, ACT 2025 Call for Participation The 8th International Applied Category Theory Conference will be at the University of Florida, Gainesville, Florida, USA from June 2-6 2025. Conference Website with list of talks and registration fees: https://gataslab.org/act2025/act2025 Registration Link: https://web.cvent.com/event/90221e5e-4fc5-4827-a025-cb57c5f22ba0/register Registration Deadline: May 19 Lunch and coffee will be provided for attendees. Travel and registration assistance will be available to students depending on final registration numbers and funds available. Please follow this link for assistance applications: https://forms.gle/MWDdBqNdFM9EewXv7 For questions, please email: act2025(a)easychair.org<mailto:act2025@easychair.org> Have a great day! JS PL

1 0

The topology of critical processes, Part IV
by Marco Grandis 25 Apr '25

25 Apr '25

The fourth and last paper in my series on ’The topology of critical processes’ is published, in Cahiers (as the previous parts): The topology of critical processes, IV (The homotopy structure) M. Grandis Abstract, Directed Algebraic Topology studies spaces equipped with a form of direction, to include models of non-reversible processes. In the present extension we also want to cover 'critical processes', indecomposable and un-stoppable - from the change of state in a memory cell to the action of a thermostat. The previous parts of this series introduced controlled spaces, examining how they can model critical processes in various domains, and studied their fundamental category. Here we deal with their formal homotopy theory. Cah. Topol. Géom. Différ. Catég. 66 (2025), no. 2, 46-93. https://cahierstgdc.com/index.php/volume-lxvi-2025/ ----- Part I: The topology of critical processes, I (Processes and Models) Cah. Topol. Géom. Différ. Catég. 65 (2024), no. 1, 3–34. https://cahierstgdc.com/index.php/volume-lxv-2024/ Part II: The topology of critical processes, II (The fundamental category) Cah. Topol. Géom. Différ. Catég. 65 (2024), no. 4, 438–483. https://cahierstgdc.com/index.php/volume-lxv-2024/ Part III: The topology of critical processes, III (Computing homotopy) Cah. Topol. Géom. Différ. Catég. 66 (2025), no. 1, 3–18. https://cahierstgdc.com/index.php/volume-lxvi-2025/ Marco Grandis e-mail: grandismrc(a)gmail.com 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/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

Re: Final CFS Workshop on Logical and Mathematical Diagrams (LoMaDi)
by Edward Roussel 24 Apr '25

24 Apr '25

________________________________ Van: Edward Roussel Verzonden: Donderdag, 24 April, 2025 13:54 Aan: philos-l(a)liv.ac.uk; Categories Admin; diagrams-list(a)diagrams-conference.org; Edward Roussel via folli; filos-nl(a)lists.ozsw.nl; Logic CC: Stef Frijters; Lorenz Demey Onderwerp: Final CFS Workshop on Logical and Mathematical Diagrams (LoMaDi) FINAL CALL FOR SUBMISSIONS Workshop on Logical and Mathematical Diagrams (LoMaDi) Center for Logic and Philosophy of Science, KU Leuven Leuven, Belgium 15-16 September, 2025 Submission deadline: 12/05/2025 Website: https://logicalgeometry.org/events/lomadi2025 ----------------------------------------- ABOUT LoMaDi ----------------------------------------- The LoMaDi workshop is a brand new workshop aiming to support the growing community of researchers who are interested in logical or mathematical diagrams, such as (but not limited to) Aristotelian diagrams, Euler diagrams, commutative diagrams, knot diagrams, Venn diagrams, Hasse diagrams, etc. We welcome submissions from researchers that work directly on such kinds of diagrams, from a logical, philosophical, mathematical, historical, aesthetic, cognitive, … perspective. Furthermore, we also welcome submissions from those that apply these diagrams in all sorts of research domains, be it law, psychology, computer science, linguistics, philosophy, natural sciences, or some other field. In this way, we hope to stimulate interdisciplinary work, the transfer of knowledge between fields, and the conception of creative new insights. We encourage both junior researchers (including students) and established academics to make a submission, which can range from work-in-progress to completed research. The workshop does not have proceedings, so work can be submitted even if it has been submitted or published elsewhere. This workshop is supported by the ERC Starting Grant STARTDIALOG (101040049). Funded by the European Union. Views and opinions expressed are, however, those of the authors only and do not necessarily reflect those of the European Union or the European Research Council Executive Agency. Neither the European Union nor the granting authority can be held responsible for them. ----------------------------------------- KEYNOTE SPEAKERS ----------------------------------------- Sun-Joo Shin (Yale University) Title TBC Valeria Giardino (CNRS-Institut Jean Nicod, Paris) Diagrams as Cognitive Artifacts: Old Questions and New Challenges Jens Lemanski (Eberhard Karls University of Tübingen/ FernUniversität in Hagen) On the History of How Logic Diagrams have been Applied in Mathematics ----------------------------------------- IMPORTANT DATES ----------------------------------------- All deadlines are 23:59 Anywhere on Earth. Submission deadline: 12/05/2025 Author notification: 26/05/2025 Workshop dates: 15-16 September, 2025 ----------------------------------------- INSTRUCTIONS FOR SUBMISSION ----------------------------------------- If you are interested in presenting at the LoMaDi workshop, please submit an anonymized abstract of at most one page (in PDF format) to lomadi(a)kuleuven.be If you have any questions regarding the submission process or other things related to the workshop, you can direct them to lomadi(a)kuleuven.be ----------------------------------------- LOCATION ----------------------------------------- Kardinaal Mercierplein 2, 3000 Leuven, Belgium ----------------------------------------- ORGANIZING COMMITTEE ----------------------------------------- Alexander De Klerck, KU Leuven Lorenz Demey, KU Leuven Jasper Eeckhout, KU Leuven Atahan Erbas, KU Leuven Stef Frijters, KU Leuven Edward Roussel, KU Leuven Hans Smessaert, KU Leuven 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/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

TYPES 2025: Call for Participation
by Fredrik Nordvall Forsberg 24 Apr '25

24 Apr '25

Call for Participation TYPES 2025 31st International Conference on Types for Proofs and Programs Glasgow, Scotland, 9 -- 13 June 2025 https://msp.cis.strath.ac.uk/types2025/ REGISTRATION ------------ Registration is now open; see https://msp.cis.strath.ac.uk/types2025/registration.html for more information. * Early registration until 12 May * Late registration until 30 May Students can register at a reduced fee. For details, see the above link. Researchers from COST Inclusiveness Target Countries are reminded that the European Research Network on Formal Proofs COST action has some funding available for conference attendance, with a deadline of 4 May, see https://europroofnet.github.io/grants/ . INVITED SPEAKERS ---------------- Ingo Blechschmidt (University of Antwerp) Sonia Marin (University of Birmingham) Chris Martens (Northeastern University) Christian Sattler (Chalmers University of Technology and University of Gothenburg) CONTRIBUTED TALKS ----------------- A list of accepted contributed talks can be found at https://msp.cis.strath.ac.uk/types2025/accepted.html . COLOCATED EVENTS ---------------- * 10 June: Women in EuroProofNet (https://europroofnet.github.io/women-epn-2025/ ) * 16 -- 20 June: CALCO 2025 & MFPS XLI (https://www.coalg.org/calco-mfps-2025/ ) BACKGROUND ---------- 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; * links between type theory and functional programming; * formalizing mathematics using 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. If you need to discuss remote participation, please contact the organisers. VISA ISSUES ----------- Note that even if you are lucky enough to not require a visa to enter the UK, you might still need to apply for electronic travel authorisation (ETA). In particular, this applies to EU citizens. You can check what you need here: https://www.gov.uk/check-uk-visa If you do need a visa, we are happy to write you a letter of invitation, confirming that you have registered for the conference. See the registration page for more details. SPONSORS -------- Jane Street (Gold Sponsor) Formal Vindications Well-Typed IOG Tunnock's (Caramel Wafer sponsor) PROGRAMME COMMITTEE ------------------- Danel Ahman (University of Tartu, Estonia) Guillaume Allais (University of Strathclyde, Scotland) Malin Altenmüller (University of Edinburgh, Scotland) Sandra Alves (University of Porto, Portugal) Casper Bach (University of Southern Denmark, Denmark) Ana Bove (Chalmers and University of Gothenburg, Sweden) Liang-Ting Chen (Academia Sinica, Taiwan) Vikraman Choudhury (University of Bologna, Italy) Gilda Ferreira (Universidade Aberta, Portugal) Daniel Gratzer (Aarhus University, Denmark) Tom de Jong (University of Nottingham, England) Dominik Kirst (Inria Paris, France) Neel Krishnaswami (University of Cambridge, England) András Kovács (University of Gothenburg and Chalmers, Sweden) Peter LeFanu Lumsdaine (Stockholm University, Sweden) Kenji Maillard (Inria Rennes-Bretagne Atlantique, France) Max New (University of Michigan, United States of America) Fredrik Nordvall Forsberg (University of Strathclyde, Scotland) (chair) Elaine Pimentel (University College London, England) Andrew Swan (University of Ljubljana, Slovenia) Tarmo Uustalu (Reykjavík University, Iceland) Niels van der Weide (Radboud University Nijmegen, The Netherlands) Théo Winterhalter (Inria Saclay, France) Maaike Zwart (IT University Copenhagen, Denmark) TYPES STEERING COMMITTEE ------------------------ Eduardo Hermo Reyes (Formal Vindications, Spain) Tom de Jong (University of Nottingham, England) Rasmus Ejlers Møgelberg (IT University of Copenhagen, Denmark) Fredrik Nordvall Forsberg (University of Strathclyde, Scotland) Paige Randall North (Utrecht University, The Netherlands) (chair) Benno van den Berg (University of Amsterdam, The Netherlands) (secretary) ABOUT TYPES ----------- The TYPES meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. From 2009 onwards, TYPES has been run as an independent conference series. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy-en-Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn (2015), Novi Sad (2016), Budapest (2017), Braga (2018), Oslo (2019), Virtual (2021), Nantes (2022), València (2023), Copenhagen (2024). CONTACT ------- Email: CIS_types2025(a)groups.strath.ac.uk ORGANISERS ---------- Guillaume Allais (University of Strathclyde, Scotland) Stuart Gale (University of Strathclyde, Scotland) Fredrik Nordvall Forsberg (University of Strathclyde, Scotland) 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/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

Thomas Streicher Colloquium in memoriam (04/23)
by Jonathan Weinberger 22 Apr '25

22 Apr '25

To the memory of Thomas Streicher (1958–2025), the Department of Mathematics, TU Darmstadt, holds a colloquium this week on Wednesday, April 23, from 5:15 PM (CEST) that can be joined via Zoom: https://www.mathematik.tu-darmstadt.de/fb/aktuelles/news/news_details_15104… The speakers are (see above link for abstracts): Martin Hyland, University of Cambridge: Functional Interpretation and Toposes: memories of working with Thomas Streicher Jaap van Oosten, Utrecht University: Streicher Algebras – realizability for classical set theories 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/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0

coconcept = concept
by Posina Venkata Rayudu 20 Apr '25

20 Apr '25

Dear All, I wish you and your family a Happy Easter :) In a festive spirit of Easter (somewhat dual to Christmas lectures [presumably of answers]), I have an Easter question: Having learned that (i) coproducts are isomorphic to products in linear categories (zero object: 1 = 0; https://lawverearchives.com/wp-content/uploads/2024/12/1992-categories-of-s…, p. 17), and (ii) pieces = points is the defining condition of quality type (https://lawverearchives.com/wp-content/uploads/2025/01/2007-Axiomatic-cohes…, p.43), I added a few mundane ones such as the circle resulting from coincidence of the two endpoints of a straight line segment, dynamical systems resulting from codomain = domain, and isomorphisms resulting from a map being being both epi and mono. Given that existence of limits and colimits is of immense significance in category theory, along with attendant arrow reversal in going from a concept to its coconcept (and vice-versa; although reversing the arrows in the definition of product gives the definition of sum, unlike the definition of product that can be used to calculate products, sums can only be verified based on the definition of sum, cf. co-element; Lawvere & Rosebrugh, Sets for Mathematics, pp. 127-128), I'd be grateful to you for any pointers you may have regarding the general significance (conditions for and consequences) of: colimit = limit. Thanking you, Yours respectfully, posina 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/owa/categories@mq.edu.au/groupsubscription.as…> | Leave group<https://outlook.office365.com/owa/categories@mq.edu.au/groupsubscription.as…> | Learn more about Microsoft 365 Groups<https://aka.ms/o365g>

1 0