
6 Introduction
would like to use operadic Gröbner bases for homotopical algebra, in particular
for the Koszul duality theory.
In Chapter 7, we recall some necessary background on Gröbner bases for
commutative algebras, which is then applied to the study of operads in the
last two chapters of the book. Since this theory has already been explained
extremely well from different points of view in many different textbooks, we
focus on presenting the results that we need, and on some results that are
usually not covered at length in the standard presentations. In particular, we
include a proof of Robbiano’s classification theorem on monomial orders, and
a historical ...