October 2024 - Categories - categories.org.au

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

22 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

Special Volume of MSCS in honor of Marek Zawadowski
by Chris Kapulkin 17 Mar '25

17 Mar '25

Dear Colleagues, We are honored to announce a special volume of the journal Mathematical Structures in Computer Science celebrating the work of Marek Zawadowski. Marek Zawadowski (1960-2024) was a mathematician at the University of Warsaw. He received his Ph.D. from the Université de Montréal in 1989 under the supervision of Gonzalo Reyes with the dissertation “Théorie de la descente pour les prétopos.” He made fundamental contributions to category theory, logic, and linguistics. He passed away unexpectedly in February 2024. This special volume is a celebration of Marek Zawadowski’s work and welcomes submissions on a broad range of topics, including: categorical logic, higher category theory, and linguistics. The volume will be edited by four guest editors: Pierre-Louis Curien (Université Paris Cité and Inria) Justyna Grudzińska (University of Warsaw) Chris Kapulkin (University of Western Ontario) Karol Szumiło (University of Warsaw) To submit your paper to the special volume, please go to https://mc.manuscriptcentral.com/mscs After starting a new submission, you will be asked (as part of Step 1) whether your manuscript is a candidate for a Special Issue; you should select “Tribute to Marek Zawadowski.” The editors will be happy to answer any questions at marek.zawadowski.memorial(a)gmail.com The submission deadline is March 31, 2025. If you are planning to submit a paper but are worried about making the deadline, please contact the editors at your earliest convenience. Best wishes, Chris Kapulkin For the Guest Editors 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>

2 1

PhD opportunities at the University of Birmingham
by Paul Levy 24 Nov '24

24 Nov '24

* Imminent funding deadline (1 December) - please contact us immediately if you are interested. * Dear all, We invite applications for PhD study at the University of Birmingham. We are a group of (mostly) theoretical computer scientists who explore fundamental concepts in computation. Our work includes category theory, computational complexity, programming language semantics, proof theory, type theory, verification and much else besides. See our webpage, with links to individual researchers, here: https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-c… Information about PhD applications may be found here: https://www.birmingham.ac.uk/schools/computer-science/postgraduate-research… If you are considering applying, please contact any of us. We will be very happy to discuss the opportunities available. Best regards, The Birmingham CS theory group, including:- Benedikt Ahrens Rajesh Chitnis Anupam Das Martín Escardó Eric Finster Dan Ghica Mirco Giacobbe Paul Levy Sonia Marin Sean Moss Jakub Opršal Vincent Rahli Uday Reddy Eike Ritter 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

Octoberfest website is now avaialble
by Richard Blute 31 Oct '24

31 Oct '24

Thanks to all the speakers and everyone who attended this year’s Octoberfest. You can now find all of the slides and videos available at the conference website: https://richardblute.ca/octoberfest-2024/ cheers Rick 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

Postdoc in Type Theory/Logic, Stockholm Univ. (deadline 4 Nov)
by Peter LeFanu Lumsdaine 25 Oct '24

25 Oct '24

Dear all, We have a postdoc position open in type theory and mathematical logic, for a 2-year post, starting this coming January, with application deadline Nov 4 (i.e. Monday week — sorry for the rather late announcement). Type theory is the core of the grant project it’s attached to, but applicants working on related topics in logic are also very welcome. The full posting and application system is at: [English] https://www.su.se/english/about-the-university/work-at-su/available-jobs?rm… [Swedish] https://www.su.se/om-universitetet/jobba-på-su/lediga-jobb?rmpage=job&rmjob… Although the instructions ask for ≤3-years post-PhD, exceptions can be made to this, so I encourage all interested candidates to apply! And please email me <p.l.lumsdaine(a)math.su.se<mailto:p.l.lumsdaine@math.su.se>> if you have any inquiries about the position — the application procedure, our department, Stockholm/Sweden, etc… Best wishes, –Peter. 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

[CfP] Final announcement: 109th Peripatetic Seminar on Sheaves and Logic, 15th-17th November, Leiden, NL
by Chase Ford 24 Oct '24

24 Oct '24

This is the second (and final) announcement for the 109th Peripatetic Seminar on Sheaves and Logic (PSSL 109). It will be hosted in the heart of Leiden, the Netherlands, over the weekend of November 15th-17th. In-person attendance is encouraged, but it is also possible to attend virtually so that those who are unable to travel can also participate. We gather a few highlights below. Additional details can be found on the PSSL 109 website: https://dutchcats.github.io/PSSL-2024/index.html Registration: There are no registration fees, but registration is required. Please enter your details in the following form if you plan to participate (deadline: 05 November): https://docs.google.com/forms/d/e/1FAIpQLSdW_81AONZ28nJlOww4c9CsDDuYvpnShum… Submitting proposals for contributed talks: We seek proposals for contributed talks on all aspects of category theory and its applications. Talks about work in progress are also warmly welcomed. We especially encourage PhD students and young researchers to submit their work. As PSSL is an informal gathering, there will be no formal proceedings. In order to submit a talk, please send a pdf (max. 1 A4 page) containing the details of your proposal (title, speaker name, abstract) to Chase Ford before 01 November: m.c.ford [at] liacs.leidenuniv [dot] nl Invited speakers: We have two invited talks from Paolo Perrone (University of Oxford) and Maaike Zwart (IT University of Copenhagen). 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

A Note on the Smash Product and Regular Associativity
by Marco Grandis 23 Oct '24

23 Oct '24

This article is published online, in APCS: A Note on the Smash Product and Regular Associativity Marco Grandis Applied Categorical Structures (2024) 32:33. October 2024 DOI: 10.1007/s10485-024-09787-8 Link (only view): https://rdcu.be/dXwfe Abstract. We want to study the smash product of pointed topological spaces, in an organic way and full generality, without relying on some ‘convenient subcategory’. The n-ary smash product has a ‘colax’ form of associativity, which supplies a categorical framework for the properties of this operation and its connection with the function spaces. Various concrete computations of smash products are given, including a large class of cases where associativity fails. Lax and colax monoidal structures are unusual and interesting, in category theory. Some parts of this note will be obvious to a topologist and others to a categorist, in order to take into account both backgrounds. —————————————— Regards, Marco Grandis New email address: 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

CATNIP meeting, Univ of Aberdeen 19 Nov 2024
by Paoli, Simona 22 Oct '24

22 Oct '24

Dear Colleagues, the next meeting of the Categories Networking Project (CATNIP) will take place at the University of Aberdeen on Tuesday 19 November 2024. The invited speakers are: Malin Altenmuller (University of Edinburgh) Dorette Pronk (Dalhousie University) Third speaker TBA To register, please follow this link: CATNIP - Registration Further updates and details of the programme will be posted at the CATNIP website: https://sites.google.com/view/catniporg/meetings We look forward to seeing you in Aberdeen! Best wishes, The CATNIP organizers Jules Hedges (University of Strathclyde) Chris Heunen (University of Edinburgh) Tom Leinster (University of Edinburgh) Simona Paoli (University of Aberdeen) The University of Aberdeen is a charity registered in Scotland, No SC013683. Tha Oilthigh Obar Dheathain na charthannas clàraichte ann an Alba, Àir. SC013683. 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

SmallCats.info
by Jamie Vicary 21 Oct '24

21 Oct '24

Hi, Perhaps not as well known as it should be, http://smallcats.info is a beautiful website that hosts a database of all finite categories with up to 7 morphisms. Many properties are pre-computed and searchable (is_connected, is_groupoid, has_equalizers, etc). I think this is very nice work and opens up some exciting possibilities. Best wishes, Jamie 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>

2 1