May 2024 - 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

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

25 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

Re: Need Makkai & Pare pp 117-118
by Nath Rao 29 May '24

29 May '24

Thanks to all those who sent me the pages and to those who offered to do so. I have the pages now, so you can stop now. -Nath Rao On 5/28/24 13:33, Dusko Pavlovic wrote: if this is OK, or when you get what you need, please post to the list to prevent 30 more people producing unnecessary scans :) On Tue, May 28, 2024 at 5:53 AM Nath Rao <khazanarao(a)gmail.com<mailto:khazanarao@gmail.com>> wrote: Hi, Our (Ohio State U) library's copy of Makkai and Paré's "Accessible Categories" is missing pages 117 and 118. I will be grateful if someone can send me a scan of those two pages. [The binding seems intact, and there does not seem to be any tear marks. I wonder if this was a "manufacturing defect" and afflicted a whole run.] Thanks Nath Rao 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 | Leave group | Learn more about Microsoft 365 Groups 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

ItaCa Fest, June 5th
by Ivan Di Liberti 29 May '24

29 May '24

Dear all, this is to remind you that ItaCa Fest continues on the 5th of June. Below you find the list of talks. Let me remind you that in this special case, we start at 17.00 (Italian Time). - Luigi Santocanale, Complete congruences of completely distributive lattices. - Jonathan Weinberger, The dependent Gödel fibration. - Luca Spada, 2-Weil 2-rigs. You can also find all the abstract here: https://progetto-itaca.github.io/fests/fest24.html#jun The zoom link: https://cs-ox-ac-uk.zoom.us/j/97878376376?pwd=QithMyt5NzdOeE1EWGJRcjBxamxnU… Saluti, la commissione scientifica. —————————————— Ivan Di Liberti Postdoc Göteborgs universitet https://diliberti.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/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

Need Makkai & Pare pp 117-118
by Nath Rao 29 May '24

29 May '24

Hi, Our (Ohio State U) library's copy of Makkai and Paré's "Accessible Categories" is missing pages 117 and 118. I will be grateful if someone can send me a scan of those two pages. [The binding seems intact, and there does not seem to be any tear marks. I wonder if this was a "manufacturing defect" and afflicted a whole run.] Thanks Nath Rao 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

*** Category Theory and Categorical Algebra - Milan 2024 *** Second Announcement ***
by Giuseppe Metere 27 May '24

27 May '24

Dear colleagues and friends, It is now possible to register to the workshop *** Category Theory and Categorical Algebra *** to be held at the University of Milan, September 9th and 10th, 2024, to celebrate the 60th birthday of Enrico Vitale. There is no conference fee, however registration is required. Please register before July 15th by filling the following online form: https://forms.gle/YdZ19TSnDgWZTfzh8 The following speakers confirmed their participation: Francis Borceux (Université catholique de Louvain) Dominique Bourn (Université du Littoral) Marino Gran (Université catholique de Louvain) Pierre-Alain Jacqmin (Université catholique de Louvain and Royal Military Academy, Belgium) Zurab Janelidze (Stellenbosch University) Mariano Messora (Università degli Studi di Milano) Giuseppe Metere (Università degli Studi di Milano) Julia Ramos González (Université catholique de Louvain, Belgium) Giuseppe Rosolini (Università degli Studi di Genova) More details on the conference website: https://sites.google.com/view/beppemetere/ct-catalg For information and enquiries, do not hesitate to email one of the organizers. Alan Cigoli Marino Gran Sandra Mantovani Beppe Metere .ƸӜƷ.•°*”˜˜”*°•.ƸӜƷ.•°*”˜˜”*°•.ƸӜƷ. Giuseppe Metere, PhD Professore Associato DeFENS Università degli Studi di Milano 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

Category Theory / Machine Learning / Software Engineering research posts at Symbolica
by Dominic Verity 25 May '24

25 May '24

Dear Colleagues, Symbolica (https://symbolica.ai) is a startup developing new foundational deep learning models for structured reasoning, based on principles of category theory, type theory and functional programming. Specifically, we aim to develop models which manipulate structured data, learn algebraic structure in it, and do so with an interpretable and verifiable logic. To that end, we are developing new mathematical foundations for deep learning http://www.categoricaldeeplearning.com/. We are currently assembling a research and development lab of expert: * category theory; * type theory; and * machine learning researchers, as well as * research software engineers to develop this theory and apply it to code synthesis and theorem proving. We are committed both to fundamental ideas and their implementation in models and software. We are hiring in: * London, U.K. - working out of our office in Shoreditch * Australia and compatible timezones (e.g. Japan) - Remote (fixed hours) Please note: All U.K. and Australia positions are listed as remote and all salaries are quoted in U.S. dollars, since the only locations accepted by Gusto are in the U.S. We are not, however, hiring in the U.S. for these positions. This round of applications will close on the 9th of June 2024. To express your interest in one of these roles please head to https://jobs.gusto.com/boards/symbolica-ai-67195a74-31b4-4052-ba18-e859d461… and apply by answering a few questions and providing a résumé and cover letter. With very best wishes Professor Dominic Verity Director of Symbolics [Symbolica] Symbolica.ai | dom(a)symbolica.ai<mailto:dom@symbolica.ai> The book "Elements of ∞-Category Theory" by Emily Riehl and Dom Verity is available now from Cambridge University Press. Our deepest gratitude to CUP for allowing ongoing free access to the preprint version for personal use. 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

ACT and MFPS 2024 Call for Participation
by Sam Staton 24 May '24

24 May '24

ACT and MFPS 2024 Call for Participation Applied Category Theory and Mathematical Foundations of Programming Semantics These conferences will be co-located in Oxford, June 2024. Student registration starts at just £30. Registration links and local information: https://oxford24.github.io/local.html List of talks: https://oxford24.github.io/all-talks.html Key dates: * Early registration deadline: 31 May 2024 UK time * ACT: 17 - 21 June 2024 * MFPS: 19 - 21 June 2024 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

YaMCATS 35, University of Manchester, 20 June 2024
by Nicola Gambino 20 May '24

20 May '24

*** Yorkshire and Midlands Category Theory Seminar *** Thursday, 20th June 2024 *** The University of Manchester, UK Dear colleagues and friends, The 35th meeting of the Yorkshire and Midlands Category Theory Seminar (YaMCATS) will be held at the University of Manchester on 20th June 2025. The speakers will be: Marcelo Fiore (University of Cambridge) Sean Moss (University of Birmingham) Simona Paoli (University of Aberdeen) Please check the YaMCATS website https://conferences.leeds.ac.uk/yamcats/ for further information and registration. Please register by 13th June 2024. This is a satellite meeting of the 75th British Mathematical Colloquium, which will take place at the University of Manchester from 17th June to 20th June 2024. See https://sites.google.com/view/bmc2024 for more details. YaMCATS is a research network involving the Universities of Leeds, Manchester and Sheffield, supported by the London Mathematical Society. With best regards, Nicola Gambino, also on behalf of João Faria Martins (University of Leeds) and Markus Szymik (University of Sheffield) 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

TLLA 2024 -- Call for Papers
by JS Lemay 14 May '24

14 May '24

============================================================== Call for Papers TLLA 2024 8th International Workshop on Trends in Linear Logic and Applications Tallinn, Estonia 8-9 July 2024 Affiliated with FSCD 2024 https://tlla.linear-logic.org/2024/ ============================================================== Linear Logic is not only a proof theoretical tool to analyze or control the use of resources in logic and computation. It is also a corpus of tools, approaches, and methodologies (proof nets, exponential decomposition, geometry of interaction, coherent spaces, relational models, etc.) that, even if developed for studying Linear Logic syntax and semantics, have been applied in several other fields (analysis of lambda-calculus computations, game semantics, computational complexity, program verification, etc.). The TLLA international workshop aims at bringing together researchers working on Linear Logic or applying it or its tools. The main goal is to present and discuss trends in the research on Linear Logic and its applications by means of tutorials, invited talks, open discussions, and contributed talks. The purpose is to gather researchers interested in the connections between Linear Logic and various topics such as * theory of programming languages * games and languages * proof theory * categories and algebra * implicit computational complexity * parallelism and concurrency * quantum and probabilistic computing * models of computation * possible connections with combinatorics * functional analysis and operator algebras * philosophy of logic and mathematics * linguistics ---------------------------------------------------------------------- ** Submission Guidelines ---------------------------------------------------------------------- Contributions are not restricted to talks presenting original results, but are also open to tutorials, open discussions, and position papers. For this reason, we strongly encourage contributions presenting work in progress, open questions, and research projects. Contributions presenting the application of linear logic results, techniques, or tools to other fields, or vice versa, are most welcome. To propose a contributed talk, please submit a short abstract whose length is between 2 and 5 pages at https://tlla-2024.sciencesconf.org ---------------------------------------------------------------------- ** Important dates ---------------------------------------------------------------------- * Submission deadline: 15 May 2024 * Notification to authors: 25 May 2024 * Final versions due: 16 June 2024 * Workshop date: 8-9 July 2024 ---------------------------------------------------------------------- ** Publication ---------------------------------------------------------------------- The abstracts of the contributed and invited talks will be published on the site of the conference. Possible other formats will be discussed at the workshop. ---------------------------------------------------------------------- ** Invited Speakers ---------------------------------------------------------------------- * TBA ---------------------------------------------------------------------- ** Program Committee ---------------------------------------------------------------------- * Paolo Pistone (chair), Université Lyon 1 * Farzaneh Derakhshan, Illinois Institute of Technology * Amy Felty, University of Ottawa * Zeinab Galal, Università di Bologna * Willem Heijltjes, University of Bath * Delia Kesner, Université Paris Cité * Jean-Simon Pacaud Lemay, Macquarie University * Federico Olimpieri, Université d'Aix-Marseille ---------------------------------------------------------------------- ** Organization Committee ---------------------------------------------------------------------- * Thomas Ehrhard, CNRS - Université Paris Cité, France * Stefano Guerrini, Université Sorbonne Paris Nord, France * Lorenzo Tortora de Falco, Università Roma Tre, Italy ---------------------------------------------------------------------- ** Proceedings ---------------------------------------------------------------------- We are considering the possibility of publishing online proceedings after the workshop. ---------------------------------------------------------------------- ** Contact ---------------------------------------------------------------------- All questions about submissions can be emailed at tlla-2024(a)sciencesconf.org or paolo.pistone(a)ens-lyon.fr.

1 1