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

**Higher-Dimensional Categories: an illustrated guide book**

by

**Eugenia Cheng, Aaron Lauda**-

**University of Sheffield**

This work gives an explanatory introduction to various definitions of higher-dimensional category. The emphasis is on ideas rather than formalities; the aim is to shed light on the formalities by emphasizing the intuitions that lead there.

(

**11153**views)

**Category Theory: A Gentle Introduction**

by

**Peter Smith**-

**Logic Matters**

I hope that what is here may prove useful to others starting to get to grips with category theory. This text is intended to be relatively accessible; in particular, it presupposes rather less mathematical background than some texts on categories.

(

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

(

**9884**views)

**Basic Concepts of Enriched Category Theory**

by

**Max Kelly**-

**Cambridge University Press**

The book presents a selfcontained account of basic category theory, assuming as prior knowledge only the most elementary categorical concepts. It is designed to supply a connected account of the theory, or at least of a substantial part of it.

(

**11199**views)