October 2019 - 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

Quantum Physics and Logics (QPL 2020), June 1-5, Paris-Saclay
by Joachim Kock 01 Nov '19

01 Nov '19

17th International Conference on Quantum Physics and Logic (QPL 2020) June 1-5th, 2020. Paris-Saclay, France. CALL FOR PAPER The conference brings together researchers working on the mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, category-theoretic structures, formal languages, semantic methods, and other computer science techniques applied to the study of physical behaviour in general. Work that applies structures and methods inspired by quantum theory to other fields (including computer science) is also welcome. QPL 2020 will be co-located with the 36th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2020). Our sponsors are : Atos, INRIA-Saclay, QuantFi. Invited Speakers L??dia del Rio (ETH Zurich) Cyril Branciard (U. Grenoble-Alpes) Alexandre Miquel (U. de la Rep., Montevideo) Quanlong Wang (U. of Oxford) John Selby (Perimeter Institute, Waterloo) Important dates Fri March 6: abstract submission Fri March 13: paper submission Sun April 19: notification of authors Tue April 21: application for student support Thu May 7: early registration deadline Fri May 15: final papers ready June 1-5: conference Submission Guidelines Prospective speakers are invited to submit one (or more) of the following: * Original contributions consist of a 5-12 page extended abstract that provides sufficient evidence of results of genuine interest and enough detail to allow the program committee to assess the merits of the work. Submission of substantial albeit partial results of work in progress is encouraged. * Extended abstracts describing work submitted/published elsewhere will also be considered, provided the work is recent and relevant to the conference. These consist of a 3 page description and should include a link to a separate published paper or preprint. The conference proceedings will be published in Electronic Proceedings in Theoretical Computer Science (EPTCS) after the conference. Only "original contributions" are eligible to be published in the proceedings. Submissions should be prepared using LaTeX, and must be submitted in PDF format. Use of the EPTCS style is encouraged. Submission is done via EasyChair: https://www.easychair.org/conferences/?conf=qpl2020 There will be an award for the best student paper at the discretion of the programme committee. Papers eligible for the award are those where all the authors are students at the time of submission. Committees Program Committee Pablo Arrighi (AMU & INRIA ??? PC co-chair) Miriam Backens (University of Birmingham) Jon Barrett (University of Oxford) Dan Browne (University College London) Giulio Chiribella (University of Hong Kong and University of Oxford) Bob Coecke (University of Oxford) Alejandro Diaz-Caro (ICC - CONICET, UBA, & Universidad Nacional de Quilmes) Simon Gay (University of Glasgow) Stefano Gogioso (University of Oxford) Matthew Hoban (Goldsmiths London) Dominic Horsman (Universit?? Grenoble Alpes) Joachim Kock (UAB) Martha Lewis (University of Amsterdam) Dan Marsden (University of Oxford) Simon Martiel (ATOS Quantum) Michael Moortgat (Utrecht University) Ognyan Oreshkov (Universit?? Libre de Bruxelles) Prakash Panangaden (McGill University ??? PC co-chair) Anna Pappa (Dahlem Center for Complex Quantum Systems, Freie U. Berlin). Simon Perdrix (CNRS / Universit?? de Lorraine) Paolo Perinotti (Universit?? di Pavia) Neil Ross (Dalhousie University) Ana Bel??n Sainz (ICTQT - University of Gdansk) Mehrnoosh Sadrzadeh (University College London) Pawel Sobocinski (Tallinn University of Technology) Isar Stubbe (Universit?? du Littoral) Beno??t Valiron (U. Paris Saclay ??? PC co-chair) Jamie Vicary (University of Oxford and University of Birmingham) Alexander Wilce (Susquehanna University) Margherita Zorzi (University of Verona) Magdalena Anna Zych (The University of Queensland) Yuan Feng (University of Technology Sydney) Organizing committee Pablo Arrighi Beno??t Valiron [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Lectureships in Computer Science at Leicester UK
by Roy L. Crole 31 Oct '19

31 Oct '19

Dear Colleagues, The University of Leicester is advertising two Lectureships ( = Assistant Professor) in Computer Science/Informatics. Please see below. Note that the School places high regard on /Foundations of Computer Science/, and sees this as supporting many of the broader research areas.? Kind Regards, Roy Crole. ********* *Lecturer Positions (Assistant Professorships) at the University of Leicester* Lecturer in Informatics / Computer Science (2 Posts) University of Leicester College of Science and Engineering School of Informatics Salary Grade 8 - ?40,322 to ?49,553 per annum Closing date: *14 November 2019* *About the School of Informatics* Informatics is a School focussed on excellence in everything we do. Working hard together, our ambitious staff and students work in cooperation to deliver research, teaching and learning of the highest quality. The School provides a rich and culturally diverse environment where both students and staff can thrive in a demanding yet cooperative and friendly atmosphere. In research, the School?s vision is to conduct internationally-leading discovery-led research in our research areas of core expertise in Applied Algorithms and AI, Foundations of Computer Science, Interaction Design and Evaluation of Socio-Technical Systems, Software Modelling and Evolution and Verification and Validation. These areas support interdisciplinary, applied and industrial research in the cross-cutting theme of ?Data-Driven Application Engineering (DADA)?. We also aim to apply the outcomes of our research to the benefit of the economy and society. Under the overarching DADA theme, the School currently prioritizes two cross-cutting research sub-themes, namely Trustworthy and reliable autonomous systems and Biomedical informatics. The school has research links with the Leicester Institute for Space and Earth Observation and the Leicester Institute for Precision Medicine, and is affiliated with the College of Science and Engineering?s Centre for AI and Data Analytics. The excellence of the School?s research has been confirmed in the last two national research assessment exercises (in 2008 and 2014). In each exercise, 95% of our research was judged to be of international quality, 65% was judged to be internationally leading, and over 20% of our research outputs world-leading. In teaching, we aim to deliver an outstanding student experience, with a wide range of modern undergraduate and postgraduate programmes along with doctoral research, all responsive to a competitive and rapidly changing discipline. Our teaching is founded on strong pedagogical principles, together with a unique approach to staff/student engagement and active learning. *About the Role* We will consider all candidates whose research focuses on one or more of the following areas: - Cyber-physical systems - Human Computer Interaction - Machine Learning and AI - Optimisation algorithms and Operations Research - Software Engineering for Autonomous Systems - Data Science In this role you will conduct high-level research teaching whilst generating funding through grants, consultancy and knowledge transfer activities. You will give lectures, seminars and tutorials, especially in areas across the School?s undergraduate and postgraduate curriculum. Your research will result in significant contributions to papers in leading international conferences and journals, whilst helping to build your relationships with external partners to support knowledge transfer and impact outside academia. The main emphasis for selection will be on research excellence, but the role also includes the development and delivery of excellent and innovative teaching in the respective areas as well as contributions to the administration and management of the School. You will work in a very supportive environment with research and teaching mentoring. At the heart of the UK, the University of Leicester is a research-intensive university. Different areas of activity are balanced by a departmental workload model to ensure fair and transparent balance between staff and different areas of activity. There are two full time, open ended positions available. *About You* In addition to being engaged in innovative learning and teaching that engages and inspires students, you will already have an established reputation for research, with a strong record of publications (appropriate to your level of experience) in peer reviewed journals and conferences of substantial international standing. You will have excellent networking skills which you use to seek out opportunities for collaboration and citizenship, both internally and externally. You will also be able to demonstrate the ability to generate external funding through research grants, contracts or other sources. Finally, you will have a track record of engaging with a range of communities related to your research and teaching interests, including external organisations and companies. *Additional information* For informal enquiries, please contact Lu Liu, Head of School of Informatics on +44 (0)116 252 3813 or l.liu(a)leicester.ac.uk <mailto:l.liu@leicester.ac.uk> To apply for this position, please see: https://jobs.le.ac.uk/vacancies/1501/lecturer-in-informatics.html We anticipate that interviews will take place in late November or early December 2019. *About Leicester* Leicester is an ambitious and leading University committed to international excellence, world-changing research and high quality, inspirational teaching. We are strongly committed to inclusivity, promoting equality and celebrating diversity among our staff and students. Our strength is built on the talent of our scholars, drawn to us by a mutual passion for discovery. We seek to embed an adventurous and entrepreneurial spirit into our research culture, and to create an environment in which both disciplinary and interdisciplinary excellence thrive. In return for your hard work, we offer a working environment that is committed to inclusivity, through promoting equality and valuing diversity. We offer a competitive salary package with excellent pension scheme and a generous annual leave allowance. Located close to Leicester city centre, our award winning campus benefits from a wide range of cafes, a fully equipped sports centre and nursery facilities. Further information regarding our extensive range of staff benefits is available here. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CT2020 preliminary announcement
by majordomo＠rr.mta.ca 29 Oct '19

29 Oct '19

This is a very preliminary announcement for the International Conference in Category Theory next year. It will be held in Genoa (Italy) from Sunday, 21 June 2020, to Saturday, 27 June 2020. Information about registration, talk submission, and programme will be available in due time. See you next summer in Genoa! Beppe Metere, Sandra Mantovani, Pino Rosolini [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

CT2020 preliminary announcement (corrected)
by Giuseppe Rosolini 29 Oct '19

29 Oct '19

This is a very preliminary announcement for the International Conference in Category Theory next year. It will be held in Genoa (Italy) from Sunday, 21 June 2020, to Saturday, 27 June 2020. Information about registration, talk submission, and programme will be available in due time. See you next summer in Genoa! Beppe Metere, Sandra Mantovani, Pino Rosolini [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Postdocs in Edinburgh
by Tom Leinster 28 Oct '19

28 Oct '19

Dear all, The School of Mathematics at Edinburgh is currently advertising five three-year postdoctoral positions across mathematics: https://www.maths.ed.ac.uk/school-of-mathematics/jobs/whittaker-research-fe… The ad mentions the School's five research "themes". The relevant one for most readers of this mailing list is Structure & Symmetry. Closing date is 21 Nov. Best wishes, Tom -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Open Topic Full Professorship in Computer Science, FAU Erlangen-Nürnberg
by Lutz Schröder 27 Oct '19

27 Oct '19

Friedrich-Alexander-Universität Erlangen-Nürnberg is advertising an open-topic full professorship in computer science, see https://www.fau.de/people/karriere-personalentwicklung/ausgeschriebene-prof… or in English: https://www.fau.eu/university/careers-at-fau/professorships/#collapse_3 Best, Lutz [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

tensor of cocomplete categories
by Joseph Moeller 25 Oct '19

25 Oct '19

Hello category theorists, I've been working with tensor products of categories of various degrees of cocompletion. What I mean is that I'm considering categories which are J-cocomplete for some class of small categories J, that is it has all colimits of diagrams for all shapes in J. I know that Kelly gives a tensor product for such things when J is small in section 6.5 of his book on Enriched Category Theory, but I'm working with large J, including when J has all categories, and then we're talking about cocomplete categories. I think these things must have been considered somewhere, and I'm hoping you can help me find a reference. Joe Moeller (He/Him) Graduate Student, Mathematics Department University of California, Riverside [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

tenure track positions in Utrecht
by Oosten, J. van (Jaap) 22 Oct '19

22 Oct '19

Dear colleagues, The mathematics department of Utrecht University invites applications for two (tenure track) assistant professorships. Although the ad stresses algebraic and differential geometry, candidates from research areas in logic with clear connections to geometry (in particular model theory, category/topos theory, infinity categories, HoTT) will also be considered. For job description and application form, see https://ssl1.peoplexs.com/Peoplexs22/CandidatesPortalNoLogin/Vacancy.cfm?Po… Jaap van Oosten [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

SYCO6 University of Leicester, 16-17 December 2019
by Paoli＠rr.mta.ca 22 Oct '19

22 Oct '19

Dear Colleagues, please find below the call for papers for the Sixth Symposium on Compositional Structures which will take place at the University of Leicester on 16-17 December 2019. Please note the submission deadline is 4 November 2019. I hope to see many of you in Leicester. Best wishes, Simona. SIXTH SYMPOSIUM ON COMPOSITIONAL STRUCTURES (SYCO 6) -- including a Category Theory PhD Recruitment Fair --??? ??? University of Leicester, UK??? 16-17 December, 2019??? ??? http://events.cs.bham.ac.uk/syco/6/??? ??? The Symposium on Compositional Structures (SYCO) is an??? interdisciplinary series of meetings aiming to support the growing??? community of researchers interested in the phenomenon of??? compositionality, from both applied and abstract perspectives, and in??? particular where category theory serves as a unifying common language.??? Previous SYCO events have been held at University of Birmingham,??? University of Strathclyde, University of Oxford, and Chapman University.??? ??? We welcome submissions from researchers across computer science,??? mathematics, physics, philosophy, and beyond, with the aim of??? fostering friendly discussion, disseminating new ideas, and spreading??? knowledge between fields. Submission is encouraged for both mature??? research and work in progress, and by both established academics and??? junior researchers, including students.??? ??? Submission is easy, with no format requirements or page restrictions.??? The meeting does not have proceedings, so work can be submitted even??? if it has been submitted or published elsewhere. Think creatively---??? you could submit a recent paper, or notes on work in progress, or even??? a recent Masters or PhD thesis.??? ??? While no list of topics could be exhaustive, SYCO welcomes submissions??? with a compositional focus related to any of the following areas, in??? particular from the perspective of category theory:??? ??? - logical methods in computer science, including classical and??? quantum programming, type theory, concurrency, natural language??? processing and machine learning;??? ??? - graphical calculi, including string diagrams, Petri nets and??? reaction networks;??? ??? - languages and frameworks, including process algebras, proof nets,??? type theory and game semantics;??? ??? - abstract algebra and pure category theory, including monoidal??? category theory, higher category theory, operads, polygraphs, and??? relationships to homotopy theory;??? ??? - quantum algebra, including quantum computation and representation??? theory;??? ??? - tools and techniques, including rewriting, formal proofs and proof??? assistants, and game theory;??? ??? - industrial applications, including case studies and real-world??? problem descriptions.??? ??? This new series aims to bring together the communities behind many??? previous successful events which have taken place over the last??? decade, including "Categories, Logic and Physics", "Categories, Logic??? and Physics (Scotland)", "Higher-Dimensional Rewriting and??? Applications", "String Diagrams in Computation, Logic and Physics",??? "Applied Category Theory", "Simons Workshop on Compositionality", and??? the "Peripatetic Seminar in Sheaves and Logic".??? ??? SYCO is a regular fixture in the academic calendar, running??? regularly throughout the year, and becoming over time a recognized??? venue for presentation and discussion of results in an informal and??? friendly atmosphere. To help create this community, and to avoid the??? need to make difficult choices between strong submissions, in the??? event that more good-quality submissions are received than can be??? accommodated in the timetable, the programme committee may choose to??? *defer* some submissions to a future meeting, rather than reject them.??? This would be done based largely on submission order, giving an??? incentive for early submission, but would also take into account other??? requirements, such as ensuring a broad scientific programme. Deferred??? submissions can be re-submitted to any future SYCO meeting, where they??? would not need peer review, and where they would be prioritised for??? inclusion in the programme. This will allow us to ensure that speakers??? have enough time to present their ideas, without creating an??? unnecessarily competitive reviewing process. Meetings will be held??? sufficiently frequently to avoid a backlog of deferred papers.??? ??? # INVITED SPEAKERS??? ??? Gabriella Bohm, Wigner Research Centre for Physics??? Jennifer Hackett, University of Nottingham??? ??? # PhD RECRUITMENT FAIR??? ??? This event will include a poster session advertising PhD opportunities??? in category theory and related disciplines. If you are interested in??? advertising PhD opportunities at your institution, please email Simona??? Paoli at <sp424(a)leicester.ac.uk>. We expect significant participation??? from Masters students and final-year undergraduates who are??? considering further study in this area.??? ??? # IMPORTANT DATES??? ??? All deadlines are 23:59 Anywhere on Earth??? ??? Submission Deadline: Monday 4th November 2019??? Author Notification: Monday 18th November 2019??? Registration deadline: Monday 9th December 2019??? Symposium dates: Monday 16th and Tuesday 17th December 2019??? ??? # Programme Committee??? ??? Fatimah Ahmadi, University of Oxford??? Miriam Backens, University of Birmingham??? Nicols Behr, Institut de Recherche en Informatique Fondamentale (IRIF), Universit?? Paris-Diderot ??? Paris 7??? Carmen Maria Constantin, University of Oxford??? Chris Heunen, University of Edinburgh,??? Dominic Horsman, University of Grenoble??? Aleks Kissinger, University of Oxford??? Eliana Lorch, Thiel Fellowship??? Dan Marsden, University of Oxford (PC Chair)??? Samuel Mimram, Ecole Polytechnique??? Koko Muroya, RIMS, Kyoto University & University of Birmingham??? Simona Paoli, University of Leicester??? Mehrnoosh Sadrzadeh, University College London??? Alessio Santamaria, Queen Mary University of London??? Alexandra Silva, University College London??? Pawel Sobocinski, Tallinn University of Technology??? Jamie Vicary, University of Birmingham and University of Oxford??? Philip Zahn, University of St Gallen??? Tamara von Glehn??? ??? # Steering Committee??? ??? Ross Duncan, University of Strathclyde??? Chris Heunen, University of Edinburgh??? Dominic Horsman, University of Grenoble??? Alek Kissinger, University of Oxford??? Samuel Mimram, Ecole Polytechnique??? Simona Paoli, University of Leicester??? Mehrnoosh Sadrzadeh, University College London??? Pawel Sobocinski, Tallinn University of Technology??? Jamie Vicary, University of Birmingham and University of Oxford??? # Local Organizers Simona Paoli, Roy Crole, Peter Guthmann, Andrew Smith [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0