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
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.
(5089 views)
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.
(11378 views)
Mixed Motivesby Marc Levine - 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.
(13477 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.
(5454 views)