Introducing String Diagrams: The Art of Category Theory - Rilegato

Hinze, Ralf; Marsden, Dan

 
9781009317863: Introducing String Diagrams: The Art of Category Theory

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.