February 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

ITRS 21 CfP
by Riccardo Treglia 25 Mar '21

25 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie. ITRS 2021 Call for papersTenth Workshop on Intersection Types and Related Systems - ITRS 2021 17 July 2021, Online Affiliated with FSCD <https://fscd2021.dc.uba.ar/>, 17-24 July 2021, Buenos Aires Web page: http://www.di.unito.it/~deligu/ITRS2021/ 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 that 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 2021 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 (with the exception of 2020, because of COVID-19 outbreak). Information about the previous events is available on the ITRS home page <http://itrs.di.unito.it/>. Invited Speaker - Jeremy Siek (Indiana University Bloomington) Paper Submissions Papers must be original and not previously published, nor submitted elsewhere. Papers should be prepared in LaTeX using the EPTCS macro <http://style.eptcs.org/> package and should be in the range of 3-16 pages, plus at most 2 pages of references. Submissions will be collected via EasyChair and reviewed by anonymous referees. Important Dates - Paper submission: 12 April 2021 - Author notification: 24 May 2021 - Final version: 18 June 2021 - Workshop: 17 July 2021 Program Committee - Antonio Bucciarelli, Université de Paris, France - Daniel De Carvalho, Innopolis University, Russia - Andrej Dudenhefner, Saarland University, Germany - Silvia Ghilezan, University of Novi Sad, Serbia - Giulio Guerrieri, University of Bath, UK - Ugo de' Liguoro, Università di Torino, Italy (chair) - Jeremy Siek, Indiana University Bloomington, USA (co-chair) Organizers: Ugo de' Liguoro, Università di Torino, Italy Riccardo Treglia, Università di Torino, Italy (riccardo.treglia(a)unito.it) Steering Committee - Mariangiola Dezani-Ciancaglini, Università di Torino, Italy - Jakob Rehof, TU University of Dortmund, Germany - Joe Wells, Heriot-Watt University, Scotland [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 1

Special Volume in honor of Bob Rosebrugh
by Marino Gran 01 Mar '21

01 Mar '21

CAUTION: The Sender of this email is not from within Dalhousie. Dear colleagues, A first part of the Special Volume of Theory and Applications of Categories dedicated to Bob Rosebrugh, including the Foreword and seven research articles, is now available on the webpage of the journal (http://www.tac.mta.ca/tac/ ). Some other articles are being refereed and will appear as soon as they are accepted. Best regards, Michael Johnson, Walter Tholen, Richard Wood and Marino Gran [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

ACKERMANN AWARD 2021: CALL FOR NOMINATIONS
by EACSL Mail-Account 27 Feb '21

27 Feb '21

CAUTION: The Sender of this email is not from within Dalhousie. ACKERMANN AWARD 2021 - THE EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE CALL FOR NOMINATIONS Nominations are now invited for the 2021 Ackermann Award. PhD dissertations in topics specified by the CSL and LICS conferences, which were formally accepted as PhD theses at a university or equivalent institution between 1 January 2019 and 31 December 2020 are eligible for nomination for the award. The deadline for submission is 1 July 2021. Submission details follow below. Nominations can be submitted from 1 March 2021 and should be sent to the chair of the Jury, Thomas Schwentick, by e-mail: thomas.schwentick(a)tu-dortmund.de *** The Award The 2021 Ackermann award will be presented to the recipient(s) at CSL 2022, the annual conference of the EACSL. The award consists of * a certificate, * an invitation to present the thesis at the CSL conference, * the publication of the laudatio in the CSL proceedings, * an invitation to the winner to publish the thesis in the FoLLI subseries of Springer LNCS, and * financial support to attend the conference. The jury is entitled to give the award to more (or less) than one dissertation in a year. *** The Jury The jury consists of: * Christel Baier (TU Dresden); * Michael Benedikt (Oxford University); * Mikolaj Bojanczyk (University of Warsaw); * Jean Goubault-Larrecq (ENS Paris-Saclay); * Prakash Panangaden (McGill University); * Simona Ronchi Della Rocca (University of Torino), the vice-president of EACSL; * Thomas Schwentick (TU Dortmund) , the president of EACSL; * Alexandra Silva, (University College London), ACM SigLog representative. *** How to submit The candidate or his/her supervisor should submit 1. the thesis (ps or pdf file); 2. a detailed description (not longer than 20 pages) of the thesis in ENGLISH (ps or pdf file); it is recommended to not squeeze as much material as possible into these 20 pages, but rather to use them for a gentle introduction and overview, stressing the novel results obtained in the thesis and their impact; 3. a supporting letter by the PhD advisor and two supporting letters by other senior researchers (in English); supporting letters can also be sent directly to Thomas Schwentick (thomas.schwentick(a)tu-dortmund.de) 4. a short CV of the candidate; 5. a copy of the document asserting that the thesis was accepted as a PhD thesis at a recognized University (or equivalent institution) and that the candidate has received his/her PhD within the specified period. The submission should be sent by e-mail as attachments to the chairman of the jury, Thomas Schwentick: thomas.schwentick(a)tu-dortmund.de With the following subject line and text: * Subject: Ackermann Award 20 Submission * Text: Name of candidate, list of attachments Submission can be sent via several e-mail messages. If this is the case, please indicate it in the text. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

RAMiCS 2021 - 2nd CFP
by luigi.santocanale＠lis-lab.fr 25 Feb '21

25 Feb '21

CAUTION: The Sender of this email is not from within Dalhousie. 2nd CALL FOR PAPERS 19th International Conference on Relational and Algebraic Methods in Computer Science RAMiCS 2021 2 to 5 November 2021, CIRM, Marseille, France https://ramics19.lis-lab.fr/ IMPORTANT DATES: Abstract Submission: 14 May 2021 Paper Submission: 21 May 2021 Author Notification: 9 July 2021 Final Version: 30 July 2021 RAMiCS 2021: 2 to 5 November 2021 INVITED TALKS: Barbara König, Duisburg-Essen University, Germany Wendy MacCaull, St. Francis Xavier University, Canada Dmitriy Zhuk, Lomonosov Moscow State University, Russia GENERAL INFORMATION: Since 1994, the RAMiCS conference series has been the main venue for research on relation algebras, Kleene algebras and similar algebraic formalisms, and their applications as conceptual and methodological tools in computer science and beyond. RAMiCS 2021 will take place at CIRM, the Centre International de Rencontres Mathématiques at the beautiful Luminy campus close to Marseille. Depending on the Covid-19 situation, it will take the form of a physical conference, a virtual conference, or a hybrid between the two. There will be no inscriptions fees to the conference. A limited number of grants, covering lodging and catering, are supplied by CIRM and the Archimède Institute. TOPICS: We invite submissions in the general fields of algebras relevant to computer science and applications of such algebras. Topics include but are not limited to: * Theory - algebras such as semigroups, residuated lattices, semirings, Kleene algebras, relation algebras and quantales - their connections with program logics and other logics - their use in the theories of automata, concurrency, formal languages, games, networks and programming languages - the development of algebraic, algorithmic, category-theoretic, coalgebraic and proof-theoretic methods for these theories - their formalisation with theorem provers * Applications - tools and techniques for program correctness, specification and verification - quantitative and qualitative models and semantics of computing systems and processes - algorithm design, automated reasoning, network protocol analysis, social choice, optimisation and control - industrial applications SUBMISSION INSTRUCTIONS: Submission is via EasyChair at https://www.easychair.org/conferences/?conf=ramics2021 All papers will be peer-reviewed by at least three referees. The proceedings will be published in an LNCS volume by Springer, ready at the conference. Submissions must not be published or under review for publication elsewhere. Submissions must be in English using a PDF not exceeding 16 pages in LNCS style. Submissions must provide sufficient information to judge their merits. Additional material may be provided in a clearly marked appendix or by a reference to a manuscript on a web site. Experimental data, software or mathematical components for theorem provers must be available in sufficient detail for referees. Deviation from these requirements may lead to rejection. One author of each accepted paper is expected to present the paper at the conference. Accepted papers must be produced with LaTeX. Formatting instructions and LNCS style files are available at http://www.springer.de/comp/lncs/authors.html As for earlier RAMiCS conferences, we intend to publish a journal special issue with revised and extended versions of a selection of the best papers. COMMITTEES: Organising Committee -------------------- Conf. & PC Co-Chair: Mai Gehrke, LJAD CNRS, France Conf. & PC Co-Chair: Uli Fahrenberg, Ecole polytechnique, France Conf. & PC Co-Chair: Michael Winter, Brock University, Canada Conf. & PC Co-Chair: Luigi Santocanale, LIS, Aix-Marseille University, France Programme Committee ------------------- Bahareh Afshari, University of Amsterdam, Holland Christel Baier, Technische Universität Dresden, Germany Manuel Bodirsky, Technische Universität Dresden, Germany Ignacio Fábregas, Universidad Complutense de Madrid, Spain Uli Fahrenberg, Ecole polytechnique, France Marcelo Frias, Buenos Aires Institute of Technology, Argentina Hitoshi Furusawa, Kagoshima University, Japan Mai Gehrke, LJAD CNRS, France Silvio Ghilardi, Università degli Studi di Milano, Italy Roland Glueck, German Aerospace Center, Germany Walter Guttmann, University of Canterbury, New Zealand Peter Höfner, Australian National University, Australia Ali Jaoua, Qatar University, Qatar Peter Jipsen, Chapman University, USA Sebastiaan Joosten, Dartmouth College, USA Laura Kovacz, Technische Universität Wien, Austria Tadeusz Litak, Erlangen-Nürnberg University, Germany Roger Maddux, Iowa State University, USA Dale Miller, Ecole polytechnique, France Martin Mueller, University of Augsburg, Germany Daniela Petrisan, IRIF, University Paris 7, France Damien Pous, CNRS, ENS Lyon, France David Pym, University College, London, UK Mehrnoosh Sadrzadeh, University College, London, UK Luigi Santocanale, LIS, Aix-Marseille University, France Georg Struth, University of Sheffield, UK Sam van Gool, IRIF, University Paris 7, France Michael Winter, Brock University, Canada [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Seminar talk on skew X categories and structural proof theory
by Harley D. Eades III 24 Feb '21

24 Feb '21

CAUTION: The Sender of this email is not from within Dalhousie. Hi, everyone. On Friday, Feb. 26, 2021 between 1pm and 2pm EST (6pm - 7pm UTC), Dr. Tarmo Uustalu will be giving a presentation as part of the CS Colloquium Series at Augusta University. Presentation details can be found here: https://the-au-forml-lab.github.io/colloquium_talks/Uustalu.html Tarmo will be telling us about coherence for several kinds of skew monoidal categories. As many of you know these have a number of interesting applications to type theories/type systems. I, for one, am super excited about this talk! These talks are open to the general public via Zoom and Youtube. I'll be live streaming it on Youtube. If you are interested in attending the Zoom meeting please RSVP with me before the talk. Questions will be taken from those on Zoom and YouTube. If you care to watch via YouTube, please use the following link: https://youtu.be/HAyDVjybAFw Feel free to share this message with everyone you know. I hope all of you, your family and friends are doing well! Very best, Harley [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Call for Contributions: (Virtual) Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'21) on July 17-18, 2021
by Chris Kapulkin 24 Feb '21

24 Feb '21

CAUTION: The Sender of this email is not from within Dalhousie. Workshop on Homotopy Type Theory and Univalent Foundations July 17-18, 2021, The Internet @ Buenos Aires, Argentina https://hott-uf.github.io/2021/ Co-located with FSCD 2021 https://fscd2021.dc.uba.ar/ Abstract submission deadline: May 25, 2021 Homotopy Type Theory is a young area of logic, combining ideas from several established fields: the use of dependent type theory as a foundation for mathematics, inspired by ideas and tools from abstract homotopy theory. Univalent Foundations are foundations of mathematics based on the homotopical interpretation of type theory. The goal of this workshop is to bring together researchers interested in all aspects of Homotopy Type Theory and Univalent Foundations: from the study of syntax and semantics of type theory to practical formalization in proof assistants based on univalent type theory. # Invited talks * Evan Cavallo (Carnegie Mellon University) * Peter LeFanu Lumsdaine (Stockholm University) * Anja Petkovic (University of Ljubljana) * Matthew Weaver (Princeton University) # Submissions * Abstract submission deadline: May 25, 2021 * Author notification: mid-June 2021 Submissions should consist of a title and an abstract, in pdf format, of no more than 2 pages, submitted via http://easychair.org/conferences/?conf=hottuf2021 Considering the broad background of the expected audience, we encourage authors to include information of pedagogical value in their abstract, such as motivation and context of their work. # Program committee * Benedikt Ahrens (University of Birmingham) * Carlo Angiuli (Carnegie Mellon University) * Paolo Capriotti (Technische Universität Darmstadt) * Floris van Doorn (University of Pittsburgh) * Favonia (University of Minnesota) * Eric Finster (University of Cambridge) * Chris Kapulkin (University of Western Ontario) * Paige Randall North (University of Pennsylvania) * Emily Riehl (Johns Hopkins University) * Christian Sattler (Chalmers University of Technology) * Andrew Swan (Carnegie Mellon University) # Organizers * Benedikt Ahrens (University of Birmingham) * Chris Kapulkin (University of Western Ontario) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

a book on Manifolds and Local Structures
by Marco Grandis 20 Feb '21

20 Feb '21

CAUTION: The Sender of this email is not from within Dalhousie. [Note from moderator: resending, subject line was inadvertently omitted.] This book is being published, and scheduled for March 2021: M. Grandis Manifolds and Local Structures. A general theory World Scientific Publishing Co., xii + 361 pages, 2021. - Info at WS: https://www.worldscientific.com/worldscibooks/10.1142/12199 - Downloadable Introduction https://www.worldscientific.com/doi/epdf/10.1142/9789811234002_0001 ________ Local structures are studied as symmetric enriched categories on ordered categories of partial morphisms; their morphisms are defined as 'compatible profunctors'. This follows a line presented and developed in 1988-90 (whose main sources are cited in the Preface, below): - MG, Manifolds as enriched categories, in: 'Categorical Topology', Prague 1988, pp.358-368, World Scientific Publishing Co., 1989. - MG, Cohesive categories and manifolds, Ann. Mat. Pura Appl. 157 (1990), 199-244. Downloadable: https://link.springer.com/article/10.1007/BF01765319 The main basis of enrichment is called a 'cohesive e-category', or 'e-category' for short. Later, this structure has been re-introduced under the name of 'restriction category' and equivalent axioms. ________ from the PREFACE Local structures, like differentiable manifolds, fibre bundles, vector bundles and foliations, can be obtained by gluing together a family of suitable 'elementary spaces', by means of partial homeomorphisms that fix the gluing conditions and form a sort of 'intrinsic atlas', instead of the more usual system of charts living in an external framework. An 'intrinsic manifold' is defined here as such an atlas, in a suitable category of elementary spaces: open euclidean spaces, or trivial bundles, or trivial vector bundles, and so on. This uniform approach allows us to move from one basis to another: for instance, the elementary tangent bundle of an open Euclidean space is automatically extended to the tangent bundle of any differentiable manifold. The same holds for tensor calculus. Technically, the goal of this book is to treat these structures as 'symmetric enriched categories' over a suitable basis, generally an ordered category of partial mappings. This approach to gluing structures is related to Ehresmann's one, based on inductive pseudogroups and inductive categories. A second source was the theory of enriched categories and Lawvere's unusual view of interesting mathematical structures as categories enriched over a suitable basis. ________ Marco Grandis [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

None
by Marco Grandis 20 Feb '21

20 Feb '21

CAUTION: The Sender of this email is not from within Dalhousie. This book is being published, and scheduled for March 2021: M. Grandis Manifolds and Local Structures. A general theory World Scientific Publishing Co., xii + 361 pages, 2021. - Info at WS: https://www.worldscientific.com/worldscibooks/10.1142/12199 - Downloadable Introduction https://www.worldscientific.com/doi/epdf/10.1142/9789811234002_0001 ________ Local structures are studied as symmetric enriched categories on ordered categories of partial morphisms; their morphisms are defined as 'compatible profunctors'. This follows a line presented and developed in 1988-90 (whose main sources are cited in the Preface, below): - MG, Manifolds as enriched categories, in: 'Categorical Topology', Prague 1988, pp.358-368, World Scientific Publishing Co., 1989. - MG, Cohesive categories and manifolds, Ann. Mat. Pura Appl. 157 (1990), 199-244. Downloadable: https://link.springer.com/article/10.1007/BF01765319 The main basis of enrichment is called a 'cohesive e-category', or 'e-category' for short. Later, this structure has been re-introduced under the name of 'restriction category' and equivalent axioms. ________ from the PREFACE Local structures, like differentiable manifolds, fibre bundles, vector bundles and foliations, can be obtained by gluing together a family of suitable 'elementary spaces', by means of partial homeomorphisms that fix the gluing conditions and form a sort of 'intrinsic atlas', instead of the more usual system of charts living in an external framework. An 'intrinsic manifold' is defined here as such an atlas, in a suitable category of elementary spaces: open euclidean spaces, or trivial bundles, or trivial vector bundles, and so on. This uniform approach allows us to move from one basis to another: for instance, the elementary tangent bundle of an open Euclidean space is automatically extended to the tangent bundle of any differentiable manifold. The same holds for tensor calculus. Technically, the goal of this book is to treat these structures as 'symmetric enriched categories' over a suitable basis, generally an ordered category of partial mappings. This approach to gluing structures is related to Ehresmann's one, based on inductive pseudogroups and inductive categories. A second source was the theory of enriched categories and Lawvere's unusual view of interesting mathematical structures as categories enriched over a suitable basis. ________ Marco Grandis [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

BU CatS: Online talk by Walter Tholen on Tuesday
by Rory Lucyshyn-Wright 18 Feb '21

18 Feb '21

CAUTION: The Sender of this email is not from within Dalhousie. Dear Categorists, I am writing to invite you to the first talk in the Online Category Theory Seminar at Brandon University (BU CatS): Tuesday, February 23 (2021) 8pm UTC/GMT (4pm AST, 3pm EST, 2pm CST, 1pm MST, 12pm PST) via Zoom (link below) Speaker: Walter Tholen (York University) Title: Colimits Zoom link: https://brandonu-ca.zoom.us/j/99168366201?pwd=L3hVTkJFbml5RWw4QVZTR2pDZ1FwU… Abstract: Extending Guitart’s work of the 1970s, in this talk we eventually present the formation of the diagram category of a category and the formation of the Grothendieck category of a CAT-valued functor as adjoint 2-functors, and then establish a considerable generalization thereof. This generalization becomes part of a web of adjunctions which also involves the Grothendieck 2-equivalence for split (co)fibrations and indexed categories, at a level that allows for the 2-dimensional variation of both, the base categories and the total categories We start off, however, much more easily, with various observations on the effective computation of colimits and their decomposition into “pieces”. A “twisted” Fubini-type decomposition theorem and various other facts on colimits are directly linked to the web of adjunctions that we gradually build. We pay particular attention to the question of how to compute colimits in CAT. This talk draws from the following two papers: George Peschke and Walter Tholen: Diagrams, fibrations, and the decomposition of colimits. arXiv:2006.10890v3 [math CT] Paolo Perrone and Walter Tholen: Kan extensions are partial colimits. arXiv:2101.04531 [math CT] ------ Best regards, Rory Lucyshyn-Wright

1 0