Underlying object of a monoid

Convention 5.1.2. Given a monoid \(M\), we will often denote its underlying object in \(C\) again by \(M\). We will also often identify \(M_n\) with the \(n\)-fold product \(M^n := \prod _{i=1}^n M\) via the Segal map.