1: \begin{abstract}

2: We introduce and study a derived version $\mathbf L\mathrm{Bin}$ of the binomial monad on the unbounded derived category $\mathscr D(\mathbb Z)$ of $\mathbb Z$-modules. This monad acts naturally on singular cohomology of any topological space, and does so more efficiently than the more classical monad $\mathbf L\mathrm{Sym}_{\mathbb Z}$. We compute all free derived binomial rings on abelian groups concentrated in a single degree, in particular identifying $C_*^{\mathrm{sing}}(K(\mathbb Z,n),\mathbb Z)$ with $\mathbf L\mathrm{Bin}(\mathbb Z[-n])$ via a different argument than in \cite{Toen_geo} and \cite{Horel}. Using this we show that the singular cohomology functor $C_*^{\mathrm{sing}}(-,\mathbb Z)$ induces a fully faithful embedding of the category of connected nilpotent spaces of finite type to the category of derived binomial rings. 

3: 

4: We then also define a version $\mathbf L \mathcal Bin_X$ of the derived binomial monad on the $\infty$-category of $\mathscr D(\mathbb Z)$-valued sheaves on a sufficiently nice topological space $X$. As an application we give a closed formula for the singular cohomology of an fs log complex analytic space $(X,\mathcal M)$:  namely we identify the pushforward $R\pi_*\underline{\mathbb Z}$ for the corresponding Kato-Nakayama space $\pi\colon X^{\log}\rightarrow X$ with the free coaugmented derived binomial ring on the 2-term exponential complex $\mathcal O_X\ra \mathcal M^{\gr}$. This gives an extension of Steenbrink's formula and its generalization in \cite{shuklin} to $\mathbb Z$-coefficients. 

5: \end{abstract}

6: