Higher-Dimensional Categories: an illustrated guide book
by Eugenia Cheng, Aaron Lauda
Publisher: University of Sheffield 2004
Number of pages: 182
Description:
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. To aid this, the tone is informal and there are copious pictures.
Download or read it online for free here:
Download link
(1.7MB, PDF)
Similar books
Higher Operads, Higher Categoriesby Tom Leinster - arXiv
Higher-dimensional category theory is the study of n-categories, operads, braided monoidal categories, and other such exotic structures. It draws its inspiration from topology, quantum algebra, mathematical physics, logic, and computer science.
(8474 views)
Seven Sketches in Compositionality: An Invitation to Applied Category Theoryby Brendan Fong, David I Spivak - arXiv.org
This book is an invitation to discover advanced topics in category theory through concrete, real-world examples. The tour takes place over seven sketches, such as databases, electric circuits, etc, with the exploration of a categorical structure.
(1946 views)
Dynamical Systems and Sheavesby D. I. Spivak, C. Vasilakopoulou, P. Schultz - arXiv
A categorical framework for modeling and analyzing systems in a broad sense is proposed. These systems should be thought of as 'machines' with inputs and outputs, carrying some sort of signal that occurs through some notion of time.
(2308 views)
Category Theory and Functional Programmingby Mikael Vejdemo-Johansson - University of St. Andrews
An introduction to category theory that ties into Haskell and functional programming as a source of applications. Topics: definition of categories, special objects and morphisms, functors, natural transformation, (co-)limits and special cases, etc.
(8440 views)