  Invited contribution to the Encyclopedia of Mathematical Physics. We give an
introduction to the homotopical theory of higher categories, focused on
motivating the definitions of the basic objects, namely $\infty$-categories and
$(\infty,n)$-categories.
