Introducing String Diagrams: The Art of Category Theory - Hardcover

Hinze, Ralf; Marsden, Dan

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

Inhaltsangabe

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

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorinnen und Autoren

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.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Cambridge University Press
Erscheinungsdatum
2023
Sprache
Englisch
ISBN 10 
1009317865
ISBN 13 
9781009317863
Einband
Gebundene Ausgabe
Anzahl der Seiten
181
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Frankreich