An Introduction to String Diagrams for Computer Scientists (Elements in Applied Category Theory) - Tapa blanda

Zanasi, Fabio; Piedeleu, Robin

 
9781009625746: An Introduction to String Diagrams for Computer Scientists (Elements in Applied Category Theory)
Tapa blanda
ISBN 10: 1009625748 ISBN 13: 9781009625746
Editorial: Cambridge University Press, 2025

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Editorial
Cambridge University Press
Año de publicación
2025
Idioma
Inglés
ISBN 10 
1009625748
ISBN 13 
9781009625746
Encuadernación
Tapa blanda
Número de páginas
120
Contacto del fabricante
Cambridge University Press
https://www.cambridge.org/

Via Honduras,15
Pomezia
Italia
71
Italia

Otras ediciones populares con el mismo título

9781009625708: An Introduction to String Diagrams for Computer Scientists (Elements in Applied Category Theory)

Edición Destacada

ISBN 10:  1009625705 ISBN 13:  9781009625708
Editorial: Cambridge University Press, 2025
Tapa dura