Definition 3.43.
Given a category \(C\) with finite products, we inductively define for every \(n \geq 0\) the category \(E_n\Grp(C)\) of \(E_n\)-groups in \(C\) by setting
\[E_0\Grp(C) := C_* \qquadtext{ and } E_{n+1}\Grp(C) := \Grp(E_n\Grp(C)).\]
Definition 3.43.
Given a category \(C\) with finite products, we inductively define for every \(n \geq 0\) the category \(E_n\Grp(C)\) of \(E_n\)-groups in \(C\) by setting