An Introduction to String Diagrams for Computer Scientists (Elements in Applied Category Theory)
Author: Robin Piedeleu , Fabio Zanasi
Publisher finelybook 出版社: Cambridge University Press
Edition 版本: N/A
Publication Date 出版日期: 2025-05-29
Language 语言: English
Print Length 页数: 122 pages
ISBN-10: 1009625705
ISBN-13: 9781009625708
Book Description
String diagrams are a powerful graphical language used to represent computational phenomena across diverse scientific fields, including computer science, physics, linguistics, amongst others. The appeal of string diagrams lies in their multi-faceted nature: they offer a simple, visual representation of complex scientific ideas, while also allowing rigorous mathematical treatment. Originating in category theory, string diagrams have since evolved into a versatile formalism, extending well beyond their abstract algebraic roots, and offering alternative entry points to their study. This text provides an accessible introduction to string diagrams from the perspective of computer science. Rather than starting from categorical concepts, the authors draw on intuitions from formal language theory, treating string diagrams as a syntax with its own semantics. They survey the basic theory, outline fundamental principles, and highlight modern applications of string diagrams in different fields. This title is also available as open access on Cambridge Core.
Book Description
下载地址
相关推荐
Data Engineering Fundamentals: Building scalable data solutions with ETL pipelines and strategic data architecture design
Building Generative AI Applications with Open-source Libraries: Practical guide to implementing large language models
Architecting ASP.NET Core Applications: ASP.NET Core backend with C# 13 and .NET 9
Using Microsoft 365 Copilot AI: Understanding Copilot's prompt-based functionality and security within the Microsoft 365 ecosystem
Getting Structured Data from the Internet: Running Web Crawlers/Scrapers on a Big Data Production Scale
LLM Development and AI Ethics: A guide to AI safety, governance, generative AI, LLM, prompt engineering, and AGI
评论 抢沙发
觉得文章有用就打赏一下
您的打赏,我们将继续给力更多优质内容
支付宝扫一扫

微信扫一扫
