1: \begin{definition}

2: Let $D$ be a dendroidal set. We define the \emph{K-theory} spectrum of $D$ as

3: \begin{equation*}

4: \calK(D) := B^\infty\widetilde{St}(D).

5: \end{equation*}

6: This assignment defines  a functor $\calK: \dSet \to \Spec$ that preserves stable equivalences and induces an equivalence between the stable

7: homotopy categories of dendroidal sets and connective spectra (see \cite[Theorem

8: 5.4]{BaNi}.)

9: \end{definition}

10: