000 02648nam a2200385 i 4500
001 CR9781009625715
003 UkCbUP
005 20260610102049.0
007 cr||||||||||||
008 241023s2025||||enk o ||1 0|eng|d
020 _a9781009625715 (ebook)
020 _z9781009625708 (hardback)
020 _z9781009625746 (paperback)
040 _aUkCbUP
_beng
_erda
_cUkCbUP
050 4 _aQA76.9.M35
_bP54 2025
082 0 4 _a004.0151
_223
100 1 _aPiedeleu, Robin,
_eauthor.
_0no data
_1https://orcid.org/0000-0002-3945-2704
245 1 3 _aAn introduction to string diagrams for computer scientists /
_cRobin Piedeleu, Fabio Zanasi.
264 1 _aCambridge :
_bCambridge University Press,
_c2025.
300 _a1 online resource (111 pages) :
_bdigital, PDF file(s).
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
490 1 _aCambridge elements. Elements in applied category theory,
_x2633-1861
500 _aTitle from publisher's bibliographic system (viewed on 02 May 2025).
506 0 _aOpen Access.
_fUnrestricted online access
_2star
520 _aString diagrams are a powerful graphical language used to represent computational phenomena across diverse scientific fields, including computer science, physics, linguistics, amongst others. The appeal of string diagrams lies in their multi-faceted nature: they offer a simple, visual representation of complex scientific ideas, while also allowing rigorous mathematical treatment. Originating in category theory, string diagrams have since evolved into a versatile formalism, extending well beyond their abstract algebraic roots, and offering alternative entry points to their study. This text provides an accessible introduction to string diagrams from the perspective of computer science. Rather than starting from categorical concepts, the authors draw on intuitions from formal language theory, treating string diagrams as a syntax with its own semantics. They survey the basic theory, outline fundamental principles, and highlight modern applications of string diagrams in different fields. This title is also available as open access on Cambridge Core.
650 0 _aComputer science
_xMathematics.
650 0 _aData structures (Computer science)
700 1 _aZanasi, Fabio,
_eauthor.
_0http://id.loc.gov/authorities/names/nb2022012376
_1https://orcid.org/0000-0001-6457-1345
776 0 8 _iPrint version:
_z9781009625708
830 0 _aCambridge elements.
_pElements in applied category theory,
_x2633-1861.
856 4 0 _uhttps://doi.org/10.1017/9781009625715
999 _c9865
_d9865