November 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

Re: Invitation: GReTA online seminar, Friday December 3, 2021, 15:00 CET
by Reiko Heckel 29 Nov '21

29 Nov '21

FYI Reiko On 29/11/2021, 08:52, "GReTA Seminar organisers" <greta(a)irif.fr> wrote: Dear colleagues, It is our great pleasure to invite you to the next seminar of the “GReTA - Graph Transformation Theory and Applications” series: Friday December 3, 15:00 CET "Supporting Software Variability with Graph Transformations", D. Strüber (abstract, Zoom and YouTube links attached below) The GReTA seminar series aims to serve as a platform for the international graph rewriting community, to promote recent developments and trends in the field, and to permit a regular networking and interaction between members of this community. Seminars are scheduled twice a month (cf. https://www.irif.fr/~greta/#talks for a list of upcoming events). With best regards, Nicolas Behr, Andrea Corradini, Jean Krivine and Reiko Heckel (GReTA organisers) ___________________________________________________ Date and time: Friday December 3, 2021, 15:00 CET Title: Supporting Software Variability with Graph Transformations Speaker: Daniel Strüber (Department of Computer Science and Engineering, Chalmers University of Technology, University of Gothenburg, Sweden) Abstract: Software systems and the artifacts they consist of often exist in many different variants. When creating new variants, developers typically rely on the "clone and own" strategy of copying and modifying existing variants, a simple and intuitive approach with significant long-term disadvantages. In this talk, I present a line of work on supporting variants in software engineering by explicitly addressing variability as a feature in graph transformations. I focus on three transformation scenarios: one where the input graph has variability (representing the established notion of a software product line), one where rules have variability (leading to variability-based rules), and a combination of the first two scenarios. Each scenario is supported with formal constructions, efficient transformation algorithms, and tool support. Our work shows that a systematic way of supporting variability in transformations can improve the maintainability and the performance of a software system. Zoom registration link: https://u-paris.zoom.us/meeting/register/tZ0kcOqgrjsrHt2c7v0ElvEODTQn97b3RX… Link to YouTube live stream: https://youtu.be/8j0LHp7zGrE ___________________________________________________ ---------------------------------------------------------------------------- GReTA - Graph TRansformation Theory and Applications International Online Seminar Series ---------------------------------------------------------------------------- Contact: greta(a)irif.fr Webpage: www.irif.fr/~greta<http://www.irif.fr/~greta> YouTube: https://www.youtube.com/channel/UC6j-G6oPmkqCgOx6UQOUhSQ Twitter: https://twitter.com/GReTAseminars [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Subject/From correction
by Bob Rosebrugh 24 Nov '21

24 Nov '21

[Note from moderator: Apologies to Dan Christensen for incorrect headers on the message just sent to the list. It should have been: From: Dan Christensen <jdc(a)uwo.ca> Subject: tenure-track and postdoc openings at Western University ] [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

BOUNCE categories@mta.ca: Approval required: Non-member submission from [Bob Rosebrugh <rrosebru@mta.ca>] (fwd)
by Bob Rosebrugh 24 Nov '21

24 Nov '21

Date: Tue, 23 Nov 2021 17:20:57 -0400 From: Dan Christensen <jdc(a)uwo.ca> To: "categories(a)mta.ca" <categories(a)mta.ca> Cc: Bob Rosebrugh <rrosebru(a)mta.ca> Subject: tenure-track and postdoc openings at Western University The Department of Mathematics at the University of Western Ontario is advertising two tenure-track positions as well as one or more postdoctoral positions. The first tenure-track position is intended for mathematicians whose research focus is in "applied algebra", interpreted in the broadest possible sense. This could include applications of category theory, or applications of algebra to other parts of mathematics, e.g. algebraic topology. The deadline to apply for this position is December 7, 2021: https://www.mathjobs.org/jobs/list/18557 The second tenure-track position is open to mathematicians in any area, but includes having part of your teaching in our newly established Data Science program. I???d like to stress that you don???t need to do research in data science nor do you need teaching experience related to data science. You do however, in the language of the ad, need to have some "expertise relevant to teaching data science." I believe the committee will be open to all kinds of ways in which such expertise can be demonstrated. The deadline to apply for this position is January 2, 2022: https://www.mathjobs.org/jobs/list/19046 Last but not least, we???re also advertising postdoctoral fellowships, open to applicants in all areas of mathematics, both pure and applied. The deadline to apply for these positions is December 5, 2021: https://www.mathjobs.org/jobs/list/18780 The Department of Mathematics has a number of faculty interested in category theory, higher category theory, algebraic topology and homotopy type theory. With many seminars and topics courses, and a strong graduate program, it is an excellent place for researchers in these areas. I hope to see many people on this list apply for these positions! If you have questions about either of these positions, please get in touch and I???ll be happy to answer them. Best wishes, Dan ---1530486996-158821767-1637717583=:18501-- [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

MSFP 2022 - First Call for Papers
by Max New 23 Nov '21

23 Nov '21

Ninth Workshop on MATHEMATICALLY STRUCTURED FUNCTIONAL PROGRAMMING Saturday 2nd April 2022, Munich, Germany A satellite workshop of ETAPS 2022 https://msfp-workshop.github.io/msfp2022/ ** Deadline: 16 December (abstract), 23 December (paper) ** The ninth workshop on Mathematically Structured Functional Programming is devoted to the derivation of functionality from structure. It is a celebration of the direct impact of Theoretical Computer Science on programs as we write them today. Modern programming languages, and in particular functional languages, support the direct expression of mathematical structures, equipping programmers with tools of remarkable power and abstraction. Where would Haskell be without monads? Functional reactive programming without temporal logic? Call-by-push-value without adjunctions? The list goes on. This workshop is a forum for researchers who seek to reflect mathematical phenomena in data and control. The first MSFP workshop was held in Kuressaare, Estonia, in July 2006, affiliated with MPC 2006 and AMAST 2006. The second MSFP workshop was held in Reykjavik, Iceland as part of ICALP 2008. The third MSFP workshop was held in Baltimore, USA, as part of ICFP 2010. The fourth workshop was held in Tallinn, Estonia, as part of ETAPS 2012. The fifth workshop was held in Grenoble, France, as part of ETAPS 2014. The sixth MSFP Workshop was held in April 2016, in Eindhoven, Netherlands, as part of ETAPS 2016. The seventh MSFP Workshop was held in July 2018, in Oxford, UK, as part of FLoC 2018. The eigth MSFP Workshop was held virtually in August 2020, originally planned as part of ETAPS 2020. Important Dates: ================ Abstract deadline: 16 December (Thursday) Paper deadline: 23 December (Thursday) Notification: 27 January (Thursday) Final version: 24 February (Thursday) Workshop: 2 April(Saturday ) Invited Speakers: ================= Valeria de Paiva - Topos Institute, USA Programme Committee: ==================== Nuria Brede - University of Potsdam, Germany Jacques Carette - McMaster University, Canada Youyou Cong - Tokyo Institute of Technology, Japan Philippa Cowderoy Jan de Muijnck-Hughes - University of Glasgow, UK Harley Eades III - Augusta University, USA Jeremy Gibbons - University of Oxford, UK (co-chair) Jules Hedges - University of Stratchclyde, UK Shin-Ya Katsumata - National Institute of Informatics, Japan Max New - University of Michigan, USA (co-chair) Maciej Piróg - University of Wrocław, Poland Artjoms Sinkarovs - Heriot-Watt University, UK Submission: =========== Submissions are welcomed on, but by no means restricted to, topics such as: structured effectful computation structured recursion structured corecursion structured tree and graph operations structured syntax with variable binding structured datatype-genericity structured search structured representations of functions structured quantum computation structure directed optimizations structured types structure derived from programs and data Please contact the programme chairs Jeremy Gibbons (jeremy.gibbons(a)cs.ox.ac.uk) and Max New (maxsnew(a)umich.edu) if you have any questions about the scope of the workshop. We accept two categories of submission: full papers of no more than 15 pages that will appear in the proceedings, and extended abstracts of no more than 2 pages that we will post on the website, but which do not constitute formal publications and will not appear in the proceedings. References and appendices are not included in page limits. Appendices may not be read by reviewers. Submissions must report previously unpublished work and not be submitted concurrently to another conference with refereed proceedings. Accepted papers must be presented at the workshop by one of the authors. The proceedings will be published under the auspices of EPTCS with a Creative Commons license. A short abstract should be submitted a week in advance of the paper deadline (for both full paper and extended abstract submissions). We are using EasyChair to manage submissions. To submit a paper, use this link: https://easychair.org/conferences/?conf=msfp2022 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Re: Invitation: GReTA-ExACT online workgroup, Friday November 26, 2021, 15:00 CET
by Reiko Heckel 23 Nov '21

23 Nov '21

Graph transformation meets executable applied CT! Reiko On 22/11/2021, 07:39, "GReTA Seminar organisers" <greta(a)irif.fr> wrote: Dear colleagues, It is our great pleasure to invite you to the next session of the “GReTA-ExACT - Executable Applied Category Theory” online workgroup: Friday November 26, 10:00 CET "Hierarchy Builder", C. Cohen (abstract, Zoom and YouTube links attached below) In the context of the GReTA - "Graph TRansformation Theory and Applications" online seminar series hosted at IRIF (https://www.irif.fr/~greta/) the GReTA ExACT (Executable Applied Category Theory) online workgroup aims at providing an interdisciplinary forum for exploring the diverse aspects of applied category theory relevant in graph transformation systems and their generalizations, in developing a methodology for formalizing diagrammatic proofs as relevant in rewriting theories via proof assistants such as Coq, and in establishing a community-driven wiki system and repository for mathematical knowledge in our research field (akin to a domain-specific Coq-enabled variant of the nLab). A further research question will consist in exploring the possibility for deriving reference prototype implementations of concrete rewriting systems (e.g., over multi- or simple directed graphs) directly from the category-theoretical semantics, in the spirit of the translation-based approaches (utilizing theorem provers such as Microsoft Z3). Please refer to https://www.irif.fr/~greta/gretaexact/ for further details (including information on how to register for participating in the Zoom meetings). With best regards, Nicolas Behr, Andrea Corradini, Jean Krivine and Reiko Heckel (GReTA organisers) ___________________________________________________ Date and time: Friday November 26, 2021, 15:00 CET Title: Hierarchy Builder Speaker: Cyril Cohen (Inria Sophia-Antipolis Méditerranée, Sophia-Antipolis, France) Abstract: Libraries of machine checked code are, nowadays, organized around hierarchies of algebraic structures. Unfortunately the language of Type Theory and the features provided by the Coq system make the construction of a hierarchy hard even for expert users. The difficulty begins with the non-orthogonal choices, between storing information as record fields or parameters, and between using type classes and canonical structures for inference. To this, one may add the concerns about performance and about the usability, by a non expert, of the final hierarchy. HB gives the library designer a language to describe the building blocks of algebraic structures and to assemble them into a hierarchy. Similarly it provides the final user linguistic constructs to build instances (examples) of structures and to teach the elaborator of Coq how to take advantage of this knowledge during type inference. Finally HB lets the library designer improve the usability of his library by providing alternative interfaces to the primitive ones, a feature that can also be used to accommodate changes to the hierarchy without breaking user code. This is a joint work with Kazuhiko Sakaguchi and Enrico Tassi. Zoom registration link: https://u-paris.zoom.us/meeting/register/tZIqd-GgpjMtEtXUIhbc0Adinn7RXAqZbg… Link to YouTube live stream: https://youtu.be/nMynSM9Xnkw ___________________________________________________ ---------------------------------------------------------------------------- GReTA - Graph TRansformation Theory and Applications International Online Seminar Series ---------------------------------------------------------------------------- Contact: greta(a)irif.fr Webpage: www.irif.fr/~greta<http://www.irif.fr/~greta> YouTube: https://www.youtube.com/channel/UC6j-G6oPmkqCgOx6UQOUhSQ Twitter: https://twitter.com/GReTAseminars [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

TYPES 2022 -- Call for contributions
by Pierre-Marie Pédrot 22 Nov '21

22 Nov '21

CALL FOR CONTRIBUTIONS 28th International Conference on Types for Proofs and Programs, TYPES 2022 and EuroProofNet Cost Action CA20111 meeting Nantes, France, 20-25 June 2022 https://types22.inria.fr 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 EuroProofNet Cost Action CA20111 focuses on the same research topics as TYPES and partially sponsors the TYPES Conference. INVITED SPEAKERS: TBA 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=types2022 IMPORTANT DATES: * submission of 2 pp abstract: 9 March 2022 * notification of acceptance/rejection: 20 April 2022 * camera-ready version of abstract: 15 May 2022 Camera-ready versions of the accepted contributions will be published in an informal book of abstracts for distribution at the workshop. POST-PROCEEDINGS 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. Tentative submission deadline for the post-proceedings: September 2022. PROGRAM COMMITTEE Sandra Alves (University of Porto) Carlo Angiuli (Carnegie Mellon University) Stephanie Balzer (Carnegie Mellon University) Lars Birkedal (Aarhus University) Frédéric Blanqui (INRIA) Sandrine Blazy (Université de Rennes 1 - IRISA) Thierry Coquand (University of Technology) Andrej Dudenhefner (Saarland University) Jacques Garrigue (Nagoya University) Delia Kesner (Université de Paris) (PC Co-Chair) Marina Lenisa (Università di Udine) Paul Blain Levy (University of Birmingham) Sara Negri (Università degli Studi di Genova) Pierre-Marie Pédrot (INRIA) (PC Co-Chair) Luca Padovani (Università di Torino) Zoe Paraskevopoulou (Northeastern University) Brigitte Pientka (McGill University) Matija Pretnar (University of Ljubljana) Talia Ringer (University of Washington) Kathrin Stark (Princeton University) Paweł Urzyczyn (University of Warsaw) Lionel Vaux (Université d’Aix-Marseille) Niki Vazou (IMDEA Software) TYPES STEERING COMMITTEE Andreas Abel (Gothenburg University) Sandra Alves (University of Porto) (Secretary) Henning Basold (Leiden University) (SC chair) Frédéric Blanqui (INRIA) Ugo de'Liguoro (Università di Torino) Matthieu Sozeau (INRIA & Université de Nantes) ABOUT TYPES The TYPES meetings from 1990 to 2008 were annual workshops of a sequence of five EU funded networking projects. From 2009 to 2015, TYPES has been run as an independent conference series. Previous TYPES meetings were held in Antibes (1990), Edinburgh (1991), Båstad (1992), Nijmegen (1993), Båstad (1994), Torino (1995), Aussois (1996), Kloster Irsee (1998), Lökeberg (1999), Durham (2000), Berg en Dal near Nijmegen (2002), Torino (2003), Jouy-en-Josas near Paris (2004), Nottingham (2006), Cividale del Friuli (2007), Torino (2008), Aussois (2009), Warsaw (2010), Bergen (2011), Toulouse (2013), Paris (2014), Tallinn (2015), Novi Sad (2016), Budapest (2017), Braga (2018), Oslo (2019), Virtual (2021). CONTACT Email: types2022(a)easychair.org Organisers: Assia Mahboubi (INRIA & Université de Nantes) Matthieu Sozeau (INRIA & Université de Nantes) Nicolas Tabareau (INRIA & Université de Nantes) [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

2nd ItaCa Workshop - Speakers
by Jacopo Emmenegger 21 Nov '21

21 Nov '21

Dear all, The list of speakers of the 2nd ItaCa workshop, to be held in Genoa on 20-21 December, is now available on the website: https://genoa-logic-group.github.io/itaca-workshop-2021/speakers/ Abstracts will be available shortly. I would also like to remind you that the deadline for registration is *Friday, 26 november*. We can still offer some place in shared accommodation. In case you are interested, please write to <enrico.ghiorzi(a)gmail.com> Please find additional information on the website <http://genoa-logic-group.github.io/itaca-workshop-2021> or by writing to one of the organisers. Best, Jacopo [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

Master in Pure and Applied Logic - Announcement
by Tommaso Moraschini 21 Nov '21

21 Nov '21

[https://mail.google.com/mail/u/0/images/cleardot.gif] The 2022--2024 edition of the two-year Master in Pure and Applied Logic jointly organized by the University of Barcelona (UB) and Polytechnical University of Catalunya (UPC) will soon open for pre-registration. Students are welcome to express their interest by sending their background, motivation, and CV to the email address masterlogic(a)ub.edu<mailto:masterlogic@ub.edu> The Master in Pure and Applied Logic caters in the most central aspects of advanced logic, including Computability Theory, Model Theory, Non-Classical Logics, Proof Theory and Set Theory. Additional information on the master can be found at http://www.ub.edu/masterlogic/ https://www.ub.edu/web/ub/en/estudis/oferta_formativa/master_universitari/f… http://diposit.ub.edu/dspace/handle/2445/133559 For questions related to eligibility, content, scheduling, scholarships, housing etc. please contact masterlogic(a)ub.edu<mailto:masterlogic@ub.edu> [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0

TYPES 2021 post-proceedings: Second call for papers (Deadline extension)
by Henning Basold 20 Nov '21

20 Nov '21

Open call for papers for the Post-proceedings of the 27th International Conference on Types for Proofs and Programs TYPES 2021 TYPES is a major forum for the presentation of research on all aspects of type theory and its applications. TYPES 2021 was held 14-18 June 2021 virtually hosted by University Leiden, Netherlands. The post-proceedings volume will be published in LIPIcs, Leibniz International Proceedings in Informatics, an open-access series of conference proceedings (http://www.dagstuhl.de/en/publications/lipics) Submission to this post-proceedings volume is open to everyone, also to those who did not participate in the conference. We welcome high-quality descriptions of original work, as well as position papers, overview papers, and system descriptions. Submissions should be written in English, not overlapping with published or simultaneously submitted work to a journal or a conference with archival proceedings. The scope of the post-proceedings is the same as the scope of the conference: the theory and practice of type theory. In particular, we welcome submissions on the following topics: * Foundations of type theory and constructive mathematics; * Applications of type theory (e.g., linguistics or concurrency); * 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; * Formalising mathematics using type theory; * Homotopy type theory and univalent mathematics. IMPORTANT DATES (Updated!) * Abstract submission: 22 November 2021 (AoE) * Paper submission: 10 December 2021 (AoE) * Author notification: 25 March 2022 DETAILS * Papers have to be formatted with the current LIPIcs style and adhere to the style requirements of LIPIcs: https://submission.dagstuhl.de/series/details/5#author * The upper limit for the length of submissions is 20 pages, excluding title page and bibliography but including appendices. * The processing charge will kindly be sponsored by LIACS (Leiden Institute for Advanced Computer Science) for up to 20 publications, given that these publications do not exceed the page limit. See here for details about the processing charge: https://submission.dagstuhl.de/documentation/faq/11 * Papers have to be submitted as PDF through EasyChair: https://easychair.org/conferences/?conf=posttypes2021 * Authors have the option to attach to their submission a zip or tgz file containing code (formalised proofs or programs), but reviewers are not obliged to take the attachments into account and they will not be published. * In case of questions, e.g. on the page limit, contact one editors either directly or through <types21(a)liacs.leidenuniv.nl>. EDITORS - Henning Basold (https://liacs.leidenuniv.nl/~basoldh/) Leiden University, NL - Jesper Cockx (https://jesper.sikanda.be/) Technical University Delft, NL - Silvia Ghilezan (http://imft.ftn.uns.ac.rs/~silvia/) University of Novi Sad, RS [For admin and other information see: http://www.mta.ca/~cat-dist/ ]

1 0