June 2022 - 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

Categories and Companions Symposium 2022 (CaCS2022)
by CaCS Committee 30 Jun '22

30 Jun '22

FIRST ANNOUNCEMENT AND CALL FOR TALKS FROM RESEARCH STUDENTS Categories and Companions Symposium 2022 (CaCS2022) 08:00–10:30 and 18:00–22:00, September 19–23, 2022 (UTC+10) at MATRIX in Creswick, Victoria (Australia) and on Zoom Here you can find the registration form as well as updated information about the schedule when available https://categories-and-companions.github.io/ ================================================================= BACKGROUND CaCS2022 is an online event (via Zoom) for research students (Honours/Masters/PhD) in category theory and related disciplines from around the world to meet each other and share their work. Everyone is welcome to attend the event. There will be 50 minute talks from invited speakers and a series of 20 minute contributed talks by research students, split across two sessions each day — the first aimed at Australasian and American time zones and the second at Australasian, African and European time zones. Attendees will also have the opportunity to meet and talk to each other in smaller groups at various times throughout the symposium. There will be an additional in-person component at MATRIX in Creswick, Victoria (Australia) for a small number of Australian-based students, with partially-catered accommodation covered. Those interested in this, please fill the registration form before Saturday, July 23rd. Since places are limited, we ask you to write a short paragraph explaining how you would benefit from attending in person. The decision will be communicated shortly after this deadline. This symposium is supported by MATRIX and AMSI. To support post-symposium research collaboration between PhD student participants, MATRIX and AMSI are providing funding through the MATRIX-AMSI PhD Student Research Collaboration Scheme. For more information, see https://www.matrix-inst.org.au/phd-student-research-collaboration-scheme-gu… . Please share the details of this event with research students in your local academic community. ================================================================= IMPORTANT DATES - Submission of abstracts: Friday, August 19, 2022 23:59:59 Anywhere on Earth. - Registration for in-person attendance: Saturday, July 23, 2022 23:59:59 Anywhere on Earth. - Registration for online attendance: Friday, September 16, 2022 23:59:59 Anywhere on Earth. - Symposium: Monday, September 19 to Friday, September 23, 2022. ================================================================= REGISTRATION & ABSTRACT SUBMISSION Registration is now open (for both research students and the wider community). The registration form can be found on the website <https://categories-and-companions.github.io/>. When registering, all research students (Honours/Masters/PhD) are encouraged to propose a title and abstract for a 20 minute talk in category theory or category theory adjacent topics. Talks about work in progress, and talks by those who usually have fewer opportunities to present internationally, are very welcome and especially encouraged. Upon submitting the registration form, a link titled "Edit your response" will be presented; talk proposals may be edited using this link up until the August 19 deadline. ================================================================= INVITED SPEAKERS The following invited speakers will each deliver an extended 50 minute talk. Further information, including the titles and abstracts of their talks can be found on the CaCS2022 website: <http://web.science.mq.edu.au/groups/coact/seminar/CaCS2021/> https://categories-and-companions.github.io/. - Dominic Verity (Macquarie University and ANU) - Christina Vasilakopoulou (University of Patras) - Jonas Frey (Carnegie Mellon University) Marcy Robertson (University of Melbourne) will run a workshop on being prepared for the job market which will include discussion of CV and/or research statement preparation, and what you can be doing now to make yourself a compelling candidate. ================================================================= ORGANISERS Jack Crawford (Australian National University) Matthew Di Meglio (University of Edinburgh) Nicola Di Vittorio (Macquarie University) David Farrell (Macquarie University) Eli Hazel (Macquarie University) Yao Tang (Macquarie University) Ivo Vekemans (Australian National University) Paula Verdugo (Macquarie University) For any additional information, please contact us at cacs.committee(a)gmail.com [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Re: MFPS 2022: schedule and participation
by Mislove, Michael W 29 Jun '22

29 Jun '22

The tentative schedule for MFPS 2022 is now online: https://www.cs.cornell.edu/mfps-2022/#conferenceprogram * If you know of any mailing list with people who might be interested in attending MFPS, please help us advertise. * Note that in addition to the in-person conference in Ithaca and virtual attendance via Slack/Zoom, we are planning a local, in-person event in Paris at IRIF. Details are available on the website. * If you are interested in attending MFPS, either in Ithaca, in Paris, or virtually, please let us know by responding to this email. We can definitely use help with chairing sessions. Thanks again for all of your hard work with assembling the MFPS program! We are looking forward to the conference, and hope to see many of you around. Cheers, Justin and Christine [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

STACS 2023 - first call for papers
by Anuj Dawar 27 Jun '22

27 Jun '22

STACS 2023 - First call for papers --------------------------- The 40th International Symposium on Theoretical Aspects of Computer Science is planned to take place from 7 March to 10 March 2023 in Hamburg, Germany. For the first time, STACS 2023 will consist of two tracks, A and B, to facilitate the work of the program committee(s). Track A is dedicated to algorithms and data structures, complexity and games. Track B will cover automata, logic, semantics and theory of programming. LISTS OF TOPICS Authors are invited to submit papers presenting original and unpublished research on theoretical aspects of computer science. Typical areas include: Track A: * algorithms and data structures, including: design of parallel, distributed, approximation, parameterized and randomized algorithms; analysis of algorithms and combinatorics of data structures; computational geometry, cryptography, algorithms for machine learning, algorithmic game theory, quantum algorithms * complexity, including: computational and structural complexity theory, parameterized complexity, randomness in computation Track B: * automata and formal languages, including: automata theory, games, algebraic and categorical methods, coding theory, models of computation, computability * logic in computer science, including: finite model theory, database theory, semantics, type systems, program analysis, specification & verification, rewriting and deduction, learning theory, logical aspects of complexity These lists are not exhaustive. In particular, both tracks also welcome submissions about current challenges. PROGRAM COMMITTEE CHAIRS Track A: - Petra Berenbrink (Universit??t Hamburg, Germany) - Mamadou Moustapha Kante (Universit?? Clermont Auvergne, France) Track B: - Patricia Bouyer-Decitre (CNRS, France) - Anuj Dawar (University of Cambridge, UK) SUBMISSIONS Submissions will be through EasyChair. Authors are invited to submit an extended abstract or full paper with at most 12 pages (excluding the title page and the references section) to the appropriate track. The title page consists of the title of the paper and the abstract, but *no* author information. The first section of the paper should start on the next page. The PCs reserve the right to reassign a paper to a different track. The usage of pdflatex and the LIPIcs style file (see http://www.dagstuhl.de/en/publications/lipics) are mandatory; no changes to font size, page geometry, etc. are permitted. Submissions not in the correct format or submitted after the deadline will not be considered. The paper should contain a succinct statement of the issues and of their motivation, a summary of the main results, and a brief explanation of their significance, accessible to non-specialist readers. Proofs omitted due to space constraints must be put into an appendix, to be read by the program committee members at their discretion. Simultaneous submission to other conferences with published proceedings or to journals is not allowed. PC members are excluded from submitting. As in the previous two years, STACS 2023 will employ a lightweight double-blind reviewing process: submissions should not reveal the identity of the authors in any way. The purpose of the double-blind reviewing is to help PC members and external reviewers come to an initial judgment about the paper without bias, not to make it impossible for them to discover the authors if they were to try. Nothing should be done in the name of anonymity that weakens the submission or makes the job of reviewing the paper more difficult. In particular, important references should not be omitted or anonymized. In addition, authors should feel free to disseminate their ideas or draft versions of their paper as they normally would. For example, authors may post drafts of their papers on the web, submit them to arXiv, and give talks on their research ideas. There will be a rebuttal period for authors, see below for the dates. Authors will receive the reviews of their submissions (via EasyChair) and have three days to submit rebuttals (via EasyChair). These rebuttals become part of the PC discussions, but entail no specific responses. At least one author of each accepted paper is expected to register at the conference. For authors who cannot present their paper in person a possibility for remote presentation will be offered. PROCEEDINGS Accepted papers will be published in the proceedings of the symposium. As usual, these proceedings will appear in the Leibniz International Proceedings in Informatics (LIPIcs) series, based at Schloss Dagstuhl. This guarantees perennial, free and easy electronic access, while the authors retain the rights over their work. With their submission, authors consent to sign a license authorizing the program committee chairs to organize the electronic publication of their paper, provided the paper is accepted. IMPORTANT DATES * Deadline for submissions: September 25, 2022 (AoE) * Rebuttal: November 14-16, 2022 * Author notification: December 4, 2022 * Final version: January 8, 2023 * STACS 2023: March 7-10, 2023 CONTACT INFORMATION Web: stacs-conf.org Email: petra.berenbrink(a)uni-hamburg.de [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

ItaCa Fest - Bonchi and Blechschmidt - 28 June
by Ivan Di Liberti 27 Jun '22

27 Jun '22

Dear all, The next date of the ItaCa Fest will be June 28, 2022 at 3 pm (Italian time): - F. Bonchi, - I. Blechschmidt. The zoom link is the following: https://stockholmuniversity.zoom.us/j/68792232558 While the Fest website is this one: https://progetto-itaca.github.io/pages/fest22.html Join us (and bring a friend)! Cheers, Beppe, Ivan, Edoardo, Fosco, Paolo. ———————————————————————————————————— Bonchi. Title: Deconstructing Tarski’s calculus of relations with Tape diagrams Abstract: The calculus of (binary) relations has been introduced by Tarski as a variable-free alternative to first order logic. In this talk we introduce tape diagrams, a graphical language for expressing arrows of arbitrary finite biproduct rig categories, and we show how the calculus of relation can be encoded within tape diagrams. Blechschmidt. Title: Reifying dynamical algebra, Traveling the mathematical multiverse to apply tools for the countable also to the uncountable. Abstract: Commutative algebra abounds with proofs which are quite elegant and at the same time quite abstract. Even for concrete statements, proofs often appeal to transfinite methods like the axiom of choice or the law of excluded middle. Following Hilbert’s call, we should work to elucidate how these abstract proofs can be recast in more concrete, computational terms, regarding abstract proofs as intriguing guiding templates for formulating concrete proofs and regarding objects concocted by Zorn’s lemma such as maximal ideals as convenient fictions. One such technique for making computational sense of abstract proofs is dynamical algebra, going back to the work of Dominique Duval and her coauthors in the 1980’s. The talk will first present the basic story of dynamical algebra with an illustrative example. Then we will report on joint work with Peter Schuster how to reify dynamical algebra using formal metatheorems of categorical logic, supplying a firm foundation to dynamical algebra, complementing previous approaches. A particular feature of our approach is that we apply a construction devised by Berardi and Valentini for the special case of countable rings, which indeed fundamentally requires the countability assumption, by a logical sleight of hand by Joyal and Tierney to arbitrary rings. This trick is applicable quite generally which is why we believe that it is of interest to a larger group of people. It is unlocked by categorical logic running on a certain fractal without points, the pointfree space of enumerations of a given set. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

***SPAM?*** categories: Antipode workshop, 2nd announcement
by SARACCO Paolo 23 Jun '22

23 Jun '22

CAUTION: The Sender of this email is not from within Dalhousie. Dear Colleague, We are glad to announce the "second ANTIPODE workshop" that will be held at the ULB - Université Libre de Bruxelles on the 12th and 13th of September, 2022. This two-days event aims at being an occasion to gather together international experts and young researchers in the theory of partial actions and representations as well as in related topics such as inverse semigroups, groupoids, Hecke algebras. Please, feel free to share the details of this event in your local academic community. ================================================================= REGISTRATION Participation at the workshop is free, but registration is compulsory. A small contribution (of at most 20 euro) might be asked at participants to cover the costs of lunches and coffee breaks. Registration is now open via a Google Form on the webpage http://hopfalgb.ulb.be/ANTIPODE2/index.html You may also reach it directly via the following link: https://docs.google.com/forms/d/e/1FAIpQLSc-jDOBI1Rd5gTB-vBPxiyc0i2SkUNsrec… Please, register before the 1st of August at 23:59:59 Anywhere on Earth. We can 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 will contact you once we collected all the applications. ================================================================= CONFIRMED SPEAKERS - Alessandro D’Andrea (Rome) - Ganna Kudryavtseva (Ljubljana) - Martina Lanini (Rome) - Johan Öinert (Karlskrona) There are several slots available for contributed talks. If you would like to present your work, you can mention this in the registration form. A title or abstract can be submitted at a later stage. ================================================================= ORGANISERS Michele D'Adderio Paolo Saracco Joost Vercruysse For any additional information, please contact us at Paolo.Saracco(a)ulb.be<mailto:Paolo.Saracco@ulb.be>, Michele.DAdderio(a)ulb.be<mailto:Michele.DAdderio@ulb.be>, Joost.Vercruysse(a)ulb.be<mailto:Joost.Vercruysse@ulb.be>. -- Paolo Saracco, PhD (he/him) 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

Open PhD and postdoc position in categorical probability
by Tobias Fritz 21 Jun '22

21 Jun '22

[Note from moderator: poster requests: " perhaps you can add a note saying that it has been delayed for some time? Thank you."] Dear All, I'm happy to announce an open PhD position (3 years) and an open postdoc position (2 years) on categorical probability at the University of Innsbruck, Austria. These are pure research positions funded by a grant from the Austrian Science Fund. Thus teaching is not expected, but possible if desired. The intended starting date for both positions is October 1. The deadline for applications is July 15. See the links below for how to apply. I would also appreciate it if you could forward this information to anyone else who might be interested. And apologies for the multiple postings, which seem to be hard to avoid. If there are any further questions, please don't hesitate to get in touch! thanks & best wishes, Tobias Links: https://www.uibk.ac.at/mathematik/ausschreibung_phd.pdf https://www.uibk.ac.at/mathematik/ausschreibung_postdoc.pdf [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Pursuing Stacks
by Dimitri Ara 18 Jun '22

18 Jun '22

Dear all, You might be interested in fact that the first volume of the famous manuscript Pursuing Stacks of Grothendieck has been published by the French Mathematical Society: https://smf.emath.fr/publications/la-poursuite-des-champs-volume-i Best regards, -- Dimitri Ara [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Chaire de la Vallee Poussin 2022
by Marino Gran 17 Jun '22

17 Jun '22

Dear colleagues,=0A= =0A= The *Chaire de la Vallee Poussin* lectures by professor Ieke Moerdijk will = take place in Louvain-la-Neuve at the Institut de Recherche en Mathematique= et Physique (in room CYCL01) from 6 to 9 September 2022.=0A= =0A= The general title of the lectures is *Trees in Algebra and Geometry*. The p= rogramme will be as follows (see=A0https://uclouvain.be/fr/instituts-recher= che/irmp/chaire-de-la-vallee-poussin.html =A0for further details) =0A= =0A= - Tuesday 6 September, 4.15 p.m. (inaugural lecture): Some interactions bet= ween Algebra and Geometry=0A= =0A= - Wednesday 7 September, =A04.15 p.m.: Operads, trees and duality=0A= =0A= - Thursday 8 September, 11 a.m.: Comparison of different E_n operads=0A= =0A= - Friday 9 September, 9.30 a.m.: Profinite completion of Quillen model cate= gories=0A= =0A= There will be a *Workshop on Categories and Topology* on Friday 9 September= . The following invited speakers have accepted to give a talk at the Worksh= op (the precise programme will be communicated later on):=0A= =0A= Pedro Boavida (IST, Lisbon)=0A= John Bourke (Brno)=0A= Sandra Mantovani (Milan)=0A= Aniceto Murillo (Malaga) =0A= Emily Riehl (Johns Hopkins)=0A= Jerome Scherer (EPFL)=0A= =0A= If you are interested in attending these events, please write an email to M= me Carine Baras ( carine.baras(a)uclouvain.be ) to register, by August 15th. = The registration is free.=0A= =0A= We have booked a limited number of rooms at the Hotel Ibis Style in Louvain= -la-Neuve (at a special rate), please let Mme Baras know at your earliest c= onvenience in case you are interested.=0A= =0A= With best regards,=0A= =0A= Marino Gran,=A0Pascal Lambrechts, Tim Van der Linden, Pedro Vaz and Enrico = Vitale=0A= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

PLanQC 2022: Final call for submissions and student travel support
by Julien Ross 13 Jun '22

13 Jun '22

PLanQC 2022: Programming Languages for Quantum Computing Final Call for Submissions & Student Travel Support We invite members of the programming languages and quantum computing communities to submit talk proposals for the 3rd International Workshop on Programming Languages for Quantum Computing (PLanQC 2022), co-located this September with ICFP in Ljubljana, Slovenia. PLanQC aims to bring together researchers from the fields of programming languages and quantum information, exposing the programming languages community to the unique challenges of programming quantum computers. It will promote the development of tools to assist in the process of programming quantum computers, as they exist today and as they are likely to exist in the near to distant future. Submissions to PLanQC should take the form of 2-5 page abstracts (single-column, 11pt acmsmall style, not including references), with links to larger preprints when appropriate. Work in progress is welcome. We hope to make PLanQC maximally accessible to the programming languages community. Thus, abstracts should cover cutting edge ideas and results, but not be opaque to new, potential entrants to quantum computing coming from programing languages. Abstracts will be reviewed for quality and relevance to the workshop, and accepted authors will be invited to give talks or poster presentations. We will not be publishing formal proceedings, but the extended abstracts, along with links (where available) to full papers will be posted to the website of the workshop. Invited speakers: • Dominique Unruh, University of Tartu • Charles Yuan, MIT Workshop topics include (but are not limited to): • High-level quantum programming languages • Verification tools for quantum programs • Novel quantum programming abstractions • Quantum circuit and program optimizations • Hardware-aware circuit compilation and routing • Error handling, mitigation, and correction • Instruction sets for quantum hardware • Other techniques from traditional programming languages (e.g., types, compilation/optimization, foreign function interfaces) applied to the domain of quantum computation. ------------------------------------------------------------------------- Student support: Limited travel support is available to students wishing to attend PLanQC. Further information and can be found on the workshop website: https://icfp22.sigplan.org/home/planqc-2022#Travel-Support-for-Students ------------------------------------------------------------------------- Important dates: • Submission deadline 20 June 2022 (anywhere on earth) • Notification 1 August 2022 • Workshop 15 September 2022 ------------------------------------------------------------------------- Important links: • Website: https://icfp22.sigplan.org/home/planqc-2022 • Submission: https://planqc2022.hotcrp.com/ ------------------------------------------------------------------------- Program Committee: Matthew Amy, Simon Fraser University Robert Booth, The University of Edinburgh Olivia Di Matteo, University of British Columbia Yufei Ding, UC Santa Barbara Ross Duncan, Cambridge Quantum Computing Ltd Peng (Frank) Fu, Dalhousie University Kesha Hietala, University of Maryland Kohei Kishida, University of Illinois Urbana-Champaign Aleks Kissinger, University of Oxford Bert Lindenhovius, Tulane University Robert Rand, University of Chicago Mathys Rennela, Inria Neil Julien Ross (chair), Dalhousie University Sam Staton, University of Oxford Mathias Soeken, Microsoft Dominique Unruh, University of Tartu Benoît Valiron, Université Paris-Saclay, CNRS, CentraleSupélec, LMF Vladimir Zamdzhiev, Inria, LORIA, Université de Lorraine Organizing Committee: Matt Amy, Simon Fraser University Ross Duncan, Cambridge Quantum Computing Robert Rand, University of Chicago Neil Julien Ross, Dalhousie University [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0