The study of higher categories is attracting growing interest for its many applications in topology, algebraic geometry, mathematical physics and category theory. Following an extensive discussion of many current approaches, Carlos Simpson explains the first concrete and workable theory of n-categories in detail.