Bear lights out string diagram software#

Subject to statutory exception and to the provisions of relevant collective licensing agreements, no reproduction of any part may take place without the written permission of Cambridge University Press & Assessment.

Information on this title: DOI: 10.1017/9781009317825 c Ralf Hinze and Dan Marsden 2023 This publication is in copyright. We share the University’s mission to contribute to society through the pursuit of education, learning and research at the highest international levels of excellence. I N T RODUCING STRING DIAGRAMS The Art of Category Theory R A L F H INZE University of Kaiserslautern-Landau DA N M A RSDEN University of Nottingham Shaftesbury Road, Cambridge CB2 8EA, United Kingdom One Liberty Plaza, 20th Floor, New York, NY 10006, USA 477 Williamstown Road, Port Melbourne, VIC 3207, Australia 314–321, 3rd Floor, Plot 3, Splendor Forum, Jasola District Centre, New Delhi – 110025, India 103 Penang Road, #05–06/07, Visioncrest Commercial, Singapore 238467 Cambridge University Press is part of Cambridge University Press & Assessment, a department of the University of Cambridge. He is interested in the foundations of computer science, logic, and mathematics, with a particular emphasis on the application of category theory. D A N M A R S D E N is a theoretical computer scientist currently working as a Transitional Assistant Professor at the University of Nottingham.

Bear lights out string diagram software#

His goal is to develop theory, languages, and tools that simplify the construction of reliable software systems. His research is centered around the construction of provably correct software, with a particular emphasis on functional programming, algebra of programming, applied category theory, and persistent data structures. R A L F H I N Z E is Professor of Software Engineering at the University of Kaiserslautern-Landau (RPTU). Each chapter contains plentiful exercises of varying levels of difficulty, suitable for self-study or for use by instructors. Careful attention is paid throughout to exploit the freedom of the graphical notation to draw diagrams that aid understanding and subsequent calculations. A range of topics are explored from the perspective of string diagrams, including adjunctions, monad and comonads, Kleisli and Eilenberg–Moore categories, and endofunctor algebras and coalgebras. Much of the book is devoted to worked examples highlighting how best to use string diagrams to solve realistic problems in elementary category theory. Written in an informal expository style, this book provides a self-contained introduction to these diagrammatic techniques, ideal for graduate students and researchers. I N T RO D U C I N G S T RING DIAGRAMS String diagrams are powerful graphical methods for reasoning in elementary category theory.