Seven Sketches in Compositionality: An Invitation to Applied Category Theory
by Brendan Fong, David I Spivak
Publisher: arXiv.org 2018
Number of pages: 243
Description:
This book is an invitation to discover advanced topics in category theory through concrete, real-world examples. It aims to give a tour: a gentle, quick introduction to guide later exploration. The tour takes place over seven sketches, each pairing an evocative application, such as databases, electric circuits, or dynamical systems, with the exploration of a categorical structure, such as adjoint functors, enriched categories, or toposes.
Download or read it online for free here:
Download link
(2.1MB, PDF)
Similar books
Category Theory in Contextby Emily Riehl - Dover Publications
This is a concise, original text for a one-semester introduction to the subject. The treatment introduces the essential concepts of category theory: categories, functors, natural transformations, the Yoneda lemma, limits and colimits, monads, etc.
(835 views)
Abstract and Concrete Categories: The Joy of Catsby Jiri Adamek, Horst Herrlich, George Strecker - John Wiley & Sons
A modern introduction to the theory of structures via the language of category theory, the emphasis is on concrete categories. The first five chapters present the basic theory, while the last two contain more recent research results.
(13826 views)
Category Theory for Computing Scienceby Michael Barr, Charles Wells - Prentice Hall
This book is a textbook in basic category theory, written specifically to be read by researchers and students in computing science. We expound the constructions basic to category theory in the context of applications to computing science.
(5468 views)
Functors and Categories of Banach Spacesby Peter W. Michor - Springer
The aim of this book is to develop the theory of Banach operator ideals and metric tensor products along categorical lines: these two classes of mathematical objects are endofunctors on the category Ban of all Banach spaces in a natural way.
(6607 views)