Introducing string diagrams: the art of category theory
String 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 e...
Gespeichert in:
Beteilige Person: | |
---|---|
Weitere beteiligte Personen: | |
Format: | E-Book |
Sprache: | Englisch |
Veröffentlicht: |
Cambridge
Cambridge University Press
2023
|
Links: | https://doi.org/10.1017/9781009317825 |
Zusammenfassung: | String 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. |
Umfang: | 1 Online-Ressource (xii, 181 Seiten) |
ISBN: | 9781009317825 |
Internformat
MARC
LEADER | 00000nam a2200000 i 4500 | ||
---|---|---|---|
001 | ZDB-20-CTM-CR9781009317825 | ||
003 | UkCbUP | ||
005 | 20230731021710.0 | ||
006 | m|||||o||d|||||||| | ||
007 | cr|||||||||||| | ||
008 | 220613s2023||||enk o ||1 0|eng|d | ||
020 | |a 9781009317825 | ||
100 | 1 | |a Hinze, Ralf | |
245 | 1 | 0 | |a Introducing string diagrams |b the art of category theory |c Ralf Hinze, Dan Marsden |
264 | 1 | |a Cambridge |b Cambridge University Press |c 2023 | |
300 | |a 1 Online-Ressource (xii, 181 Seiten) | ||
336 | |b txt | ||
337 | |b c | ||
338 | |b cr | ||
520 | |a String 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. | ||
700 | 1 | |a Marsden, Dan | |
776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781009317863 |
966 | 4 | 0 | |l DE-91 |p ZDB-20-CTM |q TUM_PDA_CTM |u https://doi.org/10.1017/9781009317825 |3 Volltext |
912 | |a ZDB-20-CTM | ||
912 | |a ZDB-20-CTM | ||
049 | |a DE-91 |
Datensatz im Suchindex
DE-BY-TUM_katkey | ZDB-20-CTM-CR9781009317825 |
---|---|
_version_ | 1825574046031413248 |
adam_text | |
any_adam_object | |
author | Hinze, Ralf |
author2 | Marsden, Dan |
author2_role | |
author2_variant | d m dm |
author_facet | Hinze, Ralf Marsden, Dan |
author_role | |
author_sort | Hinze, Ralf |
author_variant | r h rh |
building | Verbundindex |
bvnumber | localTUM |
collection | ZDB-20-CTM |
format | eBook |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01618nam a2200253 i 4500</leader><controlfield tag="001">ZDB-20-CTM-CR9781009317825</controlfield><controlfield tag="003">UkCbUP</controlfield><controlfield tag="005">20230731021710.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr||||||||||||</controlfield><controlfield tag="008">220613s2023||||enk o ||1 0|eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781009317825</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hinze, Ralf</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Introducing string diagrams</subfield><subfield code="b">the art of category theory</subfield><subfield code="c">Ralf Hinze, Dan Marsden</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2023</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xii, 181 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">String 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.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Marsden, Dan</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781009317863</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-20-CTM</subfield><subfield code="q">TUM_PDA_CTM</subfield><subfield code="u">https://doi.org/10.1017/9781009317825</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
id | ZDB-20-CTM-CR9781009317825 |
illustrated | Not Illustrated |
indexdate | 2025-03-03T11:58:00Z |
institution | BVB |
isbn | 9781009317825 |
language | English |
open_access_boolean | |
owner | DE-91 DE-BY-TUM |
owner_facet | DE-91 DE-BY-TUM |
physical | 1 Online-Ressource (xii, 181 Seiten) |
psigel | ZDB-20-CTM TUM_PDA_CTM ZDB-20-CTM |
publishDate | 2023 |
publishDateSearch | 2023 |
publishDateSort | 2023 |
publisher | Cambridge University Press |
record_format | marc |
spelling | Hinze, Ralf Introducing string diagrams the art of category theory Ralf Hinze, Dan Marsden Cambridge Cambridge University Press 2023 1 Online-Ressource (xii, 181 Seiten) txt c cr String 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. Marsden, Dan Erscheint auch als Druck-Ausgabe 9781009317863 |
spellingShingle | Hinze, Ralf Introducing string diagrams the art of category theory |
title | Introducing string diagrams the art of category theory |
title_auth | Introducing string diagrams the art of category theory |
title_exact_search | Introducing string diagrams the art of category theory |
title_full | Introducing string diagrams the art of category theory Ralf Hinze, Dan Marsden |
title_fullStr | Introducing string diagrams the art of category theory Ralf Hinze, Dan Marsden |
title_full_unstemmed | Introducing string diagrams the art of category theory Ralf Hinze, Dan Marsden |
title_short | Introducing string diagrams |
title_sort | introducing string diagrams the art of category theory |
title_sub | the art of category theory |
work_keys_str_mv | AT hinzeralf introducingstringdiagramstheartofcategorytheory AT marsdendan introducingstringdiagramstheartofcategorytheory |