Introducing String Diagrams

ISBN-13: 9781009317863 / Twarda / 2023 / 195 str.

Dan (University of Nottingham) Marsden

Opis

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

Recenzje

'Well-chosen notation plays a vital role in constructive calculation because it facilitates the exploitation of algebraic properties. This book's exemplary use of string diagrams in category theory will inspire and invigorate the calculational method. Peruse and ponder its colourful beauty.' Roland Backhouse, University of Nottingham

Spis treści

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