Items related to Introducing String Diagrams: The Art of Category Theory

Introducing String Diagrams: The Art of Category Theory - Hardcover

Ralf Hinze; Dan Marsden

 
9781009317863: Introducing String Diagrams: The Art of Category Theory
Hardcover
ISBN 10: 1009317865 ISBN 13: 9781009317863
Publisher: Cambridge University Press, 2023

Synopsis

The first introductory account of using string diagrams to reason in elementary category theory.

"synopsis" may belong to another edition of this title.

About the Authors

Ralf Hinze is Professor of Software Engineering at the University of Kaiserslautern–Landau (RPTU). 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. His goal is to develop theory, languages, and tools that simplify the construction of reliable software systems.

Dan Marsden is a theoretical computer scientist currently working as Transitional Assistant Professor at the University of Nottingham. He is interested in the foundations of computer science, logic, and mathematics, with particular emphasis on the application of category theory.

"About this title" may belong to another edition of this title.

Publisher
Cambridge University Press
Publication date
2023
Language
English
ISBN 10 
1009317865
ISBN 13 
9781009317863
Binding
Hardcover
Edition number
1
Number of pages
195