[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
