Dekorationsartikel gehören nicht zum Leistungsumfang.
Sprache:
Englisch
61,30 €*
Versandkostenfrei per Post / DHL
Lieferzeit 1-2 Wochen
Kategorien:
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.
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: | Importe, Informatik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Buch |
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 |
Ü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: | Importe, Informatik |
Rubrik: | Naturwissenschaften & Technik |
Medium: | Buch |
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 |
Warnhinweis