Articoli correlati a Introducing String Diagrams: The Art of Category Theory

Introducing String Diagrams: The Art of Category Theory - Rilegato

Hinze, Ralf; Marsden, Dan

 
9781009317863: Introducing String Diagrams: The Art of Category Theory
Rilegato
ISBN 10: 1009317865 ISBN 13: 9781009317863
Casa editrice: Cambridge University Press, 2023

Sinossi

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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Informazioni sugli autori

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Cambridge University Press
Data di pubblicazione
2023
Lingua
Inglese
ISBN 10 
1009317865
ISBN 13 
9781009317863
Rilegatura
Copertina rigida
Numero di pagine
196
Contatto del produttore
non disponibile
Persona responsabile
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Francia