  Higher-dimensional category theory is the study of n-categories, operads,
braided monoidal categories, and other such exotic structures. It draws its
inspiration from areas as diverse as topology, quantum algebra, mathematical
physics, logic, and theoretical computer science. This is the first book on the
subject and lays its foundations.
  Many examples are given throughout. There is also an introductory chapter
motivating the subject for topologists.
