This text provides an accessible introduction to string diagrams from the perspective of computer science. Rather than starting from categorical concepts, the authors draw on intuitions from formal language theory, treating string diagrams as a synta...Loe edasi...
(Ilmumisaeg: 29-May-2025, Hardback, Kirjastus: Cambridge University Press, ISBN-13: 9781009625708)
This text provides an accessible introduction to string diagrams from the perspective of computer science. Rather than starting from categorical concepts, the authors draw on intuitions from formal language theory, treating string diagrams as a synta...Loe edasi...
This Element presents the usual material taught in a yearlong course of theoretical computer science using the intuitive language and methodology of category theory. Perfect for students or professionals working in computers or physics, or mathematic...Loe edasi...