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.
(6918 views)
Book cover: Higher Topos TheoryHigher Topos Theory
by - Princeton University Press
Jacob Lurie presents the foundations of higher category theory, using the language of weak Kan complexes, and shows how existing theorems in algebraic topology can be reformulated and generalized in the theory's new language.
(6675 views)
Book cover: Mixed MotivesMixed Motives
by - American Mathematical Society
This book combines foundational constructions in the theory of motives and results relating motivic cohomology to more explicit constructions. Prerequisite for understanding the work is a basic background in algebraic geometry.
(9423 views)
Book cover: Higher AlgebraHigher Algebra
by - Harvard University
Contents: Stable infinite-Categories; infinite-Operads; Algebras and Modules over infinte-Operads; Associative Algebras and Their Modules; Little Cubes and Factorizable Sheaves; Algebraic Structures on infinite-Categories; and more.
(9721 views)