Current browse context:
cs.LO
Change to browse by:
References & Citations
Computer Science > Logic in Computer Science
Title: Programs as Diagrams: From Categorical Computability to Computable Categories
(Submitted on 7 Aug 2022 (v1), last revised 28 Mar 2023 (this version, v4))
Abstract: This is a draft of the textbook/monograph that presents computability theory using string diagrams. The introductory chapters have been taught as graduate and undergraduate courses and evolved through 8 years of lecture notes. The later chapters contain new ideas and results about categorical computability and some first steps into computable category theory. The underlying categorical view of computation is based on monoidal categories with program evaluators, called *monoidal computers*. This categorical structure can be viewed as a single-instruction diagrammatic programming language called Run, whose only instruction is called RUN. This version: improved text, moved the final chapter to the next volume. (The final version will continue lots of exercises and workouts, but already this version has severely degraded graphics to meet the size bounds.)
Submission history
From: Dusko Pavlovic [view email][v1] Sun, 7 Aug 2022 21:04:22 GMT (978kb)
[v2] Sat, 10 Sep 2022 06:27:18 GMT (1079kb)
[v3] Mon, 6 Feb 2023 00:59:13 GMT (1804kb)
[v4] Tue, 28 Mar 2023 05:15:59 GMT (2204kb)
Link back to: arXiv, form interface, contact.