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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
EUR 17,34 gastos de envío desde Estados Unidos de America a España
Destinos, gastos y plazos de envíoEUR 5,00 gastos de envío en España
Destinos, gastos y plazos de envíoLibrería: Libreria Hispano Americana, Barcelona, BARCE, España
Encuadernación de tapa dura. Condición: Nuevo. Estado de la sobrecubierta: Nuevo. Nº de ref. del artículo: ABE-1733912272410
Cantidad disponible: 1 disponibles
Librería: Speedyhen, London, Reino Unido
Condición: NEW. Nº de ref. del artículo: NW9781009317863
Cantidad disponible: 2 disponibles
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Condición: New. In. Nº de ref. del artículo: ria9781009317863_new
Cantidad disponible: 2 disponibles
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
Hardback or Cased Book. Condición: New. Introducing String Diagrams: The Art of Category Theory 1.13. Book. Nº de ref. del artículo: BBS-9781009317863
Cantidad disponible: 5 disponibles
Librería: THE SAINT BOOKSTORE, Southport, Reino Unido
Hardback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 510. Nº de ref. del artículo: C9781009317863
Cantidad disponible: Más de 20 disponibles
Librería: Revaluation Books, Exeter, Reino Unido
Hardcover. Condición: Brand New. 195 pages. 9.88x6.97x0.71 inches. In Stock. Nº de ref. del artículo: __1009317865
Cantidad disponible: 1 disponibles
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
Condición: New. 2023. hardcover. . . . . . Nº de ref. del artículo: V9781009317863
Cantidad disponible: 2 disponibles
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Condición: New. Nº de ref. del artículo: 45647791-n
Cantidad disponible: Más de 20 disponibles
Librería: Books Puddle, New York, NY, Estados Unidos de America
Condición: New. 1st edition NO-PA16APR2015-KAP. Nº de ref. del artículo: 26396097834
Cantidad disponible: 4 disponibles
Librería: Majestic Books, Hounslow, Reino Unido
Condición: New. Print on Demand. Nº de ref. del artículo: 401360629
Cantidad disponible: 4 disponibles