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

"Toposes online" - second announcement
by Olivia Caramello 18 Jun '21

18 Jun '21

CAUTION: The Sender of this email is not from within Dalhousie. Dear All, This is the second announcement of the following international event (school + conference) on topos theory, which will take place online from 24 to 30 June 2021. We look forward to seeing many of you there! Best regards, Olivia Caramello (on behalf of the Scientific and Organizing Committee) ============================================================================ === TOPOSES ONLINE Call for participation School: 24-26 June 2021 - Conference: 28-30 June 2021 http://www.aroundtoposes.com/toposesonline * Scope * ------------ The event "Toposes online" represents the third edition of the main international conference on topos theory, following the previous ones "Topos à l'IHES" and "Toposes in Como". The format of the event is the same as that of the other two editions: it will consist of a three-day school, offering introductory courses for the benefit of students and mathematicians who are not already familiar with topos theory, followed by a three-day congress featuring both invited and contributed presentations on new theoretical advances in the subject as well as applications of toposes in different fields such as algebra, topology, number theory, algebraic geometry, logic, homotopy theory, functional analysis, and computer science. * School lecturers * -------------------------- Olivia Caramello (University of Insubria and IHES) Laurent Lafforgue (IHES) Charles Rezk (University of Illinois) * Conference invited speakers * ------------------------------------------ Samson Abramsky (University of Oxford) Jean-Claude Belfiore (Huawei) Daniel Bennequin (University of Paris 7) Dustin Clausen (University of Copenhagen) Jens Hemelaer (University of Antwerp) Luca Prelli (University of Padua) Peter Scholze (University of Bonn) Ivan Tomasic (Queen Mary University of London) * Scientific and Organizing Committee * ----------------------------------------------------- Olivia Caramello Alain Connes Laurent Lafforgue * Registration and contact * ------------------------------------- Registration information is available at the conference webpage http://www.aroundtoposes.com/toposesonline If you have any queries please send them to the conference e-mail address toposesonline(a)aroundtoposes.com ============================================================================ === [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

FSCD 2021: Call for (Online) Participation
by Carsten Fuhs 14 Jun '21

14 Jun '21

CAUTION: The Sender of this email is not from within Dalhousie. CALL FOR PARTICIPATION Sixth International Conference on Formal Structures for Computation and Deduction (FSCD 2021) July 17 ??? July 24, 2021, Buenos Aires, Argentina https://fscd2021.github.io/ In-cooperation with ACM SIGLOG and SIGPLAN The 2021 edition of FSCD and of its satellite workshops will be held online. Participation will, a priori, be free of charge, unless we receive way too many requests, in which case we will invite those who can to pay the modest amount of 7 USD. FSCD covers all aspects of formal structures for computation and deduction from theoretical foundations to applications. Building on two communities, RTA (Rewriting Techniques and Applications) and TLCA (Typed Lambda Calculi and Applications), FSCD embraces their core topics and broadens their scope to closely related areas in logics, models of computation (e.g., quantum computing, probabilistic computing, homotopy type theory), semantics and verification in new challenging areas (e.g., blockchain protocols or deep learning algorithms). REGISTRATION --------------- The registration page is already open and linked from: https://fscd2021.dc.uba.ar/registration.html This link should be used also to register for affiliated workshops. Registration is open until July 11. FSCD 2021 will run over the Clowdr platform. After the registration is closed, you will receive an invitation link and instructions on how to participate. INVITED SPEAKERS ---------------- - Zena M. Ariola https://ix.cs.uoregon.edu/~ariola/ - Nao Hirokawa https://www.jaist.ac.jp/~hirokawa/ - Elaine Pimentel https://sites.google.com/site/elainepimentel/ - Sam Staton https://www.cs.ox.ac.uk/people/samuel.staton/main.html FSCD AFFILIATED WORKSHOPS: -------------------------- - HoTT/UF (6th Workshop on Homotopy Type Theory/Univalent Foundations, July 17-18) - ITRS (10th Workshop on Intersection Types and Related Systems, July 17) - WPTE (7th International Workshop on Rewriting Techniques for Program Transformations and Evaluation, July 18) - UNIF (35th International Workshop on Unification, July 18) - LSFA (16th Logical and Semantics Frameworks with Applications, July 23-24) - IWC (10th International Workshop on Confluence, July 23) - IFIP WG 1.6 (24th meeting of the IFIP Working Group 1.6: Rewriting, July 24) PROGRAM COMMITTEE CHAIR ----------------------- Naoki Kobayashi, The University of Tokyo fscd2021(a)easychair.org PROGRAM COMMITTEE ----------------- Mauricio Ayala-Rinc??n, Universidade de Bras??lia Stefano Berardi, University of Torino Fr??d??ric Blanqui, INRIA Eduardo Bonelli, Stevens Institute of Technology ??velyne Contejean, CNRS, Universit?? Paris-Saclay Thierry Coquand, University of Gothenburg Thomas Ehrhard, Universit?? de Paris, CNRS Santiago Escobar, Univ. Polit??cnica de Val??ncia Jos?? Esp??rito Santo, University of Minho Claudia Faggian, Universit?? de Paris, CNRS Amy Felty, University of Ottawa Santiago Figueira, Universidad de Buenos Aires Marcelo Fiore, University of Cambridge Marco Gaboardi, Boston University Silvia Ghilezan, University of Novi Sad Ichiro Hasuo, National Institute of Informatics Delia Kesner, Universit?? de Paris Robbert Krebbers, Radboud University Nijmegen Temur Kutsia, Johannes Kepler University Linz Barbara K??nig, University of Duisburg-Essen Marina Lenisa, University of Udine Naoki Nishida, Nagoya University Luke Ong, University of Oxford Pawe?? Parys, University of Warsaw Jakob Rehof, TU Dortmund University Camilo Rocha, Pontificia Univ. Javeriana Cali Alexandra Silva, University College London Alwen Tiu, Australian National University Sarah Winkler, University of Verona Hongseok Yang, KAIST, South Korea CONFERENCE CHAIR ---------------- Alejandro D??az-Caro, Quilmes Univ. & ICC/CONICET ORGANIZING COMMITTEE -------------------- Mauricio Ayala-Rinc??n (Workshops co-chair), Universidade de Bras??lia Santiago Figueira, Universidad de Buenos Aires & ICC Malena Ivnisky (Virtualization co-chair), Universidad de Buenos Aires & ICC Mauro Jaskelioff, Universidad Nacional de Rosario & CIFASIS Carlos L??pez Pombo (Workshops co-chair), Universidad de Buenos Aires & ICC Ricardo Rodr??guez (Virtualization co-chair), Universidad de Buenos Aires & ICC Rafael Romero (Virtualization co-chair), Universidad de Buenos Aires & ICC Nora Szasz, Universidad ORT Uruguay Beta Ziliani, Universidad Nacional de C??rdoba FSCD STEERING COMMITTEE ----------------------- Zena M. Ariola, University of Oregon Mauricio Ayala-Rinc??n, University of Brasilia Carsten Fuhs (Publicity Chair), Birkbeck, University of London Herman Geuvers, Radboud University Silvia Ghilezan, University of Novi Sad Stefano Guerrini, University of Paris 13 Delia Kesner (SC Chair), University of Paris Diderot H??l??ne Kirchner, Inria Cynthia Kop, Radboud University Damiano Mazza, University of Paris 13 Luke Ong, Oxford University Jakob Rehof, TU Dortmund Jamie Vicary (SC Workshop Chair), Oxford University [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CT20->21 Third Announcement
by Giuseppe Metere 14 Jun '21

14 Jun '21

CAUTION: The Sender of this email is not from within Dalhousie. This is the third announcement for the Category Theory 20->21, Genoa (Italy) and online, 30 August to 4 September 2021. Given the current situation of the pandemic in Italy, the event is confirmed in its hybrid form, and it is now possible to register. We understand that the different developments of the epidemic worldwide determine a high level of uncertainty, and make it difficult to plan ahead. Nevertheless, we strongly believe that the scientific communities must commit themselves to relaunch research activities with physical meetings whenever possible. This is why we have engaged ourself in the organization of the conference. On the other hand, we need everybody's help to make it work. *** Registration *** Since there are two ways of attending the conference, we set up two registration tracks. First track: online participants. The conference fee is EUR 30 for regular attendee, EUR 20 for PhD students. It must be paid online by 20 July 2021, 23:59 HST (-10UTC). If you have already decided to attend the meeting online, we kindly ask you to to complete your registration as soon as possible as this will help us organize a better conference. Second track: onsite participants. The conference fee is EUR 130 for regular attendee, EUR 100 for PhD students, and it must be payed online by 20 August 2021, 23:59 HST (-10UTC). The conference fee includes all lunches and coffee breaks. We allow such late registration as we understand you may find it difficult to schedule your dates in August much in advance. On the other hand, you must understand that we need to have a clear idea of the number of participant onsite in order to ensure the highest standard of safety for all. This is why we keep our pre-registration open at the page https://sites.google.com/view/ct2021/registration, and we warmly invite those interested in attending onsite to pre-register immediately. Change track. If you wish to change your mode of participation and you have already registered, please contact the organizers: we shall accommodate your needs. Directions for Registration. Registration is in two steps: 1. If you have not done it, first pre-register at https://sites.google.com/view/ct2021/registration 2. Then pay the conference fee at https://sites.google.com/view/ct2021/registration and email your receipt to info.ct2021(a)gmail.com with object "Receipt". For specific queries, please write to info.ct2021(a)gmail.com. Best regards, ORGANIZING COMMITTEE Sandra Mantovani, Giuseppe Metere, Eugenio Moggi, Andrea Montoli, Giuseppe Rosolini (chair) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Re: Leicester
by ronnie.profbrown 11 Jun '21

11 Jun '21

CAUTION: The Sender of this email is not from within Dalhousie. When the maths department at Bangor was taken over by Electronic Engineering, they had expertise in error correction engineering, but I did not notice any special interest in categorical methods, though we made some lectures available. The idea that such departments can develop expertise in an area they have not worked in should arouse academic questioning. Ronnie Brown ------ Original Message ------ From: "Peter May" <may(a)math.uchicago.edu> To: "categories(a)mta.ca" <categories(a)mta.ca> Sent: Thursday, 10 Jun, 2021 At 02:59 Subject: categories: Leicester Following up on David Roberts:?? I am in close contact with a truly excellent category theorist who, until recently, was at Leicester. It is not just a proposal: action has been taken, and she is no longer employed there.?? The sheer hypocrisy of claiming to seek excellence by downgrading to teaching only positions is transparent, as is the sheer ignorance of the interplay of mathematics and related areas of application. Peter [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

PhD positions at Leicester, UK
by Crole, Roy L. (Dr.) 11 Jun '21

11 Jun '21

CAUTION: The Sender of this email is not from within Dalhousie. Dear Colleagues, Please see below for new PhD positions https://le.ac.uk/study/research-degrees/funded-opportunities/informatics-gt… Kind regards, Roy Crole. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

6 5

Re: PhD positions at Leicester, UK
by David Yetter 11 Jun '21

11 Jun '21

CAUTION: The Sender of this email is not from within Dalhousie. As the saying goes Americans and the British are two peoples united by the Atlantic Ocean and divided by a common language. Simona Paoli wrote to me privately to clarify that in British usage "compulsory redundancy" is not firing, which in British usage applies only to dismissal for cause. Over on my side of the pond "fired" is ambiguous, including both dismissal for cause and the analogue of British compulsory redundancy, while "laid off" (the term used in David Roberts's post) at least sometimes implies the possibility of being recalled to the same job. Differences in language and employment law make things hard to communicate precisely, but I wanted to make clear that the circumstances were more dire than what Americans might read in hearing of "lay-offs". I really wish our budget circumstances at K-State were better so I could advocate hiring mathematicians from U. Leicester with some hope of success. Anyone on this list whose university is bucking the global trend and actually able to hire new faculty (academic staff) despite the pandemic should be advocating doing just that. Best Thoughts, David Yetter ________________________________ From: simona.paoli(a)virgilio.it <simona.paoli(a)virgilio.it> Sent: Thursday, June 10, 2021 2:36 PM To: David Yetter <dyetter(a)ksu.edu> Subject: Re: categories: Re: PhD positions at Leicester, UK This email originated from outside of K-State. Dear David, being made compulsory redundant and being fired are completely different things in the UK from the point of you of the employment law and chances of finding another job. Although both means losing one's job, being fired (technically called 'dismissal') in the UK is the result of underperformance or having done something wrong from the part of the employee. Not so in the case of compulsory redundancy. In a country like the UK where there is no tenure this difference is very important. Of course we all agree that what the University of Leicester has done is crazy, sickening and immoral-- those of us affected have had our lifes turned upside down. I appreciate you wrote your email to help, but I would also like to ask you not to tell people that we have been fired, but rather that we have lost our jobs, for the reasons above. But the crucial thing for those of us who are lost our job is to remain scientifically active while making job applications to find academic jobs somewhere else, which is what we all want to do. Any support from the category theory community to keep us connected is extremely valuable and appreciated. I remain emplou yed at Leicester until 10 August 2021, but people can always reach me at this personal email. Best wishes, Simona. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Next webinar of ItaCa Fest 2021
by Giuseppe Metere 11 Jun '21

11 Jun '21

CAUTION: The Sender of this email is not from within Dalhousie. Dear colleagues and friends, The next webinar of ItaCa Fest 2021 will be hosted online on June 15th, 2021. Programme: 14:30 -15:30 UTC+2 Olivia Caramello - "Relative topos theory via stacks" 15:30 - 16:30 UTC+2 Paolo Saracco - "Globalization for geometric partial comodules" Here is the Zoom link: https://zoom.us/j/94880770089?pwd=clgxK2VkVEE5Ymw5ME1QWktiWExUZz09 Please visit our website for the abstracts of the talks and updated info: https://progetto-itaca.github.io/pages/fest21.html. For any technical problem in attending the seminar, please contact one of the organizers: Beppe Metere, Ivan Di Liberti, Edoardo Lanari, Fosco Loregian, Paolo Perrone. All the best, Beppe. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Workshop on “Higher structures and operadic calculus” (hybrid format, CRM (Barcelona), June 21 -25, 2021)
by vallette 10 Jun '21

10 Jun '21

CAUTION: The Sender of this email is not from within Dalhousie. Dear Colleagues, The workshop on “Higher structures and operadic calculus” will take place at the CRM (Barcelona) from June 21 to June 25, 2021: https://www.crm.cat/higher-structures-and-operadic-calculus/ <https://www.crm.cat/higher-structures-and-operadic-calculus/> . It will be organised in an hybrid format so if you miss blackboard talks and human interactions, feel free to join us there, if you cannot travel, you will be able to follow the lectures online. The idea of this workshop is to provide the audience with a state of the art of these domains, which enjoy currently rapid developments, through the following five courses. “Higher structures in rational homotopy theory” by Alexander Berglund (Stockholm University) “An operadic view on associators” by Damien Calaque (Université de Montpellier) “Operadic deformation theory” by Ricardo Campos (CNRS, Université de Montpellier) “Weight structures and formality” by Geoffroy Horel (Université Sorbonne Paris Nord) “Infinity modular operads and the Grothendieck—Teichmüller group” by Marcy Robertson (University of Melbourne) If you are interested, please register on the webpage of the workshop. Further details can be found there. Detailed notes of the lectures will be typed and made available after the workshop. Yours, Bruno --------------------------------------- Professeur Université Paris 13 Laboratoire Analyse, Géométrie et Applications (LAGA) www.math.univ-paris13.fr/~vallette/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

First Call for Workshops - FLoC 2022 — The 2022 Federated Logic Conference
by Shaull Almagor 08 Jun '21

08 Jun '21

CAUTION: The Sender of this email is not from within Dalhousie. [apologies for cross posting] First Call for Workshops - FLoC 2022 — The 2022 Federated Logic Conference July 31 - August 12, 2022 Haifa, Israel http://www.floc2022.org/ CALL FOR WORKSHOPS The Eighth Federated Logic Conference (FLoC 2022) will host the following ten conferences and affiliated workshops. LICS (37th Annual ACM/IEEE Symposium on Logic in Computer Science) http://lics.rwth-aachen.de/ Workshop chair: Frederic Blanqui Frederic.Blanqui(a)inria.fr FSCD (7th International Conference on Formal Structures for Computation and Deduction) http://fscd-conference.org/ Workshop chair: Nachum Dershowitz nachumd(a)tau.ac.il ITP (13th International Conference on Interactive Theorem Proving) https://itp-conference.github.io/ Workshop chair: Cyril Cohen cyril.cohen(a)inria.fr IJCAR (International Joint Conference on Automated Reasoning) http://www.ijcar.org Workshop chair: Simon Robillard simon.robillard(a)imt-atlantique.fr CSF (35th IEEE Computer Security Foundations Symposium) http://www.ieee-security.org/CSFWweb/ Workshop chair: Musard Balliu musard(a)kth.se CAV (34th International Conference on Computer Aided Verification) http://i-cav.org/ Workshop chair: TBD KR (19th International Conference on Principles of Knowledge Representation and Reasoning) http://www.kr.org/ Workshop chair: Stefan Borgwardt stefan.borgwardt(a)tu-dresden.de ICLP (38th International Conference on Logic Programming) https://www.cs.nmsu.edu/ALP/conferences/ Workshop chair: Daniela Inclezan inclezd(a)miamioh.edu SAT (25th International Conference on Theory and Applications of Satisfiability Testing) http://www.satisfiability.org Workshop chair: TBD CP (25th International Conference on Principles and Practice of Constraint Programming) http://a4cp.org/events/cp-conference-series Workshop chair: TBD SUBMISSION OF WORKSHOP PROPOSALS Researchers and practitioners are invited to submit proposals for workshops on topics in the field of computer science, related to logic in the broad sense. Each workshop proposal must indicate one affiliated conference of FLoC 2022. It is strongly suggested that prospective workshop organizers contact the relevant conference workshop chair before submitting a proposal. Each proposal should consist of the following two parts. 1) A short scientific justification of the proposed topic, its significance, and the particular benefits of the workshop to the community, as well as a list of previous or related workshops (if relevant). 2) An organisational part including: - contact information for the workshop organizers; - proposed affiliated conference; - estimate of the number of workshop participants (please note that small workshops, i.e., of less than ~13 participants, will likely be cancelled or merged); - proposed format and agenda (e.g. paper presentations, tutorials, demo sessions, etc.); - potential invited speakers; - procedures for selecting papers and participants; - plans for dissemination, if any (e.g. a journal special issue); - duration (which may vary from one day to two days); - preferred period (pre or post FLoC); - virtual/hybrid backup plans (including platform preference). The FLoC Organizing Committee will determine the final list of accepted workshops based on the recommendations from the Workshop Chairs of the hosting conferences and availability of space and facilities. Proposals should be submitted through EasyChair: https://easychair.org/conferences/?conf=floc2022workshops IMPORTANT DATES Submission of workshop proposals deadline: August 9, 2021 Notification: September 14, 2021 Pre-FLoC workshops: Monday & Tuesday, August 1-2, 2022 Post-FLoC workshops: Thursday & Friday, August 11-12, 2022 CONTACT INFORMATION Questions regarding proposals should be sent to the workshop chairs of the proposed affiliated conference. General questions should be sent to: shaull(a)technion.ac.il GuillermoAlberto.Perez(a)uantwerpen.be FLoC 2022 WORKSHOP CHAIRS Shaull Almagor Guillermo A. Perez [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0