Introducing String Diagrams: The Art of Category Theory

Dan Marsden, Ralf Hinze

ISBN 10: 1009317865 ISBN 13: 9781009317863

Editorial: Cambridge University Press 2023-07-31, 2023

Idioma: Ingl�s

Condici�n: Nuevo Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por Chiron Media, Wallingford, Reino Unido

Vendedor de AbeBooks desde 2 de agosto de 2010

Calificaci�n del vendedor: 4 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Nuevos - Encuadernaci�n de tapa dura

Condici�n: Nuevo

Precio: EUR 49,10 Convertir moneda

EUR 17,32 gastos de env�o desde Reino Unido a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

N� de ref. del art�culo 6666-GRD-9781009317863

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Introducing String Diagrams: The Art of Category Theory

Editor

Cambridge University Press 2023-07-31

Fecha de publicaci�n

2023

Idioma

Ingl�s

ISBN 10

1009317865

ISBN 13

9781009317863

Encuadernaci�n

Hardcover

Estado

New

Cat�logos de vendedores

Acerca de

Sinopsis

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.

Acerca de los autores

Ralf Hinze is Professor of Software Engineering at the University of Kaiserslautern–Landau (RPTU). His research is centered around the construction of provably correct software, with a particular emphasis on functional programming, algebra of programming, applied category theory, and persistent data structures. His goal is to develop theory, languages, and tools that simplify the construction of reliable software systems.

Dan Marsden is a theoretical computer scientist currently working as Transitional Assistant Professor at the University of Nottingham. He is interested in the foundations of computer science, logic, and mathematics, with particular emphasis on the application of category theory.

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

WRAP Ltd
Unit 4, 119 Loverock Rd, Reading, RG30 1DZ, United Kingdom

Condiciones de venta y env�o

Condiciones de venta

TBA

Derecho a cancelaci�n

Condiciones de env�o

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Tarifas de env�o de Reino Unido a Espa�a

Tarifas de env�o de Reino Unido a Espa�a
Cantidad del pedido	De 14 a 21 d�as h�biles	De 14 a 21 d�as h�biles
Primer art�culo	EUR 17.32	EUR 17.32

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.