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
Abelian Categories: an Introduction to the Theory of Functorsby Peter Freyd - Harper and Row
From the table of contents: Fundamentals (Contravariant functors and dual categories); Fundamentals of Abelian categories; Special functors and subcategories; Metatheorems; Functor categories; Injective envelopes; Embedding theorems.
(12901 views)
Category Theory for Scientistsby David I. Spivak - arXiv
We attempt to show that category theory can be applied throughout the sciences as a framework for modeling phenomena and communicating results. In order to target the scientific audience, this book is example-based rather than proof-based.
(9476 views)
Category Theory for Programmersby Bartosz Milewski - unglue.it
Category theory is the kind of math that is particularly well suited for the minds of programmers. It deals with the kind of structure that makes programs composable. And I will argue strongly that composition is the essence of programming.
(6152 views)
Introduction to Categories and Categorical Logicby Samson Abramsky, Nikos Tzevelekos - arXiv
These notes provide a succinct, accessible introduction to some of the basic ideas of category theory and categorical logic. The main prerequisite is a basic familiarity with the elements of discrete mathematics: sets, relations and functions.
(12068 views)