Programs as Diagrams

Free Download Programs as Diagrams: From Categorical Computability to Computable Categories
(Theory and Applications of Computability)
English | 2023 | ISBN: 3031348265 | 419 Pages | PDF EPUB (True) | 29 MB

In this unique textbook/reference, programs are drawn as string diagrams in the language of categories, which display a universal syntax of mathematics (Computer scientists use them to analyze the program semantics; programmers to display the syntax of computations). Here, the string-diagrammatic depictions of computations are construed as programs in a single-instruction programming language. Such programs as diagrams show how functions are packed in boxes and tied by strings. Readers familiar with categories will learn about the foundations of computability; readers familiar with computability gain access to category theory. Additionally, readers familiar with both are offered many opportunities to improve the approach.