September 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

Assist
by Alexander Kurz 30 Sep '23

30 Sep '23

Dear colleagues and friends, Chapman University has a tenure track position in Computer Science. https://apply.interfolio.com/133097 If you are a theoretical computer scientist interested in this position, get in touch. I am happy to tell you more about Chapman. Kind regards, Alexander PS I send this from the email I am subscribed with on this list. But it is better to write to me on akurz(a)chapman.edu. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

MSCS Special Issue on Differential Structures: Deadline Extension
by JS PL 29 Sep '23

29 Sep '23

-- Special Issue of Mathematical Structures in Computer Science on "Differential Structures in Computer Science and Mathematics" -- Edited by R. Cockett, G. Cruttwell, M. Kerjean, and J.-S. P. Lemay IMPORTANT: Submission Window Extension The deadline for the special MSCS issue was originally at the end of Septembre. However, after some authors have asked for more time: MSCS has allowed us to accept late submissions throughout Oct-Nov 2023. If you are interested in submitting to the volume, please contact one of the guest editors to discuss when your submission will be ready. SCOPE AND OBJECTIVES: In the early 2000s, Ehrhard and Regnier noticed that many models of linear logic had a natural notion of differential operator in which the logical and mathematical notions of "linear" coincided. This led to their introduction of differential linear logic, the differential lambda-calculus and differential proof nets. Following this, Blute, Cockett and Seely introduced categorical counterparts to these ideas in the form of differential categories and Cartesian differential categories, which were then expanded upon further by many others including Fiore and Ehrhard. Afterwards, Cockett and Cruttwell connected these structures to existing categorical forms of differential structure via Rosicky's notion of a tangent category, which has led to further connections in many areas of mathematics including (synthetic) differential geometry, commutative algebra, etc. Since these developments, there have been numerous papers and talks on these ideas in both computer science and mathematics. This special issue of Mathematical Structures in Computer Science aims to collect papers on recent developments in these areas, from both a theoretical and an applicative point of view. TOPICS FOR SUBMITTED PAPERS: Possible topics for submitted papers include, but are not limited to: * Differential linear logic, the differential lambda calculus and differential proof-nets * Models of differential and/or resource calculi * Theory and models of differential programming * Theory and applications of differential categories * Theory and applications of tangent categories SUBMISSION INSTRUCTIONS: The papers must be of very high quality, and reflect a new emphasis upon the use of differential concepts and results in either computer science or mathematics (or both), broadly construed. They will be refereed as standard submissions to Mathematical Structures in Computer Science. As for the submission process, authors should go to the MSCS website, and when asked: indicate that the submission is made for a special issue, and indicate Differential structures. https://www.cambridge.org/core/journals/mathematical-structures-in-computer… For questions, please contact one of the editors: Robin Cockett (robin(a)ucalgary.ca) Geoff Cruttwell (gcruttwell(a)mta.ca) Marie Kerjean (marie.kerjean(a)lipn.univ-paris13.fr) Jean-Simon Pacaud Lemay (js.lemay(a)mq.edu.au) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Research position in category theory at Masaryk University
by bourkej 20 Sep '23

20 Sep '23

Dear all, The Department of Mathematics and Statistics at Masaryk University invites applications for a research position in category theory and related areas, supported by the project ``Enriched categories and their applications". The deadline for applications is 22 Oct 2023. Further details are available here. https://www.muni.cz/en/about-us/careers/vacancies/76670 If you have any queries, feel free to send an email to bourkej(a)math.muni.cz. Best regards, John Bourke. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Lectureship in Pure Mathematics - University of Manchester
by Nicola Gambino 19 Sep '23

19 Sep '23

Dear colleagues and friends, I am writing to let you know that the Department of Mathematics of the University of Manchester is advertising a Lectureship in Pure Mathematics. Logic is explicitly mentioned as one of the areas for the position. A lectureship in the UK academic system is a permanent position, involving research, teaching and administration - I think somewhat comparable to an Assistant Professorship in the USA. Further details can be found at the web page https://www.jobs.manchester.ac.uk/Job/JobDetail?JobId=26613 The deadline for applications is 2nd November 2023. Please do not hesitate to contact me if you have any questions. With best wishes, Nicola [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

XIV Portuguese Category Seminar and A Day on Pointfree Topology
by Maria Manuel Clementino 15 Sep '23

15 Sep '23

XIV PORTUGUESE CATEGORY SEMINAR The fourteenth edition of the Portuguese Category Seminar (PCS) will be held at the Department of Mathematics of the University of Coimbra on October 13-14, 2023: https://www.mat.uc.pt/~categ/pcs14/index.html celebrating 20 years of PCS. If you intend to attend this meeting, please send a message to mmc(a)mat.uc.pt, not later than October 5. If you wish to give a talk, important dates are: ???? * September 30: Deadline for submission of abstracts (through the email address mmc(a)mat.uc.pt) ???? * October 2: Communication of acceptance ???? * October 2: Programme A DAY ON POINTFREE TOPOLOGY This is a one-day workshop on Pointfree Topology, on the occasion of Jorge Picado <http://www.mat.uc.pt/%7Epicado/>'s 60th birthday. This event will be held at the Department of Mathematics of the University of Coimbra on October 12, 2023: https://sites.google.com/view/pointfree2023/ Registration is free but mandatory. Deadline:September 22, 2023. The programme is available at https://sites.google.com/view/pointfree2023/programme At dinner we'll have the occasion to celebrate Jorge Picado's 60th birthday. (Please send this information to any colleague who may be interested.) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CT2024 - First announcement
by Xabier Garcia Martinez 13 Sep '23

13 Sep '23

Dear colleagues,=0A= =0A= We are pleased to announce that the next International Category Theory Conf= erence - CT2024 - will take place at the Universidade de Santiago de Compos= tela (Spain). The conference will commence with a welcome reception on Sund= ay, June 23rd and will conclude on Saturday, June 29th.=0A= =0A= =0A= The members of the CT2024 Scientific Committee are:=0A= =0A= Maria Manuel Clementino=0A= James Gray=0A= Steve Lack=0A= Tom Leinster (as chair)=0A= Matias Menni=0A= Susan Niefield=0A= Tim Van der Linden=0A= =0A= =0A= For more information about the conference, please visit our website at http= s://www.usc.gal/regaca/ct2024/=0A= =0A= If you need to contact the organisers, please email us at ct.2024(a)usc.gal= =0A= =0A= =0A= Kind regards,=0A= =0A= The members of the CT2024 Organising Committee=0A= Xabier Garcia Martinez, Manuel Ladra, Diana Rodelo, Tim Van der Linden= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Advances in Homotopy type theory - MSCS special issue
by Benno van den Berg 12 Sep '23

12 Sep '23

Dear colleagues and friends, I am writing to invite you to submit papers to a special issue of Mathematical Structures in Computer Science entitled “Advances in Homotopy Type Theory”. Submissions based on talks presented at the International Conference in Homotopy Type Theory held at Carnegie Mellon University in May 2023 are encouraged, but other papers are welcome too. Submissions should be made via the MSCS Scholar One portal, choosing the name of the special issue from the drop down list on page one: https://www.cambridge.org/core/journals/mathematical-structures-in-computer… The deadline for submissions is 31st January 2024. With best regards, Benno (also on behalf of the other guest editors, Thorsten Altenkirch, Nicola Gambino, and Maria Emilia Maietti) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

concepts & categories
by Posina Venkata Rayudu 10 Sep '23

10 Sep '23

Dear All, I hope all is well. Would you be kind enough to share a copy of the following papers (and abstracts) of Professor F. William Lawvere (in case you happen to have): Categorie e Spazio: Un Profilo, Lettera matematica PRISTEM 31, Springer, Italy, (1999), 35-50. [Reprinted in La Mathematica a cura di Bartocci, Claudio, Giulio Einaudi editore (2010) vol. 4, 107-135.] Concetti fondazionali espliciti nell'insegnamento della matematica, Matematica e filosofia: il problema dei fondamenti oggi PRISTEM/Storia 14-15 a cura di Albeverio, Sergio e Minazzi, Fabio. Atti del Convegno di Mendrisio, 16 novembre 2001. [Interdisciplinary Encounter on the Problem of Foundations of Mathematics]. and/or its English translation: Explicit foundational concepts in the teaching of mathematics in Filsofia, scienza e bioetica nel dibattito contemporaneo a cura di Minazzi, Fabio, Instituto Poligrafico e Zecca dello Stato, Roma (2007). Functorial Automata Theory AMS Notices 603-151, vol 10: 477-478 (July 1963) Concepts and Problems in Mathematical Toposes CMS Winter Meeting, Toronto, Special Session on Category Theory, Program p. 31 (December 1988) Categorical Analyses of the Whole/Part Relation Mitteleuropaeisches Kulturinstitut, Bolzano, Italy (May 1998) On a related note, I was wondering of any efforts to collect together Professor F. William Lawvere's posts to our Category Theory Mailing List, most of which are very substantive (e.g., critique of Chomskian syntax vs. semantics obsession unmindful of theories). Speaking of words and concepts, it is amusing to see how the enlightened artificial intelligentsia (AI) is blissfully oblivious to the mathematical advances---Bastiani & Ehresmann's Sketches, Grothendieck's Descent, and F. William Lawvere's Functorial Semantics---in our understanding of the relationship between presentations (words) and representations of concepts objectified as structures (cf. https://www.nature.com/articles/s42256-023-00703-8) This may not be surprizing given that Nature, Science, PNAS et al., turned political or something other than science (e.g., speaking in tongues: oracles and faith, https://www.nature.com/articles/529437a) The good old days of MacLane communicating Professor F. William Lawvere's Category of Sets to PNAS (and, of course, Functorial Semantics was also published there) are gone for good (cf. https://www.pnas.org/doi/10.1073/pnas.1609793113) Happy Weekend :) Thanking you, Yours truly, posina [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

The topology of critical processes
by Marco Grandis 07 Sep '23

07 Sep '23

This preprint is now available: The topology of critical processes, I (Processes and models) M. Grandis https://arxiv.org/abs/2309.01991 [math.AT] 23 pages Abstract. This article belongs to a subject, Directed Algebraic Topology, whose general aim is including non-reversible processes in the range of topology and algebraic topology. Here, as a further step, we also want to cover `critical processes', indivisible and unstoppable. This introductory article is devoted to fixing the new framework and representing processes of diverse domains, with minimal mathematical prerequisites. The fundamental category and singular homology in the present setting will be dealt with in a sequel. Regards Marco Grandis [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0