Dan Marsden, Ralf Hinze Introducing String Diagrams: The Art of Category Theory 9781009317863

Варианты приобретения

Цена: 42230.00T
Кол-во:
Наличие: Поставка под заказ. Есть в наличии на складе поставщика.
Склад Англия: 2 шт. Склад Америка: 197 шт.
При оформлении заказа до: 2025-08-04
Ориентировочная дата поставки: Август-начало Сентября

Добавить в корзину

в Мои желания

Автор: Dan Marsden, Ralf Hinze
Название: Introducing String Diagrams: The Art of Category Theory
ISBN: 9781009317863
Издательство: Cambridge Academ
Классификация:

Математическая логика

Языки программирования и описания сценариев: общие сведения

Теория вычислительных машин и систем, кибернетика

ISBN-10: 1009317865
Обложка/Формат: Hardback
Страницы: 195
Вес: 0.55 кг.
Дата издания: 10.08.2023
Язык: English
Иллюстрации: Worked examples or exercises
Размер: 177 x 254 x 24
Ключевые слова: Mathematical theory of computation, COMPUTERS / Languages / General
Подзаголовок: The art of category theory
Ссылка на Издательство: Link
Рейтинг:
Поставляется из: Англии
Описание: 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.

Introducing String Diagrams: The Art of Category Theory, Dan Marsden, Ralf Hinze