**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

**Notes on Categories and Groupoids**

by

**P. J. Higgins**-

**Van Nostrand Reinhold**

A self-contained account of the elementary theory of groupoids and some of its uses in group theory and topology. Category theory appears as a secondary topic whenever it is relevant to the main issue, and its treatment is by no means systematic.

(

**14322**views)

**Category Theory Lecture Notes**

by

**Michael Barr, Charles Wells**

Categories originally arose in mathematics out of the need of a formalism to describe the passage from one type of mathematical structure to another. These notes form a short summary of some major topics in category theory.

(

**11225**views)

**Banach Modules and Functors on Categories of Banach Spaces**

by

**J. Cigler, V. Losert, P.W. Michor**-

**Marcel Dekker Inc**

This book is the final outgrowth of a sequence of seminars about functors on categories of Banach spaces (held 1971 - 1975) and several doctoral dissertations. It has been written for readers with a general background in functional analysis.

(

**9882**views)

**Category Theory Lecture Notes**

by

**Daniele Turi**-

**University of Edinburgh**

These notes were written for a course in category theory. The course was designed to be self-contained, drawing most of the examples from category theory itself. It was intended for post-graduate students in theoretical computer science.

(

**11059**views)