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
Basic Concepts of Enriched Category Theoryby Max Kelly - Cambridge University Press
The book presents a selfcontained account of basic category theory, assuming as prior knowledge only the most elementary categorical concepts. It is designed to supply a connected account of the theory, or at least of a substantial part of it.
(11868 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.
(5044 views)
Basic Category Theoryby Jaap van Oosten - 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.
(10922 views)
Category Theory Lecture Notesby Michael Barr, Charles Wells
Categories originally arose in mathematics out of the need of a formalism to describe the passage from one type of mathematical structure to another. These notes form a short summary of some major topics in category theory.
(10484 views)