Elements in Applied Category Theory – serie
Visar alla böcker i serien Elements in Applied Category Theory. Handla med fri frakt och snabb leverans.
5 produkter
An Introduction to String Diagrams for Computer Scientists
Av Robin Piedeleu, Fabio Zanasi
Inbunden, 2025
829 kr
Lägg i varukorg
String diagrams are a powerful graphical language used to represent computational phenomena across diverse scientific fields, including computer science, physics, linguistics, amongst others. The appeal of string diagrams lies in their multi-faceted nature: they offer a simple, visual …
An Introduction to String Diagrams for Computer Scientists
Av Robin Piedeleu, Fabio Zanasi
Häftad, 2025
267 kr
Lägg i varukorg
String diagrams are a powerful graphical language used to represent computational phenomena across diverse scientific fields, including computer science, physics, linguistics, amongst others. The appeal of string diagrams lies in their multi-faceted nature: they offer a simple, visual …
String Diagrams for Lambda Calculi and Functional Computation
Inbunden, 2026
791 kr
Kommande
This Element gives an advanced introduction to string diagrams and graph languages for higher-order computation. The subject matter develops in a principled way, starting from the two dimensional syntax of key categorical concepts such as functors, adjunctions, and strictication, and leading up to …
String Diagrams for Lambda Calculi and Functional Computation
Häftad, 2026
282 kr
Kommande
This Element gives an advanced introduction to string diagrams and graph languages for higher-order computation. The subject matter develops in a principled way, starting from the two dimensional syntax of key categorical concepts such as functors, adjunctions, and strictication, and leading up to …
Theoretical Computer Science for the Working Category Theorist
Häftad, 2022
282 kr
Lägg i varukorg
Using basic category theory, this Element describes all the central concepts and proves the main theorems of theoretical computer science. Category theory, which works with functions, processes, and structures, is uniquely qualified to present the fundamental results of theoretical computer …
