Picture 1 of 2

Introducing String Diagrams: The Art - Hardcover, by Hinze Ralf; Marsden - New - Picture 2 of 2

Introducing String Diagrams : The Art of Category Theory by Ralf Hinze and Dan Marsden (2023, Hardcover)

BooksRun (213712)

99.5% positive feedback

Price:

$44.42

Free shipping

Estimated delivery Thu, Oct 30 - Wed, Nov 5

Returns:

30 days returns. Seller pays for return shipping.

Condition:

Brand New

By Hinze, Ralf; Marsden, Dan. Introducing String Diagrams: The Art of Category Theory.

About this product

Product Identifiers

PublisherCambridge University Press

ISBN-101009317865

ISBN-139781009317863

eBay Product ID (ePID)27058624065

Product Key Features

Number of Pages195 Pages

LanguageEnglish

Publication NameIntroducing String Diagrams : the Art of Category Theory

SubjectProgramming Languages / General, General

Publication Year2023

TypeTextbook

AuthorRalf Hinze, Dan Marsden

Subject AreaMathematics, Computers

FormatHardcover

Dimensions

Item Height0.7 in

Item Length9.9 in

Item Width6.9 in

Additional Product Features

Dewey Edition23

Reviews'String diagrams have proven an indispensable tool in modern category theory, enabling intuitive graphical reasoning while doing away with much of the bookkeeping that tends to bog down equational arguments. This textbook introduces category theory by way of string diagrams, making it an excellent choice both for beginners in category theory, as well as for more experienced category theorists seeking to add string diagrammatic reasoning to their repertoire.' Robin Kaarsgaard, University of Edinburgh, '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

IllustratedYes

Dewey Decimal512.62

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

SynopsisString diagrams are powerful graphical methods for reasoning in elementary category theory. Written in an informal expository style, this book provides a self-contained introduction to these diagrammatic techniques, ideal for graduate students and researchers. Much of the book is devoted to worked examples highlighting how best to use string diagrams to solve realistic problems in elementary category theory. A range of topics are explored from the perspective of string diagrams, including adjunctions, monad and comonads, Kleisli and Eilenberg-Moore categories, and endofunctor algebras and coalgebras. Careful attention is paid throughout to exploit the freedom of the graphical notation to draw diagrams that aid understanding and subsequent calculations. Each chapter contains plentiful exercises of varying levels of difficulty, suitable for self-study or for use by instructors., 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.

LC Classification NumberQA169