History and motivation

The most basic motivation for introducing higher categories is the observation that CatU, the category of U-small categories, naturally has a structure of 2-...