July 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

Chaire de la Vallee Poussin 2023
by Marino Gran 29 Jul '23

29 Jul '23

Dear colleagues, It is a pleasure to let you know that Kathryn Hess Bellwald, professor at the Ecole Polytechnique Federale de Lausanne, will be the recipient of the Chaire de la Vallee Poussin 2023. The Chaire de la Vallee Poussin was created in honor of the great Belgian mathematician Charles-Jean de la Vall?e Poussin ( see https://uclouvain.be/fr/instituts-recherche/irmp/chaire-de-la-vallee-poussi… ). Kathryn Hess Bellwald will give a series of lectures on Homotopical perspectives on algebra and geometry at the Institut de Recherche en Mathematique et Physique (https://uclouvain.be/fr/instituts-recherche/irmp ) of the Universite catholique de Louvain. The first lecture, called the le?on inaugurale and accessible to a wide audience, is scheduled on Wednesday, 29 November, at 4.30 p.m. The title of the inaugural lecture is Hochschild homology: from classical to modern. The second lecture, entitled Homotopical perspectives on Morita and Hopf-Galois theory, will take place on Thursday 30 November at 4.30 p.m. The third lecture on Configuration spaces for product manifolds is scheduled on Friday 1st December at 10.45 a.m. On Friday 1st December at 1 p.m. Kathryn Hess Bellwald will give a lecture in French whose title will be Aventures mathematiques en neurosciences (accessible also to first year students). The abstracts of the lectures are available on the webpage of the conference at the address https://uclouvain.be/en/research-institutes/irmp/chaire-de-la-vallee-poussi… Looking forward to seeing you in Louvain-la-Neuve, best regards, Marino Gran Institut de Recherche en Math?matique et Physique Universite catholique de Louvain https://perso.uclouvain.be/marino.gran/ [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Research Fellow in Quantum Tech and NLP in UCL
by Sadrzadeh, Mehrnoosh 28 Jul '23

28 Jul '23

Dear colleagues, UCL's Department of Computer Science is looking for a 2-year research assistant/fellow in Natural Language Processing with Quantum Technology. For details and how to apply, see below: https://www.ucl.ac.uk/work-at-ucl/search-ucl-jobs/details?nPostingId=5840&n… The closing date of the post is 30th of September. Let me know of any questions and best, Mehrnoosh Sadrzadeh [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Publication of Volume LXIV-3 of the "Cahiers
by Andree Ehresmann 21 Jul '23

21 Jul '23

Dear Colleagues, We are pleased to inform you that Volume LXIV-3 (3rd 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

Re: PhD position in Gothenburg, Sweden
by Christian Sattler 19 Jul '23

19 Jul '23

The correct link is https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89… Apologies for the noise. On Mon, 17 Jul 2023 at 21:35, Christian Sattler <sattler(a)chalmers.se> wrote: > > I am looking for a PhD student interested in working on constructive > higher category theory and/or homotopy type theory. Detailed proposal: > https://www.cse.chalmers.se/~sattler/phd-proposal.pdf > > This is part of a departmental recruitment drive (deadline August 20): > https://web103.reachmee.com/ext/I005/1035/job?site=7&lang=UK&validator=9b89… > > Selected applicants receive a full time employment at the University > of Gothenburg (5 years, 20% teaching). Employment in Sweden carries > all the usual health and pension benefits, paid holidays, etc. > > You are welcome to contact me in advance with any questions. > > Christian Sattler > [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Professor F. William Lawvere
by Posina Venkata Rayudu 07 Jul '23

07 Jul '23

Dear All, I just thought of sharing with you all my gratitude towards Professor F. William Lawvere and his inspirational seriousness of purpose: https://conceptualmathematics.substack.com/p/professor-f-william-lawvere Thanking you, Yours truly, posina [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Looking for a manuscript by Anders Kock
by James Lipton 02 Jul '23

02 Jul '23

Hi all, Does anyone have a copy of Anders Kock's 1970 manuscript: *On a Theorem of Läuchli concerning Proof Bundles.* Thanks, Jim Lipton [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0