为庆祝约翰·鲍尔60岁生日而出版的关于范畴代数和计算的专刊，第一部分

IF 0.4 4区计算机科学 Q4 COMPUTER SCIENCE, THEORY & METHODS

Mathematical Structures in Computer Science Pub Date : 2021-08-01 DOI:10.1017/S0960129522000056

Masahito Hasegawa, Stephen Lack, G. McCusker

{"title":"为庆祝约翰·鲍尔60岁生日而出版的关于范畴代数和计算的专刊，第一部分","authors":"Masahito Hasegawa, Stephen Lack, G. McCusker","doi":"10.1017/S0960129522000056","DOIUrl":null,"url":null,"abstract":"John Power, recently retired and now an honorary professor at Macquarie University, turned 60 in December 2019. John hasmade substantial contributions to category theory and its applications to computer science throughout his career. To celebrate John’s achievements, and to inspire further work, two workshops were held in 2019: at Bath on 27 June 2019 (organized by Neil Ghani and Guy McCusker) to mark his retirement, and at Kyoto on 23 December 2019 (organized by Masahito Hasegawa, Ichiro Hasuo, and Makoto Takeyama) to celebrate his 60th birthday. Following the success of these workshops, this Festschrift in honor of John was proposed and a call-for-papers was circulated around April 2020. Among the submissions we received, four are included in this volume. The remaining contributions will appear in the forthcoming second volume of the Festschrift.","PeriodicalId":49855,"journal":{"name":"Mathematical Structures in Computer Science","volume":"31 1","pages":"746 - 747"},"PeriodicalIF":0.4000,"publicationDate":"2021-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A special issue on categorical algebras and computation in celebration of John Power’s 60th birthday, part I\",\"authors\":\"Masahito Hasegawa, Stephen Lack, G. McCusker\",\"doi\":\"10.1017/S0960129522000056\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"John Power, recently retired and now an honorary professor at Macquarie University, turned 60 in December 2019. John hasmade substantial contributions to category theory and its applications to computer science throughout his career. To celebrate John’s achievements, and to inspire further work, two workshops were held in 2019: at Bath on 27 June 2019 (organized by Neil Ghani and Guy McCusker) to mark his retirement, and at Kyoto on 23 December 2019 (organized by Masahito Hasegawa, Ichiro Hasuo, and Makoto Takeyama) to celebrate his 60th birthday. Following the success of these workshops, this Festschrift in honor of John was proposed and a call-for-papers was circulated around April 2020. Among the submissions we received, four are included in this volume. The remaining contributions will appear in the forthcoming second volume of the Festschrift.\",\"PeriodicalId\":49855,\"journal\":{\"name\":\"Mathematical Structures in Computer Science\",\"volume\":\"31 1\",\"pages\":\"746 - 747\"},\"PeriodicalIF\":0.4000,\"publicationDate\":\"2021-08-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Mathematical Structures in Computer Science\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://doi.org/10.1017/S0960129522000056\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q4\",\"JCRName\":\"COMPUTER SCIENCE, THEORY & METHODS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Mathematical Structures in Computer Science","FirstCategoryId":"94","ListUrlMain":"https://doi.org/10.1017/S0960129522000056","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q4","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}

引用次数: 0

摘要

约翰·鲍尔最近退休，现在是麦格理大学的名誉教授，2019年12月年满60岁。约翰在其整个职业生涯中对范畴理论及其在计算机科学中的应用做出了重大贡献。为了庆祝约翰的成就，并激励他进一步的工作，2019年举办了两次研讨会：2019年6月27日在巴斯（由Neil Ghani和Guy McCusker组织）庆祝约翰的退休，2019年12月23日在京都（由长谷川正仁、长尾一郎和竹山诚组织）庆祝他的60岁生日。在这些研讨会取得成功后，有人提议举办这场纪念约翰的Festschrift活动，并于2020年4月左右发出了征集论文的呼吁。在我们收到的意见书中，本卷包括四份。剩余的贡献将出现在即将出版的Festschrift第二卷中。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

A special issue on categorical algebras and computation in celebration of John Power’s 60th birthday, part I

John Power, recently retired and now an honorary professor at Macquarie University, turned 60 in December 2019. John hasmade substantial contributions to category theory and its applications to computer science throughout his career. To celebrate John’s achievements, and to inspire further work, two workshops were held in 2019: at Bath on 27 June 2019 (organized by Neil Ghani and Guy McCusker) to mark his retirement, and at Kyoto on 23 December 2019 (organized by Masahito Hasegawa, Ichiro Hasuo, and Makoto Takeyama) to celebrate his 60th birthday. Following the success of these workshops, this Festschrift in honor of John was proposed and a call-for-papers was circulated around April 2020. Among the submissions we received, four are included in this volume. The remaining contributions will appear in the forthcoming second volume of the Festschrift.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Mathematical Structures in Computer Science 工程技术-计算机：理论方法

CiteScore

1.50

自引率

0.00%

发文量

审稿时长

12 months

期刊介绍： Mathematical Structures in Computer Science is a journal of theoretical computer science which focuses on the application of ideas from the structural side of mathematics and mathematical logic to computer science. The journal aims to bridge the gap between theoretical contributions and software design, publishing original papers of a high standard and broad surveys with original perspectives in all areas of computing, provided that ideas or results from logic, algebra, geometry, category theory or other areas of logic and mathematics form a basis for the work. The journal welcomes applications to computing based on the use of specific mathematical structures (e.g. topological and order-theoretic structures) as well as on proof-theoretic notions or results.