May 2023 - Categories - categories.org.au

Re: "First" use of 'Category theory' to describe our field
by David Roberts 24 Feb '24

24 Feb '24

Dear Ross, no, that's pretty good! It's mildly surprising that it took ~20 years for the name to 'stick', but maybe less so given that the field grew slowly to start. Thanks, David David Roberts Webpage: https://ncatlab.org/nlab/show/David+Roberts Blog: https://thehighergeometer.wordpress.com On Thu, 11 Jul 2019 at 08:21, Ross Street <ross.street(a)mq.edu.au> wrote: > > Dear David > > From memory, the Pure Mathematics Honours (USyd) course that Max Kelly taught in 1965 > was called ``Category Theory''. It concentrated on different kinds of morphisms > and factorizations in a category, and finished with adjoint functors. > Also John Gray's (UIllinois) 1968-69 graduate course had that name. > > From Eilenberg I heard that each person using categories should have their own category of expertise. > I told this to John Gray who said that was fine; the time had come for that category to be Cat. > > I would suggest that the first category theorists to think of themselves as such were Eilenberg's students at Columbia. > However, Mac Lane was definitely a category theorist. > > This is probably not the verifiable stuff you were seeking. > > Ross > > > On 10 Jul 2019, at 10:01 PM, David Roberts <droberts.65537(a)gmail.com> wrote: > > Hi all, > > the (idle) question is: when did the phrase 'category theory' catch on > for the field? Clearly it didn't leap from either of the heads of > Eilenberg or Mac Lane full-grown, since they used the phrase 'General > theory of natural equivalences'. There are the old 'Reports of the > Midwest Category Seminar' lecture notes (the first in 1967), which > hints that 'category theory' wasn't quite the name in use. > > Even more interesting: who was the first "category theorist", by that name? > > Answers referring to verifiable sources would be best. > > Thoughts? > > David > > > > David Roberts > Webpage: https://ncatlab.org/nlab/show/David+Roberts > Blog: https://thehighergeometer.wordpress.com > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

3 4

HOR 2023: Call for Participation
by Carsten Fuhs 31 May '23

31 May '23

---------------------------------------------------------------------- ** ** **** CALL FOR PARTICIPATION **** ** ** HOR 2023 - 11th International Workshop on Higher-Order Rewriting ** 4 July 2023 ** Rome, Italy ** ** https://hor2023.github.io/ ---------------------------------------------------------------------- ** ** HOR 2023 is affiliated with FSCD 2023 ** https://easyconferences.eu/fscd2023/ ** ---------------------------------------------------------------------- * OVERVIEW HOR is a forum to present work concerning all aspects of higher-order rewriting. HOR aims to provide an informal and friendly setting to discuss recent work and work in progress concerning higher-order rewriting, broadly construed. This includes rewriting systems that have functional variables or bound variables, the lambda-calculus and combinatory logic being paradigmatic examples. ---------------------------------------------------------------------- ** REGISTRATION ---------------------------------------------------------------------- The registration page for FSCD 2023 and affiliated events, such as HOR 2023, is available here: https://easyconferences.eu/fscd2023/registration1/ The early registration deadline is *** 31 May 2023 ***. Attending HOR 2023 is possible both in-person and remotely. ---------------------------------------------------------------------- ** INVITED SPEAKER ---------------------------------------------------------------------- Pablo Barenbaum ??? Universidad de Buenos Aires, Argentina ---------------------------------------------------------------------- ** ACCEPTED PAPERS ---------------------------------------------------------------------- The list of accepted papers is available here: https://hor2023.github.io/#accepted ---------------------------------------------------------------------- ** COMMITTEES ---------------------------------------------------------------------- ** PROGRAM COMMITTEE * Takahito Aoto - Niigata University, Japan * Maribel Fern??ndez - King's College London, United Kingdom * Carsten Fuhs (Chair) - Birkbeck, University of London, United Kingdom * Delia Kesner - Universit?? Paris 7, France * Cynthia Kop - Radboud Universiteit Nijmegen, The Netherlands * Damiano Mazza - Universit?? Paris 13, France ---------------------------------------------------------------------- ** STEERING COMMITTEE * Delia Kesner, Universit?? Paris 7, France * Femke van Raamsdonk, Vrije Universiteit, The Netherlands [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

[ICTAC 2023] Second call for papers – deadline 16 June 2023
by Violet Ka I Pun 26 May '23

26 May '23

------------------------------------------------------------------------------ ICTAC 2023 - Second Call for Papers 20th International Colloquium on Theoretical Aspects of Computing 04-08 December 2023, Lima - Peru https://ictac2023.compsust.utec.edu.pe/ ------------------------------------------------------------------------------ ABOUT PROTESTS IN PERU We are continuously monitoring the political situation in the host country Peru, which faced violent protests in 2022 also affecting travelers. To the best of our knowledge, this situation has calmed down. If protests erupt again, we will work closely with the ICTAC Steering Committee to choose the best feasible solution. IMPORTANT DATES Submission deadline: 16 June 2023 (AoE) Notification: 10 September 2023 (AoE) Camera ready: 25 September 2023 (AoE) SCOPE The ICTAC conference series aims at bringing together researchers and practitioners from academia, industry, and government to present research and exchange ideas and experiences within theoretical aspects of computing through methods and tools for system development. ICTAC also aims to promote research cooperation between developing and industrial countries. TOPICS The conference concerns all aspects of theoretical computer science, including, but not limited to: - Languages and automata - Semantics of programming languages - Logic in computer science - Lambda calculus, type theory, and category theory - Domain-specific languages - Theories of concurrency and mobility - Theories of distributed computing - Models of objects and components - Coordination models - Timed, hybrid, embedded, and cyber-physical systems - Security and privacy - Static analysis - Software verification - Software testing - Program generation and transformation - Model checking and theorem proving - Theory and methods of trustworthy AI - Applications and experiences SUBMISSIONS We solicit submissions, related to the topics of ICTAC, in the following categories: A. original research contributions; B. short papers, with original work in progress or with proposals of new ideas and emerging challenges; and C. tool papers on tools that support formal techniques for software modeling, system design, and verification. Submissions must not exceed 16 pages (excluding bibliography of maximum 2 pages). Short and tool papers should not exceed 8 pages. Submissions must not have been published or be under consideration for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference’s topics. All contributions to ICTAC 2023 have to be submitted electronically in PDF format via Easy Chair https://easychair.org/conferences/?conf=ictac20230 Papers must be formatted according to the guidelines for Springer LNCS papers (see http://www.springer.com/lncs) without modifications of margins and other space-saving measures. Authors should therefore consult Springer’s authors’ instructions and use their proceedings templates, either for LaTeX or for Word, for the preparation of their papers. Springer encourages authors to include their ORCIDs in their papers. PUBLICATION All accepted papers in categories A-C will appear in the proceedings of the conference that will be published as a volume in Springer’s Lecture Notes in Computer Science (LNCS) series. All accepted papers must be presented at the conference. Their authors must be prepared to sign a copyright transfer statement. At least one author of each accepted paper must register for the conference by the early registration date, and present the paper. A special journal issue is planned for extended versions of selected papers from ICTAC 2023. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Hopf Days in Brussels 2023 - 1st announcement
by SARACCO Paolo 24 May '23

24 May '23

Dear colleagues and friends, We are glad to announce the "Hopf Days in Brussels 2023" conference that will be held at the ULB - Université Libre de Bruxelles on the 4th and 5th of September, 2023. This two-days event aims at being an occasion to gather international experts and young researchers in the theory of Hopf algebras and related topics. Please, feel free to share the details of this event in your local academic community and to forward the information to anyone who might be interested. ================================================================= REGISTRATION Registration is now open via a form on the webpage sites.google.com/view/hopfdaysbrussels2023 You may also reach it directly via the following link: form.jotform.com/filkasyfil/hopf-days-in-brussels-2023 Please, register before the 20th of August at 23:59:59 Anywhere on Earth. Registration is free but mandatory. We also have a limited budget at our disposal to offer limited financial support to (young) participants who will actively contribute to the event. If you are interested to apply, please mention it in the registration form. We encourage people who want to apply for support to register as soon as possible, as support will be given on a first come, first served basis ! ================================================================= CONFIRMED SPEAKERS - Ana Agore (Bucharest/Brussels) - Daniel Bulacu (Bucharest) - Piotr M. Hajac (Warsaw) - Robert Laugwitz (Nottingham) - Ehud Meir (Aberdeen) [to be confirmed] - Kenichi Shimizu (Shibaura) - Thomas Weber (Turin) If you are interested in giving a contributed talk, please indicate so and send your abstract (tex file, template can be downloaded from webpage) in the registration form. Please register as soon as possible if you want to give a talk, because slots in the schedule and support will be given on a first come, first served basis ! ================================================================= ORGANISERS Ryan Aziz Paolo Saracco Joost Vercruysse For any additional information, please contact us at Ryan.Aziz(a)ulb.be, Paolo.Saracco(a)ulb.be, Joost.Vercruysse(a)ulb.be<mailto:Joost.Vercruysse@ulb.be>. -- Paolo Saracco, PhD ULB - Université Libre de Bruxelles Département de Mathématique Campus de la Plaine CP 216 Bd du Triomphe sites.google.com/view/paolo-saracco paolo.saracco.web.ulb.be [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Last call to participation to oint LHC and Métayer days: 6 to 9 June in Paris
by Samuel Mimram 22 May '23

22 May '23

Dear colleagues, A second (and last) announce for a joint event we are organizing. We are pleased to invite you to the annual days of the LHC workgroup (Logic, Homotopy, Cateogries), which will take place in Paris (around Irif lab) on 6 and 7 June 2023 Those will be followed by two days of conferences in honour of Fran??ois M??tayer, on the occasion of his retirement, on 8 and 9 June 2023 which should also be of interest to LHC people. The invited speakers of that conference are - Albert Burroni, IMJ, UPC - L??onard Guetta, postdoc in Max Planck Institut, Bonn - Amar Hadzihasanovi?? , Tallinn University of Technology - Simon Henry, University of Ottawa - Andr?? Joyal, Universit?? du Qu??bec ?? Montr??al - Muriel Livernet, IMJ, UPC - Philippe Malbos, Universit?? Claude Bernard Lyon 1 - Georges Maltsiniotis, IMJ, UPC - Samuel Mimram, ??cole Polytechnique - Alain Prout??, membre ?? la retraite de l'IMJ, UPC Participation to both events is free but registration is mandatory and can be performed, before the *29 May 2023*, at https://framaforms.org/lhc-days-2023-francois-metayer-days-1681303855 In order to ease the organization, please try not to wait until the last minute to register. Preliminary programs can be found on the following webpages: - LHC days: https://smimram.gitlabpages.inria.fr/lhc/journees.html - M??tayer days: https://smimram.gitlabpages.inria.fr/lhc/francois.html See you soon! Pierre-Louis Curien <curien(a)irif.fr> (local organizer) Yves Guiraud <guiraud(a)imj-prg.fr> (local organizer) Samuel Mimram <samuel.mimram(a)lix.polytechnique.fr> (LHC coordinator) Lionel Vaux Auclair <lionel.vaux(a)univ-amu.fr> (LHC coordinator) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

List of CT conferences
by David Roberts 22 May '23

22 May '23

Hi all, someone started a page on the nLab that listed the locations (and, where possible, websites etc) for the annual(-ish) CT conference. There are some gaps even as recently as the last 20 years, and the current oldest item is the 1989 Bangor CT. https://ncatlab.org/nlab/show/Category+Theory+conference In looking around, I suspect that in some years (before my time) the conference may have gone under a different name, or was combined in some way. For instance, was it ever held at MSRI? And, of course, it may not have been held in some years (2012?) If people can supply some info for 1993,1994,1996,1997,1998,2001,2002,2003,2005,2012, then at least we will have the last 30 years recorded. I think I know where to find some info about the 1980s (Bob Paré's list of conference talks! https://www.mscs.dal.ca/~pare/Conferences.html) but getting a full list would be good, inasmuch as that is possible. Perhaps there was a published list in a proceedings of the history at some point? Thanks. David Roberts Webpage: https://ncatlab.org/nlab/show/David+Roberts Blog: https://thehighergeometer.wordpress.com [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Next ItaCa online seminar
by Giuseppe Metere 21 May '23

21 May '23

Dear all, The next date of the ItaCa Fest will be May 24 2023, at 3 pm CET. We will be hosting 15:00 - 15:40 F. Guffanti, "A doctrinal view of logic" 15:40 - 16:20 M. Menni, "Decidable objects and molecular toposes" 16:20 - 17:00 P. Freni, "What should strong vector spaces be?" at the following link: https://cs-ox-ac-uk.zoom.us/j/97878376376?pwd=QithMyt5NzdOeE1EWGJRcjBxamxnU… As always, we welcome a good discussion and you can stick with us for a chat after the last talk. You can find the abstracts and more on our seminar at the Fest's page: https://progetto-itaca.github.io/pages/fest23.html Hope to see you soon! Cheers, Beppe, Ivan, Fosco, Paolo and Greta. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Postdoc Ad | Bilkent University
by Cihan Okay 21 May '23

21 May '23

Dear Colleagues, Postdoctoral positions are available in my group to work on the project Topology of Quantum Resources, funded by the US Air Force Office of Scientific Research. This posting targets candidates with a background in algebraic topology or category theory, knowledge of quantum computing is not required but would be an asset. The main objects we are interested in are simplicial distributions; see https://arxiv.org/abs/2204.06648 for an accessible account. They are simplicial sets that model spaces of probability distributions and can be used to study Bell inequalities that appear in quantum theory. For a more categorical approach, see also https://arxiv.org/abs/2211.00571. Applications are through mathjobs (https://www.mathjobs.org/jobs/list/22255) with a June 15, 2023 deadline. Feel free to contact me if you have any questions. Best, Cihan http://cihan.okay.bilkent.edu.tr/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

29th WoLLIC 2023 - Call for Participation
by Ruy Jose Guerra Barretto de Queiroz 17 May '23

17 May '23

CALL FOR PARTICIPATION *** Deadline for booking university residence accommodation: 25 May 2023 *** *** Deadline for early registration: 25 May 2023 *** WoLLIC 2023 29th Workshop on Logic, Language, Information and Computation 11-14 July, 2023 Dalhousie University, Halifax, Nova Scotia, Canada Website: https://www.mathstat.dal.ca/wollic2023/ WoLLIC is an annual international forum on interdisciplinary research involving formal logic, computing and programming theory, and natural language and reasoning. Each meeting includes invited talks and tutorials as well as contributed papers. The list of accepted papers is now available on the website. ORGANISATION Department of Mathematics and Statistics, Dalhousie University, Canada Centro de Informática, Universidade Federal de Pernambuco, Brazil LOCATION AND FORMAT The twenty-ninth WoLLIC will be held 11-14 July 2023 at the Department of Mathematics and Statistics, Dalhousie University, in Halifax, Canada. Halifax (https://www.halifax.ca/) is the capital of the Canadian province of Nova Scotia, and the largest municipality in Atlantic Canada. WoLLIC 2023 will be a hybrid event. All invited talks are planned to be on-site in order to stimulate discussions and interaction with participants. REGISTRATION AND ACCOMMODATION Please register via the website (see top). The early registration deadline is *25 May 2023*. A limited number of rooms are available at the Dalhousie university residences. The deadline for booking these is *25 May 2023*. See the Accommodations page for details: https://www.mathstat.dal.ca/wollic2023/accommodations.html INVITED SPEAKERS Thomas Bolander (Technical University of Denmark) Makoto Kanazawa (Hosei University, Japan) Michael Moortgat (Utrecht University, Netherlands) Magdalena Ortiz (University of Umeå, Sweden) Aybüke Özgün (University of Amsterdam, Netherlands) Dusko Pavlovic (University of Hawaii, USA) Richard Zach (University of Calgary, Canada) SPECIAL SESSION: MOVIE SCREENING “JOURNEYS OF BLACK MATHEMATICIANS” In a special session at WoLLIC 2023, we plan to screen a documentary film that explores the groundbreaking achievements of African American mathematicians. "Journeys of Black Mathematicians" (zalafilms.com) is a powerful film that traces the history of these pioneering individuals and their impact on mathematics. This film is not only a tribute to their achievements, but also an inspiration for Black and other minority students to pursue their studies and consider careers in mathematics. The film is currently in production and its filmmaker, George Csicsery, has agreed to give us a sneak peek. We will be shown a rough cut if it is ready by the screening date. If not, George will be showcasing some sample scenes to give us a taste of what's to come. PROGRAMME COMMITTEE Bahareh Afshari (University of Gothenburg, Sweden, and University of Amsterdam, Netherlands) Zena Ariola (University of Oregon, USA) Adriana Balan (University Politechnica of Bucharest, Romania) Marta Bílková (Czech Academy of Sciences, Czech Republic) Ranald Clouston (Australian National University, Australia) Willem Conradie (University of the Witwatersrand, South Africa) Josée Desharnais (Laval University, Canada) David Fernández-Duque (Universitat de Barcelona, Spain) Santiago Figueira, Universidad de Buenos Aires, Argentina Silvia Ghilezan (University of Novi Sad & Mathematical Institute SASA, Serbia) Sujata Ghosh (Indian Statistical Institute, India) Nina Gierasimczuk (Technical University of Denmark, Denmark) Helle Hvid Hansen (University of Groningen, Netherlands) (co-chair) Andreas Herzig (CNRS, University of Toulouse, France) Juha Kontinen (University of Helsinki, Finland) Roman Kuznets (TU Wien, Austria) Martha Lewis (University of Bristol, UK) Johannes Marti (University of Oxford, UK) George Metcalfe (University of Bern, Switzerland) Cláudia Nalon (University of Brasilia, Brasil) Carlos Olarte (Université Sorbonne Paris Nord, France) Sophie Pinchinat (University of Rennes, France) Francesca Poggiolesi (CNRS, University Paris 1 Panthéon-Sorbonne, France) Sylvain Pogodalla (INRIA Nancy, France) Revantha Ramanayake (University of Groningen, Netherlands) Mehrnoosh Sadrzadeh (University College London, UK) Andre Scedrov (University of Pennsylvania, USA) (co-chair) Philip Scott (University of Ottawa, Canada) Viorica Sofronie-Stokkermans (University of Koblenz-Landau, Germany) Kazushige Terui (Kyoto University, Japan) Mladen Vuković (University of Zagreb, Croatia) STEERING COMMITTEE Samson Abramsky, Anuj Dawar, Juliette Kennedy, Ulrich Kohlenbach, Daniel Leivant, Leonid Libkin, Lawrence Moss, Luke Ong, Valeria de Paiva, Ruy de Queiroz, Alexandra Silva, Renata Wassermann. ADVISORY COMMITTEE Johan van Benthem, Joe Halpern, Wilfrid Hodges, Angus Macintyre, Hiroakira Ono, Jouko Väänänen. ORGANISING COMMITTEE Julien Ross (Dalhousie University) Peter Selinger (Dalhousie University) (co-chair) Anjolina G. de Oliveira (Univ Federal de Pernambuco, Brasil) Ruy de Queiroz (Univ Federal de Pernambuco, Brasil) (co-chair) SCIENTIFIC SPONSORSHIP Interest Group in Pure and Applied Logics (IGPL) The Association for Logic, Language and Information (FoLLI) Association for Symbolic Logic (ASL) European Association for Theoretical Computer Science (EATCS) European Association for Computer Science Logic (EACSL) Sociedade Brasileira de Lógica (SBL) FINANCIAL SUPPORT We gratefully acknowledge financial support from: Atlantic Association for Research in the Mathematical Sciences (AARMS) Dalhousie University Faculty of Science [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Second Announcement for Special Volume of TAC in honour of Pieter Hofstra
by Richard Blute 17 May '23

17 May '23

Last year, our dear friend and colleague Pieter Hofstra (1975-2022) passed away. Pieter obtained his PhD from Utrecht University, under Jaap van Oosten, studying realizability toposes. His research interests included general topos theory, realizability, inverse semigroups and groupoids, abstract computability, and homotopy type theory. Among his recent works, with J. Funk, he introduced the notion of isotropy groups of toposes, which he was actively developing with students and colleagues. While Pieter was a brilliant researcher, a kind teacher and a caring supervisor, we will most remember him as a friend. This is a second announcement from the guest editors (Richard Blute, Eugenia Cheng, Robin Cockett and Philip Scott) that the journal Theory and Applications of Categories, a journal for which Pieter was an editor, will dedicate a special volume in his honor. Authors are invited to submit their manuscripts in electronic form to one of the editors, listed below. All papers will be carefully refereed following the standards of "Theory and Applications of Categories". Prospective authors are requested to: 1. Copy the managing editor of TAC, Geoffrey Cruttwell (attac(a)mta.ca<mailto:attac@mta.ca>), when submitting an article. 2. As with ordinary TAC papers, for the final version, authors should follow the instructions on the TAC website and then send their final tex and pdf files to Geoff (again attac(a)mta.ca<mailto:attac@mta.ca>). The guest editors would much prefer that also the initial submission of a PDF already use the TAC template to simplify the work of reviewing. The deadline for submission of papers is May 31, 2023. The Guest Editors Richard Blute Eugenia Cheng Robin Cockett Philip Scott [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0