From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: * X-Spam-Status: No, score=1.7 required=5.0 tests=DKIM_ADSP_CUSTOM_MED, FORGED_GMAIL_RCVD,FREEMAIL_FROM,LOCALPART_IN_SUBJECT,RCVD_IN_MSPIKE_H2, SPOOFED_FREEMAIL,SPOOF_GMAIL_MID,T_SCC_BODY_TEXT_LINE autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 1276 invoked from network); 28 Apr 2023 00:58:27 -0000 Received: from smtp2.mta.ca (198.164.44.75) by inbox.vuxu.org with ESMTPUTF8; 28 Apr 2023 00:58:27 -0000 Received: from rr.mta.ca ([198.164.44.159]:46292) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1psCNi-0002R6-3R; Thu, 27 Apr 2023 21:54:38 -0300 Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1psCNT-0000VM-Bx for categories-list@rr.mta.ca; Thu, 27 Apr 2023 21:54:23 -0300 MIME-Version: 1.0 From: Dusko Pavlovic Date: Tue, 25 Apr 2023 10:14:46 -1000 Subject: categories: book on categorical computability To: Categories Content-Type: text/plain; charset="UTF-8" Precedence: bulk Reply-To: Dusko Pavlovic Message-Id: The book ** Programs as diagrams: ** From categorical computability to computable categories will be available shortly from the publisher (Springer-Nature). It is a lengthy project, which I never started, but it seems to have gotten almost halfway. I hope it is of interest. At least there are lots of pictures in it, including of people you know. Please email me at dusko@dusko.org if you would like a draft copy. The back cover blurb: Programs are written in many languages. It is not always clear what they mean. In this book, they are drawn as string diagrams, in the language of categories. Categories display a universal syntax of mathematics. Computer scientists use them to analyze the program semantics; programmers to display the syntax of computations. A picture is worth 1000 words; a diagram 1000 instructions. The string-diagrammatic depictions of computations can be viewed as programs in a single-instruction programming language called Run. The single instruction is called RUN and drawn as a box with a hole for programs. It represents a universal computer, which turns out to be unique up to isomorphism in its type universe. Any programming language is an example, and all of its instructions can be derived from RUN. There are many programming languages, but they all arise from the same capability of computing, shared by computers and programmers. Computers changed the world. They know more about people than people about them. In recent years, computation completely changed the practice of science, but computer science and the theory of computation barely changed. Computability is still thought of as invisible ether permeating the avatars of computers: Turing machines, lambda calculi, cellular automata, your laptop, the DNA transcription mechanism, neural networks, organic or electronic, and so on. In reality, there is no invisible ether. Computability is programmability. A computer inputs a program and outputs a function. Programs as diagrams display that and show how functions are packed in boxes and tied by strings. They are computer-drawn, human-generated, and tested on students. :) -- dusko pavlovic [For admin and other information see: http://www.mta.ca/~cat-dist/ ]