Operads of Wiring Diagrams
Buch in deiner Nähe kaufen
Beschreibung
Wiring diagrams form a kind of graphical language that describes operations or processes with multiple inputs and outputs, and shows how such operations are wired together to form a larger and more complex operation. This monograph presents a comprehensive study of the combinatorial structure of the various operads of wiring diagrams, their algebras, and the relationships between these operads.
The book proves finite presentation theorems for operads of wiring diagrams as well as their algebras. These theorems describe the operad in terms of just a few operadic generators and a small number of generating relations. The author further explores recent trends in the application of operad theory to wiring diagrams and related structures, including finite presentations for the propagator algebra, the algebra of discrete systems, the algebra of open dynamical systems, and the relational algebra. A partial verification of David Spivak’s conjecture regarding the quotient-freeness of therelational algebra is also provided. In the final part, the author constructs operad maps between the various operads of wiring diagrams and identifies their images.Assuming only basic knowledge of algebra, combinatorics, and set theory, this book is aimed at advanced undergraduate and graduate students as well as researchers working in operad theory and its applications. Numerous illustrations, examples, and practice exercises are included, making this a self-contained volume suitable for self-study.
Wiring diagrams form a kind of graphical language that describes operations or processes with multiple inputs and outputs, and shows how such operations are wired together to form a larger and more complex operation. This monograph presents a comprehensive study of the combinatorial structure of the various operads of wiring diagrams, their algebras, and the relationships between these operads.
The book proves finite presentation theorems for operads of wiring diagrams as well as their algebras. These theorems describe the operad in terms of just a few operadic generators and a small number of generating relations. The author further explores recent trends in the application of operad theory to wiring diagrams and related structures, including finite presentations for the propagator algebra, the algebra of discrete systems, the algebra of open dynamical systems, and the relational algebra. A partial verification of David Spivak’s conjecture regarding the quotient-freeness of therelational algebra is also provided. In the final part, the author constructs operad maps between the various operads of wiring diagrams and identifies their images.
Assuming only basic knowledge of algebra, combinatorics, and set theory, this book is aimed at advanced undergraduate and graduate students as well as researchers working in operad theory and its applications. Numerous illustrations, examples, and practice exercises are included, making this a self-contained volume suitable for self-study.
Provides a self-contained introduction to wiring diagrams, operads, and operad algebras Includes over 100 illustrations and a chapter of practice problems Presents generators and relations for both the operads and algebras of wiring diagrams introduced by David Spivak
Autor*in
Donald Yau
Themen in »Operads of Wiring Diagrams«
MSC (2010): 18D50, 37A60, 55P48, 81P45, 94C15 wiring diagrams undirected wiring diagrams operads colored operads operad algebras operad maps propagator algebra discrete systems open dynamical systems relational algebra information and communication, circuits