November 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

CMCS 2020: Second Call for Papers
by Henning Basold 29 Nov '19

29 Nov '19

Call for Papers The 15th International Workshop on Coalgebraic Methods in Computer Science (CMCS'20) Dublin, Ireland, 25 - 26 April 2020 (co-located with ETAPS 2020) www.coalg.org/cmcs20 Objectives and scope -------------------- Established in 1998, the CMCS workshops aim to bring together researchers with a common interest in the theory of coalgebras, their logics, and their applications. As the workshop series strives to maintain breadth in its scope, areas of interest include neighbouring fields as well. Topics of interest include, but are not limited to, the following: - the theory of coalgebras (including set theoretic and categorical approaches); - coalgebras as computational and semantical models (for programming languages, dynamical systems, term rewriting, etc.); - coalgebras in (functional, object-oriented, concurrent, and constraint) programming; - coalgebraic data types, type systems and behavioural typing; - coinductive definition and proof principles for coalgebras (including "up-to" techniques); - coalgebras and algebras; - coalgebras and (modal) logic; - coalgebraic specification and verification; - coalgebra and control theory (notably of discrete event and hybrid systems); - coalgebra in quantum computing; - coalgebra and game theory; - tools exploiting coalgebraic techniques. Venue and event --------------- CMCS'20 will be held in Dublin, Ireland, co-located with ETAPS 2020 on 25 - 26 April 2020. Keynote Speaker --------------- Yde Venema (ILLC, University of Amsterdam, The Netherlands) Invited Speakers ---------------- Nathanaël Fijalkow (CNRS, LaBRI, University of Bordeaux, France) Koko Muroya (RIMS, Kyoto University, Japan) Invited Tutorial Speakers ------------------------- There will be a special session on probabilistic couplings, with invited tutorials by: Marco Gaboardi (University at Buffalo, US) Justin Hsu (University of Wisconsin-Madison, US) Important dates (tentative) --------------------------- Abstract regular papers 6 January 2020 Submission regular papers 10 January 2020 Notification 12 February 2020 Camera-ready copy 21 February 2020 Submission short contributions 26 February 2020 Notification short contributions 11 March 2020 Programme committee ------------------- Henning Basold, Leiden University, the Netherlands Nick Bezhanishvili, University of Amsterdam, the Netherlands Corina Cirstea, University of Southampton, United Kingdom Mai Gehrke, CNRS and Université Côte d'Azur, France Helle Hvid Hansen, Delft University of Technology, The Netherlands Shin-Ya Katsumata, National Institute of Informatics, Japan Bartek Klin, Warsaw University, Poland Ekaterina Komendantskaya, Heriot-Watt University, United Kingdom Barbara König, University of Duisburg-Essen, Germany Dexter Kozen, Cornell University, USA Clemens Kupke, University of Strathclyde, United Kingdom Alexander Kurz, Chapman University, USA Daniela Petrisan, Université Paris 7, France Andrei Popescu, Middlesex University London, United Kingdom Damien Pous, CNRS and ENS Lyon, France Jurriaan Rot, UCL and Radboud University, The Netherlands Davide Sangiorgi, University of Bologna, Italy Ana Sokolova, University of Salzburg, Austria David Sprunger, National Institute of Informatics, Japan Henning Urbat, University of Erlangen-Nuremberg, Germany Fabio Zanasi, University College London, United Kingdom Publicity chair --------------- Henning Basold, Leiden University, The Netherlands PC co-chairs -------------- Daniela Petrisan, Université Paris 7, France Jurriaan Rot, UCL and Radboud University, The Netherlands Steering committee ------------------ Filippo Bonchi, University of Pisa, Italy Marcello Bonsangue, Leiden University, The Netherlands Corina Cirstea, University of Southampton, United Kingdom Ichiro Hasuo, National Institute of Informatics, Japan Bart Jacobs, Radboud University Nijmegen, The Netherlands Bartek Klin, University of Warsaw, Poland Alexander Kurz, University of Leicester, United Kingdom Marina Lenisa, University of Udine, Italy Stefan Milius (chair), University of Erlangen-Nuremberg, Germany Larry Moss, Indiana University, USA Dirk Pattinson, Australian National University, Australia Lutz Schröder, University of Erlangen-Nuremberg, Germany Alexandra Silva, University College London, United Kingdom Submission guidelines --------------------- We solicit two types of contributions: regular papers and short contributions. Regular papers must be original, unpublished, and not submitted for publication elsewhere. They should not exceed 20 pages in length in Springer LNCS style. Short contributions may describe work in progress, or summarise work submitted to a conference or workshop elsewhere. They should be no more than two pages. Regular papers and short contributions should be submitted electronically as a PDF file via the Easychair system at http://www.easychair.org/conferences/?conf=cmcs2020. The proceedings of CMCS 2020 will include all accepted regular papers and will be published post-conference as a Springer volume in the IFIP-LNCS series. Accepted short contributions will be bundled in a technical report. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

"Categories for Quantum Theory" book
by Chris Heunen 29 Nov '19

29 Nov '19

Dear colleagues, We're delighted to announce that our book "Categories for Quantum Theory" has finally been published with Oxford University Press, in the series Oxford Graduate Texts in Mathematics. We hope you may be interested in it, and would love your feedback! https://global.oup.com/academic/product/categories-for-quantum-theory-97801… PR summary: Monoidal category theory serves as a powerful framework for describing logical aspects of quantum theory, giving an abstract language for parallel and sequential composition, and a conceptual way to understand many high-level quantum phenomena. This text lays the foundation for this categorical quantum mechanics, with an emphasis on the graphical calculus which makes computation intuitive. Biproducts and dual objects are introduced and used to model superposition and entanglement, with quantum teleportation studied abstractly using these structures. Monoids, Frobenius structures and Hopf algebras are described, and it is shown how they can be used to model classical information and complementary observables. The CP construction, a categorical tool to describe probabilistic quantum systems, is also investigated. The last chapter introduces higher categories, surface diagrams and 2-Hilbert spaces, and shows how the language of duality in monoidal 2-categories can be used to reason about quantum protocols, including quantum teleportation and dense coding. Prior knowledge of linear algebra, quantum information or category theory would give an ideal background for studying this text, but it is not assumed, with essential background material given in a self-contained introductory chapter. Throughout the text links with many other areas are highlighted, such as representation theory, topology, quantum algebra, knot theory, and probability theory, and nonstandard models are presented, such as sets and relations. All results are stated rigorously, and full proofs are given as far as possible, making this book an invaluable reference for modern techniques in quantum logic, with much of the material not available in any other textbook. Kind regards, Chris Heunen and Jamie Vicary -- 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

Online category theory resources
by Peter Smith 26 Nov '19

26 Nov '19

A while back, I constructed a webpage linking to online materials on category theory at an introductory/middling level, including lecture notes, (legally available!) books, and videos of lectures. You’ll find it at https://www.logicmatters.net/categories/ I initially wrote this really for my own use, to keep track of things I found. But the page has got over 25K visits in the last year, so obviously some others are finding it useful too. I’ve had another non-categorial project recently, so haven’t been giving this page much attention. However, I’ve just now updated it, removed a couple of dead links and corrected some others. But please do let me know of appropriate recent materials I should be adding to the list — and spread the word to students who might find it useful. Peter Smith [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

SYCO6 conference at the University of Leicester on 16-17 December 2019
by Roy L. Crole 26 Nov '19

26 Nov '19

[ Resent: the original message was corrupted. ] Dear All, The programme of the *SYCO6 conference at the University of Leicester on 16-17 December 2019 *is now available on the conference website http://events.cs.bham.ac.uk/syco/6/ <https://eur03.safelinks.protection.outlook.com/?url=http%3A%2F%2Fevents.cs.…> If you plan to come, please *register* by completing the online form by *9 December* 2019. *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 notify the local organizer Simona Paoli (email below) and come along to the meeting (or send a colleague or student) with a poster advertising your PhD opportunities. We hope very much to see many of you in Leicester next month. If you have any queries, please e-mail Simona Paoli at sp424(a)le.ac.uk Best wishes, The conference organizers (Simona Paoli, Roy Crole, Andrew Smith, Peter Guthmann) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Maltsiniotis webpage on derivators
by Joyal, André 25 Nov '19

25 Nov '19

Dear category theorists, Georges Maltsiniotis has recently updated his Webpage on Grothendieck derivators with a complete bibliography on the subject: https://webusers.imj-prg.fr/~georges.maltsiniotis/groth/Derivateursengl.html André Joyal [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

SYCO6 programme
by Paoli, Simona (Dr.) 23 Nov '19

23 Nov '19

=0A= Dear All,=0A= =0A= =A0 the programme of the SYCO6 conference at the University of Leicester on= 16-17 December 2019 is now available on the conference website=A0http://ev= ents.cs.bham.ac.uk/syco/6/=0A= If you plan to come, please register by completing the online form by 9 Dec= ember 2019.=0A= We hope very much to see many of you in Leicester next month. If you have a= ny queries, please e-mail Simona Paoli at sp424(a)le.ac.uk=0A= =0A= Best wishes,=0A= =0A= The conference organizers=0A= (Simona Paoli, Roy Crole, Andrew Smith, Peter Guthmann)=0A= =0A= [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Gödel Prize - call for nominations
by Anuj Dawar 23 Nov '19

23 Nov '19

The Gödel Prize 2020 - Call for Nominations Deadline: February 15, 2020 The Gödel Prize for outstanding papers in the area of theoretical computer science is sponsored jointly by the European Association for Theoretical Computer Science (EATCS) and the Association for Computing Machinery, Special Interest Group on Algorithms and Computation Theory (ACM SIGACT). The award is presented annually, with the presentation taking place alternately at the International Colloquium on Automata, Languages, and Programming (ICALP) and the ACM Symposium on Theory of Computing (STOC). The 28th Gödel Prize will be awarded at the 47th International Colloquium on Automata, Languages, and Programming to be held during 8-12 July, 2020 in Beijing. The Prize is named in honour of Kurt Gödel in recognition of his major contributions to mathematical logic and of his interest, discovered in a letter he wrote to John von Neumann shortly before von Neumann’s death, in what has become the famous “P versus NP” question. The Prize includes an award of USD 5,000. Award Committee: The 2020 Award Committee consists of Samson Abramsky (University of Oxford), Anuj Dawar (Chair, University of Cambridge), Joan Feigenbaum (Yale University), Robert Krauthgamer (Weizmann Institute), Daniel Spielman (Yale University) and David Zuckerman (University of Texas, Austin). Nominations: Nominations for the award should be submitted by email to the Award Committee Chair: anuj.dawar(a)cl.cam.ac.uk. Please make sure that the Subject line of all nominations and related messages begin with “Goedel Prize 2020.” To be considered, nominations for the 2020 Prize must be received by February 15, 2020. Those intending to submit a nomination should contact the Award Committee chair by email well in advance to discuss it. For full details on eligibility and requirements, please see http://eatcs.org/index.php/goedel-prize http://www.sigact.org/prizes/gödel.html or contact the Award Committee chair, Anuj Dawar <anuj.dawar(a)cl.cam.ac.uk> -- Anuj.Dawar(a)cl.cam.ac.uk Professor of Logic and Algorithms Department of Computer Science and Technology University of Cambridge Phone: +44 1223 334408 15 J.J. Thomson Avenue Fax: +44 1223 334678 Cambridge CB3 0FD, UK. http://www.cl.cam.ac.uk/users/ad260 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

TYPES 2020 - Call for contributions
by Ugo de'Liguoro 23 Nov '19

23 Nov '19

TYPES 2020 - Call for contributions 26th International Conference on Types for Proofs and Programs 2 - 5 March 2020, Turin Web: https://types2020.di.unito.it/ Torino, Italy BACKGROUND The TYPES meetings are a forum to present new and on-going work in all aspects of type theory and its applications, especially in formalised and computer assisted reasoning and computer programming. The TYPES areas of interest include, but are not limited to: * foundations of type theory and constructive mathematics; * applications of type theory; * dependently typed programming; * industrial uses of type theory technology; * meta-theoretic studies of type systems; * proof assistants and proof technology; * automation in computer-assisted reasoning; * links between type theory and functional programming; * formalizing mathematics using type theory. We encourage talks proposing new ways of applying type theory. In the spirit of workshops, talks may be based on newly published papers, work submitted for publication, but also work in progress. The EUTypes Cost Action CA15123 (eutypes.cs.ru.nl) focuses on the same research topics as TYPES and partially sponsors the TYPES Conference: Part of the program is organised under the auspices of EUTypes. INVITED SPEAKERS * Sara Negri (University of Helsinki) * Pierre Marie-P??drot (Inria Rennes-Bretagne-Atlantique) * Ulrik Buchhotlz (Technische Universit??t Darmstadt) * Leonardo de Moura (RISE-Microsoft Research) CONTRIBUTED TALKS We solicit contributed talks: Selection of those will be based on extended abstracts/short papers of 2 pp (not including bibliography) formatted with easychair.cls. The submission site is https://easychair.org/conferences/?conf=types2020. Important dates: * abstract submission: 10 January 2020, anywhere on Earth * notification of acceptance/rejection: 1 February 2020 * camera-ready version of abstract: 15 February 2020 Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution at the workshop. POST-PROCEEDINGS Similarly to TYPES 2011 and TYPES 2013-2019, a post-proceedings volume will be published in the Leibniz International Proceedings in Informatics (LIPIcs) series. Submission to that volume will be open to everyone. PROGRAMME COMMITTEE * Stefano Berardi (Universit?? di Torino) (co-chair) * Ugo de??? Liguoro (Universit?? di Torino) (chair) * Marino Miculan (Universit?? di Udine) * Marc Bezem (University of Bergen) * Gilles Dowek (INRIA ??? ENS Paris-Saclay) * Takeshi Tsukada (University of Tokyo) * Jos?? Esp??rito Santo (University of Minho) * Herman Geuvers (Radboud University Nijmegen) * Ralph Matthes (IRIT ??? CNRS and University of Toulouse) * Henning Basold (Universiteit Leiden) * Aleksy Schubert (University of Warsaw) * Anton Setzer (University of Swansea) * Thorsten Altenkirch (University of Nottingham) * Silvia Ghilezan (Univerity of Novi Sad) * ??tienne Miquey INRIA, (University of Nantes) * Elaine Pimentel (Federal University of Rio Grande do Norte) * Tarmo Uustalu (Reykjavik University) * Alexandre Miquel (University of Montevideo) * Thierry Coquand (Chalmers University of Technology) CONTACT Email: ugo.deliguoro(a)unito.it Organisers: Ugo de'Liguoro (University of Turin, chair) Stefano Berardi (University of Turin) -- Ugo de'Liguoro Associate Professor Dept. of Computer Science University of Torino Corso Svizzera 185, 10149, Torino (Italy) phone +39 011 6706766 - fax +39 011 751603 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

ITRS 2020 Call for contributions
by Ugo de'Liguoro 23 Nov '19

23 Nov '19

TRS 2020 Call for contributions Tenth Workshop on Intersection Types and Related Systems 6 March 2020, Turin Affiliated with Types 2020 Web: http://www.di.unito.it/~deligu/ITRS2020/ Aims and Scope Intersection types were introduced near the end of the 1970s to overcome the limitations of Curry's type assignment system and to provide a characterization of the strongly normalizing terms of the Lambda Calculus. The key idea is to introduce an intersection type constructor ??? such that a term of type t ??? s can be used at both type t and s within the same context. This provides a finite polymorphism where various, even unrelated, types of the term are listed explicitly, differently from the more widely used universally quantified types where the polymorphic type is the common schema which stands for its various type instances. As a consequence, more terms (all and only the normalizing terms) can be typed than with universal polymorphism. Although intersection types were initially intended for use in analyzing and/or synthesizing lambda models as well as in analyzing normalization properties, over the last twenty years the scope of the research on intersection types and related systems has broadened in many directions. Restricted (and more manageable) forms have been investigated, such as refinement types. Type systems based on intersection type theory have been extensively studied for practical purposes, such as program analysis and higher-order model checking. The dual notion of union types turned out to be quite useful for programming languages. Finally, the behavioural approach to types, which can give a static specification of computational properties, has become central in the most recent research on type theory. The ITRS 2020 workshop aims to bring together researchers working on both the theory and practical applications of systems based on intersection types and related approaches. Possible topics for submitted papers include, but are not limited to: * Formal properties of systems with intersection types. * Results for related systems, such as union types, refinement types, or singleton types. * Applications to lambda calculus, pi-calculus and similar systems. * Applications for programming languages, program analysis, and program verification. * Applications for other areas, such as database query languages and program extraction from proofs. * Related approaches using behavioural/intensional types and/or denotational semantics to characterize computational properties. * Quantitative refinements of intersection types. ITRS workshops have been held every two years; Information about the previous events is available at the ITRS home page. Invited Speaker: * Jeremy Siek?? (Indiana University Bloomington) Contributed talks: Authors are invited to submit an abstract (2 pages bibliography excluded) in PDF format, through EasyChair. Publishing of a full paper is planned in post-proceedings to appear in EPTCS, therefore we recommend using the EPTCS macro package to prepare submissions. Informal proceedings will be made available at the workshop. Program committee: * Ugo de' Liguoro (Turin University) * Jeremy Siek?? (Indiana University Bloomington) * Andrej Dudenhefner (Saarland University) * Antonio Bucciarelli (Universit?? Paris Diderot) * Daniel de Carvalho (Innopolis University) * Kazushige Terui (Kyoto University) * Silvia Ghilezan (University of Novi Sad) Important Dates: Abstract submission: 10 January, 2020 Author notification: 1 February, 2020 Final version: 15 February, 2020 Workshop: 6 March, 2020 Organizer Ugo de' Liguoro (Universit?? di Torino, Italy) Steering Committee Mariangiola Dezani-Ciancaglini (Universit?? di Torino, Italy) Jakob Rehof (University of Dortmund, Germany) Joe Wells (Heriot-Watt University, Scotland) -- Ugo de'Liguoro Associate Professor Dept. of Computer Science University of Torino Corso Svizzera 185, 10149, Torino (Italy) phone +39 011 6706766 - fax +39 011 751603 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0