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.

About the Authors

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.

"About this title" may belong to another edition of this title.

Store Description

Librer�a Hispano Americana fue fundada en Barcelona el a�o 1937 y fue adquirida por Marcombo, S.A. en 1950. A partir de entonces, la librer�a se orient� a la difusi�n y venta de libro t�cnico, cient�fico y de inform�tica, transform�ndose entonces en la librer�a t�cnica de referencia.

Visit Seller's Storefront

Seller's business information

LLIBRERIA HISPANO AMERICANA, S.L
Gran Via De Les Corts Catalanes 594, Barcelona, B, 08007, Spain

Sale & Shipping Terms

Terms of Sale

**Librer�a Hispano Americana dispone de 2 librer�as en Barcelona:

1 - Librer�a M�dica Hispano-Americana

(Antigua Llibreria Herrero)

2 - Librer�a t�cnica y cient�fica Hispano-Americana

If you are a consumer you can cancel the contract in accordance with the following. Consumer means any natural person who is acting for purposes which are outside his trade, business, craft or profession.

INFORMATION REGARDING THE RIGHT OF CANCELLATION

Statutory Right to cancel

You have the right to cancel this cont...

More Information

Shipping Terms

Los gastos env�o hasta tienen un precio de:

+4,50€ para Pen�nsula
+5,99€ para Baleares
+7,99€ para las Palmas

Los env�os contiene n� de seguimiento, ser�n entregados bajo firma. Plazo 48/72H.

Para env�os al extranjero debe ponerse en contacto con la librer�a especificando: 1- El t�tulo que desea adquirir. 2 - C�digo postal y pa�s de entrega. Con esta informaci�n le informaremos del coste que tiene el env�o.

Shipping rates from Spain to U.S.A.

Shipping rates from Spain to U.S.A.
Order quantity	25 to 45 business days	13 to 45 business days
First item	US$ 82.22	US$ 82.22

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.