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: Banach Modules and Functors on Categories of Banach SpacesBanach Modules and Functors on Categories of Banach Spaces
by - 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.
(5915 views)
Book cover: Categories and Homological AlgebraCategories and Homological Algebra
by - UPMC
These notes introduce the language of categories and present the basic notions of homological algebra, first from an elementary point of view, next with a more sophisticated approach, with the introduction of triangulated and derived categories.
(5936 views)
Book cover: Higher-Dimensional Categories: an illustrated guide bookHigher-Dimensional Categories: an illustrated guide book
by - 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.
(8739 views)
Book cover: Basic Category TheoryBasic Category Theory
by - University of Utrecht
Contents: Categories and Functors; Natural transformations; (Co)cones and (Co)limits; A little piece of categorical logic; Adjunctions; Monads and Algebras; Cartesian closed categories and the lambda-calculus; Recursive Domain Equations.
(7869 views)