Operads are mathematical devices that describe algebraic structures of many varieties and in various categories. Operads are particularly important in categories with a good notion of 'homotopy', where they play a key role in organizing hierarchies of higher homotopies. This book offers an introduction describing the development of operad theory.