Ralf Hinze: Introducing String Diagrams

Um unseren Shop nutzen zu können, müssen Sie Javascript in Ihrem Browser aktivieren.

Cover: 9781009317863 | Introducing String Diagrams | The Art of Category Theory | Buch | 2023

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

58,10 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Sie können kein Produkt in den Warenkorb legen, da Javascript und technisch notwendige Cookies aktiviert sein müssen.

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

This is the first self-contained introduction to the use of string diagrams to reason in elementary category theory. Written in an informal expository style, it features hundreds of carefully chosen diagrams to aid understanding. With numerous worked examples and exercises, the text is ideal for graduate students and advanced undergraduates.

Über den Autor

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.

Inhaltsverzeichnis

Prologue; 1. Category theory; 2. String diagrams; 3. Monads; 4. Adjunctions; 5. Putting it all together; Epilogue; Appendix. Notation; References; Index.

Details

Erscheinungsjahr:	2023
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
Seiten:	195
Inhalt:	Gebunden
ISBN-13:	9781009317863
ISBN-10:	1009317865
Sprache:	Englisch
Einband:	Gebunden
Autor:	Hinze, Ralf Marsden, Dan
Hersteller:	Cambridge University Press
Maße:	231 x 160 x 30 mm
Von/Mit:	Ralf Hinze (u. a.)
Erscheinungsdatum:	10.08.2023
Gewicht:	0,7 kg

preigu-id: 126644636

Über den Autor

Inhaltsverzeichnis

Prologue; 1. Category theory; 2. String diagrams; 3. Monads; 4. Adjunctions; 5. Putting it all together; Epilogue; Appendix. Notation; References; Index.

Details

Erscheinungsjahr:	2023
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Buch
Seiten:	195
Inhalt:	Gebunden
ISBN-13:	9781009317863
ISBN-10:	1009317865
Sprache:	Englisch
Einband:	Gebunden
Autor:	Hinze, Ralf Marsden, Dan
Hersteller:	Cambridge University Press
Maße:	231 x 160 x 30 mm
Von/Mit:	Ralf Hinze (u. a.)
Erscheinungsdatum:	10.08.2023
Gewicht:	0,7 kg