Simplicial Methods for Higher Categories

This monograph presents a new model of mathematical structures called weak n-categories. These structures find their motivation in a wide range of fields, from algebraic topology to mathematical physics, algebraic geometry and mathematical logic.

While strict n-categories are easily defined in terms associative and unital composition operations they are of limited use in applications, which often c...