April 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

HoTT 2023: Reduced registration ends May 1
by Steve Awodey 27 Apr '23

27 Apr '23

[Apologies for duplicate emails] *** HoTT 2023 *** Second International Conference on Homotopy Type Theory *** Carnegie Mellon University *** 22nd-25th May 2023 The reduced registration rate for HoTT 2023 closes May 1. Thereafter registration will be possible until 14th May at a higher rate. The conference will take place from the morning of Monday 22nd May to the evening of Thursday 25th May 2023 at Carnegie Mellon University in Pittsburgh. You can register via the website https://hott.github.io/HoTT-2023//registration/ which now also includes a list of accepted talks as well as registered participants. With best regards, Steve (on behalf of the Scientific and Organising Committees) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2023
by Ana Sokolova 27 Apr '23

27 Apr '23

Call for Nominations: E. W. Beth Outstanding Dissertation Prize 2023 ——————————————————————————————————————————————————————————————————————— Since 2002, the Association for Logic, Language, and Information (FoLLI) has been awarding the annual E.W. Beth Dissertation Prize to outstanding Ph.D. dissertations in Logic, Language, and Information ( http://www.folli.info/?page_id=74) with financial support of the E.W. Beth Foundation ( https://www.knaw.nl/en/awards/funds/evert-willem-beth-stichting/evert-wille…) Nominations are now invited for the best dissertation in these areas resulting in a Ph.D. degree awarded in 2022. The deadline for nominations is the 12th of May 2023. ——————————————————————————————————————————————————————————————————————— Qualifications: - A Ph.D. dissertation on a topic concerning Logic, Language, or Information is eligible for the Beth Dissertation Prize 2023, if the degree was awarded between January 1st and December 31st, 2022. - There are no restrictions on the nationality, ethnicity, age, gender or employment status of the author of the nominated dissertation, nor on the university, academic department or scientific institution formally conferring the Ph.D. degree, nor on the language in which the dissertation has originally been written. - In accordance with the aim of the Beth Foundation to continue and extend the work of the Dutch logician Evert Willem Beth, nominations are invited of excellent dissertations on topics in the broad remit of ESSLLI, including current topics in philosophical and mathematical logic, computer science logic, philosophy of science, philosophy of language, history of logic, history of the philosophy of science and scientific philosophy in general, as well as the current theoretical and foundational developments in information and computation, language, and cognition. Dissertations with results more broadly impacting various research areas in their interdisciplinary investigations are especially solicited. - If a nominated dissertation has originally been written in a language other than English, its dossier should still contain the required 10 page English abstract, see below. If the committee decides that a nominated dissertation in a language other than English requires translation to English for proper evaluation, the committee can transfer its nomination to the competition in 2024. The English translation must in such cases be submitted before the deadline of the call for nominations in 2024. The committee may recommend the Beth Foundation to consider supporting such nominated dissertations for English translation, upon request by the author of the dissertation. The prize consists of: - a certificate - a donation of 3000 euros, provided by the E.W. Beth Foundation - an invitation to submit the dissertation, possibly after revision, for publication in FoLLI Publications on Logic, Language and Information (Springer). Only digital submissions are accepted, without exception. Hard copy submissions are not allowed. The following documents are to be submitted in the nomination dossier: - The original dissertation in pdf format (ps/doc/rtf etc. not acceptable). - A ten-page English abstract of the dissertation, presenting the main results of each chapter. - A letter of nomination from the dissertation supervisor, which concisely describes the scope and significance of the dissertation, stating when the degree was officially awarded and the members of the Ph.D. committee. Nominations should contain the address, phone and email details of the nominator. - Two additional letters of support, including at least one from a referee not affiliated with the academic institution that awarded the Ph.D. degree, nor otherwise related to the nominee (e.g. former teachers, supervisors, co-authors, publishers or relatives) or the dissertation. - Self-nominations are not possible. All pdf documents must be submitted electronically, as one zip file, via EasyChair by following the link https://easychair.org/conferences/?conf=bodp23. In case of any problems or questions please contact the chair of the committee Ana Sokolova ( anas(a)cs.uni-salzburg.at) The prize will be awarded by the chair of the FoLLI board at a ceremony during the 34th ESSLLI summer school in Ljubljana, July 31 - August 11, 2023. Beth dissertation prize committee 2023: ------------------------------------------------------------------ Maria Aloni (University of Amsterdam) Agata Ciabattoni (TU Wien) Robin Cooper (University of Gothenburg) Guy Emerson (University of Cambridge) Herman Geuvers (Radboud University Nijmegen) Erich Grädel (RWTH Aachen University) Sandra Kiefer (University of Oxford) Laura Kovacs (TU Wien) Clemens Kopek (University of Strathclyde) Matina Lenisa (University of Udine) Larry Moss (Indiana University Bloomington) Reinhard Muskens (ILLC, University of Amsterdam) Francesca Poggiolesi (IHPST, CNRS) Lutz Schröder (FAU Erlangen-Nürnberg) Ana Sokolova (University of Salzburg, chair) Alexandra Silva (Cornell University and UCL) ------------------------------------------------------------------ FoLLI is committed to diversity and inclusion and welcomes dissertations from all under-represented groups [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

A lost email sent to categories list?
by Tomas Jakl 26 Apr '23

26 Apr '23

**************************************** STRUCTURE MEETS POWER 2023 (LICS workshop) Call for Contributions **************************************** Workshop dates: 25 June 2023 (Boston and online) https://www.cst.cam.ac.uk/conference/structure-meets-power-2023 Scope ----- There is a remarkable divide in the field of logic in Computer Science between two distinct strands: one focuses on semantics and compositionality (???Structure???), the other on expressiveness and complexity (???Power???). These two traditions are studied by almost disjoint research communities using almost disjoint technical languages and methods. We believe that bringing these communities and research fields together is an important objective in Computer Science, which may hold the key to fundamental advances in the field. The aim of this workshop is to attract investigators at the boundary of the two strands, and those on either side of the divide interested in establishing new connections. Previous workshops on this theme were held as affiliated workshops of LiCS 2021 and ICALP 2022. This is a LiCS 2023 affiliated workshop. It will be a hybrid event, however on-site participation is highly encouraged. Important dates --------------- Abstract submission: 14th May 2023 Author notification: 22nd May 2023 Registration: TBA Invited speakers ---------------- * Alexandra Silva (Cornell University) * Howard Straubing (Boston College) Submissions ----------- Those wishing to give a talk at the workshop are invited to submit an Extended Abstract of up to three pages (including references) describing the key points of the presentation. Submissions should only have a single author ??? the speaker. Any co-authors should be clearly credited in the abstract and on the slides. For submissions please follow the instructions on the workshop website: https://www.cst.cam.ac.uk/conference/structure-meets-power-2023#submission We encourage talks at all levels of progress, including novel contributions, already published results, works in progress, as well as survey-type contributions. Depending on the number of submissions, contributed talks will be 20-30 minutes long. Registration ------------ There will be two types of participation, online and in person. Online participants are required to fill out the provided form on: https://www.cst.cam.ac.uk/conference/structure-meets-power-2023#registration For in-person participation, you must register for the workshop on the LICS website: https://lics.siglog.org/lics23/ Organising and Programme Committee: ----------------------------------- * Samson Abramsky * Anuj Dawar * Tomas Jakl * Dan Marsden * Yo??v Montacute * Nihil Shah [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

book on categorical computability
by Dusko Pavlovic 26 Apr '23

26 Apr '23

The book ** Programs as diagrams: ** From categorical computability to computable categories will be available shortly from the publisher (Springer-Nature). It is a lengthy project, which I never started, but it seems to have gotten almost halfway. I hope it is of interest. At least there are lots of pictures in it, including of people you know. Please email me at dusko(a)dusko.org if you would like a draft copy. The back cover blurb: Programs are written in many languages. It is not always clear what they mean. In this book, they are drawn as string diagrams, in the language of categories. Categories display a universal syntax of mathematics. Computer scientists use them to analyze the program semantics; programmers to display the syntax of computations. A picture is worth 1000 words; a diagram 1000 instructions. The string-diagrammatic depictions of computations can be viewed as programs in a single-instruction programming language called Run. The single instruction is called RUN and drawn as a box with a hole for programs. It represents a universal computer, which turns out to be unique up to isomorphism in its type universe. Any programming language is an example, and all of its instructions can be derived from RUN. There are many programming languages, but they all arise from the same capability of computing, shared by computers and programmers. Computers changed the world. They know more about people than people about them. In recent years, computation completely changed the practice of science, but computer science and the theory of computation barely changed. Computability is still thought of as invisible ether permeating the avatars of computers: Turing machines, lambda calculi, cellular automata, your laptop, the DNA transcription mechanism, neural networks, organic or electronic, and so on. In reality, there is no invisible ether. Computability is programmability. A computer inputs a program and outputs a function. Programs as diagrams display that and show how functions are packed in boxes and tied by strings. They are computer-drawn, human-generated, and tested on students. :) -- dusko pavlovic [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Workshop in Copenhagen 15-19 May: "Beyond Finite Sets -- Homotopy Theory and Combinatorics"
by Joachim Kock 25 Apr '23

25 Apr '23

Dear colleagues, with apologies for the very short notice: A small workshop will take place in Copenhagen May 15-19: "Beyond Finite Sets -- Homotopy Theory and Combinatorics" https://geotop.math.ku.dk/calendar/beyond-finite-sets/ The confirmed speakers are Mathieu Anel, Ulrik Buchholtz, Robert Burklund, Jesper M??ller, Nima Rasekh, Egbert Rijke, Emily Roff, Maru Sarazola, Jan Steinebrunner, Simon Willerton, and a few more will be added and/or improvised. The precise programme will be determined in real time, but we plan to have traditional-format talks in the mornings and more flexible and interactive formats in the afternoon. For logistic purposes, registration is required (at the web page), but feel free also to contact the organisers. Best regards, Maxime Ramzi and Joachim Kock. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

PSSL108 in Terrasini (Palermo, Italy) - September 2023 - Second Announcement
by Giuseppe Metere 24 Apr '23

24 Apr '23

*** 108th Peripatetic Seminar on Sheaves and Logic *** Terrasini (Palermo), Italy *** September 16th-17th, 2023 + satellite event September 15th, 2023. *** Second announcement Dear colleagues and friends, After the awesome edition held in Athens, the next Peripatetic Seminar on Sheaves and Logic, numbered 108, will be held in Terrasini (35 km away from Palermo), on the weekend September 16th-17th, 2023. The PSSL will be preceded by a thematic session in "Logic and Algebra" on September 15th, with amazing invited speakers: Maria Manuel Clementino (University of Coimbra), Vincenzo Marra (Universita' degli Studi di Milano), Zurab Janelidze (Stellenbosch University) and Enrico Vitale (Universite catholique de Louvain). There is no conference fee, but registration is mandatory. Please register before August 15th, 2023, by compiling the form you find (together with other information) on the conference webpage: https://sites.google.com/view/beppemetere/pssl-108 If you wish to give a talk, please send an email with the title of your talk and a short abstract to giuseppe.metere(a)unipa.it. There is no deadline, but please consider that talk proposals will be accepted as long as there are available slots in the PSSL schedule. If you have any questions, please feel free to contact us. We hope to see you in September! The Organizing Committee Beppe Metere (Universita' di Palermo) Luca Spada (Universita' di Salerno) Tim Van der Linden (Universite' catholique de Louvain) =========================================================== Important notice. =========================================================== Although in principle it could be possible for participants to be based in Palermo city centre while attending the conference in Terrasini, in practice, unless you have a private car, this is not advisable at all. Indeed, there are not many Palermo-Terrasini connections during the day, even fewer at night. If you wish to find accommodation in Terrasini, please do not wait too long. There are several B&B's in town, however in September it is tourist season in Sicily, and you might find the best or more affordable accommodations already booked. =========================================================== Info on the location. =========================================================== The conference will take place in the historical site of Palazzo d'Aumale, facing the sea front, in the centre of Terrasini. The building was built in the XIX century under Don Vincenzo Grifeo, Prince of Partanna and Duke of Floridia. Then it was acquired by the Duke of Aumale (hence the name), the fifth son of King Louis-Philippe I of the French, to be used as a wine warehouse. Since 2001, Palazzo d'Aumale houses some collections of archaeological and ethno-anthropological interest. Terrasini is a small pretty village close to the beach, five minutes away from Palermo airport. Please consider that this is a popular tourist destination: we strongly recommend participants to book their accommodation in advance. Some suggestions can be found on the conference website. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Call for Papers - TLLA 23 (7th International Workshop on Trends in Linear Logic and Applications)
by Stefano Guerrini 24 Apr '23

24 Apr '23

============================================================== Call for Papers TLLA 2023 7th International Workshop on Trends in Linear Logic and Applications Rome, 1-2 July 2023 Affiliated with FSCD 2023 https://tlla.linear-logic.org/2023/ ============================================================== 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 * linguistics ---------------------------------------------------------------------- ** Submission Guidelines ---------------------------------------------------------------------- Contributions are not restricted to talks presenting an original results, but 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, send an email with the pdf file of a short abstract to tlla23(a)irif.fr Please specify in the email message the names of the corresponding authors and their emails, if different from the sending one, which in any case will be used for further communications. The abstract, whose length should be between 2 and 5 page, must include the names and the email addresses of all the authors. ---------------------------------------------------------------------- ** Important dates ---------------------------------------------------------------------- * Submission deadline: 15 May 2023 * Notification to authors: 22 May 2023 * Final versions due: 31 May 2023 * Workshop date: 1-2 July 2023 ---------------------------------------------------------------------- ** 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. ---------------------------------------------------------------------- ** Tutorials ---------------------------------------------------------------------- * Alexis Saurin, Université Paris Cité, France * Zeinab Galal, Sorbonne Université, France ---------------------------------------------------------------------- ** Invited Speakers ---------------------------------------------------------------------- * Marcelo Fiore, University of Cambridge, UK * Gabriele Vanoni, INRIA-Sophia Antipolis, France ---------------------------------------------------------------------- ** Program Committee ---------------------------------------------------------------------- * Thomas Ehrhard, CNRS - Université Paris Cité, France * Nicola Gambino, University of Manchester, UK * Stefano Guerrini, Université Sorbonne Paris Nord, France * Thomas Streicher, Technische Universität Darmstadt, Germany * Lorenzo Tortora de Falco, Università Roma Tre, Italy * Lionel Vaux, Aix-Marseille Université, France ---------------------------------------------------------------------- ** Organization Committee ---------------------------------------------------------------------- * Thomas Ehrhard, CNRS - Université Paris Cité, France * Stefano Guerrini, Université Sorbonne Paris Nord, France * Lorenzo Tortora de Falco, Università Roma Tre, Italy ===================================== Stefano Guerrini Professeur des Universités Institut Galilée, Université Sorbonne Paris Nord (USPN) Laboratoire d'Informatique de Paris-Nord (LIPN), CNRS (UMR 7030) stefano.guerrini(a)univ-paris13.fr [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Publication of Volume LXIV-2 of the Cahiers
by Andree Ehresmann 23 Apr '23

23 Apr '23

Dear colleagues, We are pleased to inform you that Volume LXIV-2 (12nd quarter 2023) of the Cahiers is now freely downloadable from the website of the Cahiers: <http://cahierstgdc.com/> both as a whole issue and as separate articles. Best regards, Andree Ehresmann, Marino Gran and Rene Guitart [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

HOR 2023: Second Call for Papers
by Carsten Fuhs 21 Apr '23

21 Apr '23

---------------------------------------------------------------------- ** ** **** SECOND CALL FOR SUBMISSIONS **** ** ** 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. * TOPICS The following is a non-exhaustive list of topics for the workshop: - Applications: proof checking, theorem proving, generic programming, declarative programming, program transformation, automated termination/confluence/equivalence analysis tools. - Foundations: pattern matching, unification, strategies, narrowing, termination, syntactic properties, type theory, complexity of derivations. - Frameworks: term rewriting, conditional rewriting, graph rewriting, net rewriting, comparisons of different frameworks. - Implementation: explicit substitution, rewriting tools, compilation techniques. - Semantics: semantics of higher-order rewriting, categorical rewriting, higher-order abstract syntax, games and rewriting. ---------------------------------------------------------------------- ** SUBMISSION GUIDELINES ---------------------------------------------------------------------- To give a presentation at the workshop, please submit an extended abstract (between 2 to 5 pages) via Easychair: https://easychair.org/conferences/?conf=hor2023 Please use LaTeX and the Easychair style to prepare your submission: https://easychair.org/publications/easychair.zip HOR is a platform for discussing open questions, ongoing research, and new perspectives, as well as new results. Extended abstracts describing work in progress, preliminary results, research projects, or problems in higher-order rewriting are very welcome. Specifically, short versions of recently published papers are welcome, and submission to HOR does not preclude formal publication at other venues. The workshop has informal electronic proceedings that will be made available on the workshop website. ---------------------------------------------------------------------- ** IMPORTANT DATES ---------------------------------------------------------------------- * Submission deadline: 2 May 2023 * Notification: 29 May 2023 * Final version: 12 June 2023 ---------------------------------------------------------------------- ** 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 ---------------------------------------------------------------------- ** CONTACT ---------------------------------------------------------------------- All questions about submissions should be emailed to the PC chair Carsten Fuhs (hor2023 at easychair.org) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0