Introducing String Diagrams - The Art of Category Theory

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.

List of contents

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

About the author

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.

Summary

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.

Product details

• Authors: Ralf Hinze, Ralf (Rptu Kaiserslautern-Landau Hinze, Ralf (Technische Universitat Kaiserslautern Hinze, Hinze Ralf, Dan Marsden
• Publisher: Cambridge University Press ELT
• Languages: English
• Product format: Hardback
• Released: 30.06.2023
• EAN: 9781009317863
• ISBN: 978-1-0-0931786-3
• No. of pages: 195
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; COMPUTERS / Computer Science, MATHEMATICS / Logic, computer science, Mathematical logic, Programming & scripting languages: general, Programming and scripting languages: general, COMPUTERS / Languages / General