Logo

Seven Sketches in Compositionality: An Invitation to Applied Category Theory

Small book cover: Seven Sketches in Compositionality: An Invitation to Applied Category Theory

Seven Sketches in Compositionality: An Invitation to Applied Category Theory
by

Publisher: arXiv.org
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.

Home page url

Download or read it online for free here:
Download link
(2.1MB, PDF)

Similar books

Book cover: Category TheoryCategory Theory
- Wikibooks
This book is an introduction to category theory, written for those who have some understanding of one or more branches of abstract mathematics, such as group theory, analysis or topology. It contains examples drawn from various branches of math.
(8701 views)
Book cover: Abelian Categories: an Introduction to the Theory of FunctorsAbelian Categories: an Introduction to the Theory of Functors
by - 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.
(9174 views)
Book cover: Combinatorics and Algebra of Tensor CalculusCombinatorics and Algebra of Tensor Calculus
by - arXiv
In this paper, we reveal the combinatorial nature of tensor calculus for strict tensor categories and show that there exists a monad which is described by the coarse-graining of graphs and characterizes the algebraic nature of tensor calculus.
(3536 views)
Book cover: Abstract and Concrete Categories: The Joy of CatsAbstract and Concrete Categories: The Joy of Cats
by - 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.
(14444 views)