\section{Introduction}

For several decades, Franke's exotic equivalence has been fascinating to homotopy theorists, as it is a rare example of a machinery that provides an equivalence up to homotopy between two model categories which are not Quillen equivalent. In practice, the known situations where Franke's construction can be applied to obtain the equivalence
\[
\mathcal{R}\colon \mathrm{D}^{([1],1)}(\cA)  \longrightarrow \Ho(\mathcal{M})
\]
link an algebraic model category ($\mathrm{D}^{([1],1)}(\cA) $ is the derived category of a flavour of chain complexes in a suitable abelian category $\mathcal{A}$) with a stable model category $\mathcal{M}$ which is not necessarily algebraic.
Key examples include
\begin{itemize}
\item $\mathcal{A}$ the category of $\pi_*(R)$-modules for a ring spectrum $R$ and $\mathcal{M}$ the category of modules over $R$, together with some extra assumption on the projective dimension of $\pi_*(R)$ as well as $\pi_*(R)$ being concentrated in degrees that are multiples of some $N>1$,
\item $\mathcal{A}$ the category of $E(1)_*E(1)$-comodules and $\mathcal{M}$ the category of $K$-local spectra at an odd prime.
\end{itemize}
In this paper, we will always assume that $\mathcal{R}$ exists and is an equivalence.

Both the algebraic side $\mathrm{D}^{([1],1)}(\cA) $ and the topological side $\Ho(\mathcal{M})$ are equipped with monoidal structures derived from the monoidal model category structures on $\mathrm{C}^{([1],1)}(\cA)$ and $\mathcal{M}$, so it is only natural to consider whether $\mathcal{R}$ is compatible with these. But as $\mathcal{R}$ is not derived from a Quillen functor $\mathrm{C}^{([1],1)}(\cA) \longrightarrow \mathcal{M}$, this problem requires a different approach working closely with the construction of $\mathcal{R}$ itself.

The example of $K$-local spectra at $p=3$ tells us that we cannot expect $\mathcal{R}$ to be a monoidal functor in general: the preimage of mod-3 Moore spectrum is a chain complex that is a monoid, where as the mod-3 Moore spectrum has no associative multiplication.
However, we obtain the following, which is the main result of this article.

\begin{thm}
Let $(\mathcal{M},\wedge)$ be a simplicial stable monoidal model category and let $(\mathcal{A},\otimes)$ be a hereditary abelian monoidal category with enough projectives such that
Franke's reconstruction functor $\mathcal{R}$ exists and is an equivalence. Then
\[ \mathcal{R}\colon (\mathrm{D}^{([1],1)}(\cA) ,\otimes^{\mathbb{L}}) \rightarrow (\Ho(\mathcal{M}),\wedge^{\mathbb{L}}) \]
commutes with the respective monoidal products up to a natural isomorphism
\[ \mathcal{R}(M_*\otimes^{\mathbb{L}} N_*) \cong \mathcal{R}(M_*)\wedge^{\mathbb{L}} \mathcal{R}(N_*).   \]
\end{thm}

The reconstruction functor $\mathcal{R}$ rebuilds $\mathcal{M}$ from algebraic data in the following way. Firstly, part of the assumptions on $\mathcal{A}$ is that it splits into shifted copies of a smaller abelian category $\mathcal{B}$. This is then used to split an object of $\mathrm{C}^{([1],1)}(\cA)$ into pieces, which are placed in diagram $C_N$. Using this piecewise data, one then constructs a $C_N$-shaped diagram in $\mathcal{M}$. Finally, the homotopy colimit over $C_N$ is applied to get to $\Ho(\mathcal{M})$. Specifically, $\mathcal{R}$ is the composite
\[
\mathcal{R}: \mathrm{D}^{([1],1)}(\cA)  \xrightarrow{\cQ^{-1}} \mathcal{L} \subseteq \Ho(\mathcal{M}^{C_N}) \xrightarrow{\hocolim_{C_N}} \Ho(\mathcal{M}).
\]
We therefore take the diagram
\[
\xymatrix{  \mathrm{D}^{([1],1)}(\cA)  \times \mathrm{D}^{([1],1)}(\cA)  \ar[d]_{\otimes^{\mathbb{L}}} \ar[rr]^{\mathcal{R} \wedge^{\mathbb{L}} \mathcal{R}} & & Ho(\mathcal{M}) \times \Ho(\mathcal{M}) \ar[d]_{\wedge^\mathbb{L}} \\
\mathrm{D}^{([1],1)}(\cA)  \ar[rr]^{\mathcal{R}} & & \Ho(\mathcal{M})
}
\]
which we would like to show to be commutative
and refine it in the way below in order to deal with the different components of $\mathcal{R}$ separately.

\begin{eqnarray}\label{bigdiagram}
\xymatrix{ & & & & \\
 \mathrm{D}^{([1],1)}(\cA)  \times \mathrm{D}^{([1],1)}(\cA)  \ar[ddd]_{-\otimes^\mathbb{L} - }  \ar@<0.5ex>[rr]&   & \ar[rr]  \Ho(\mathcal{M}^{C_N})\times \Ho(\mathcal{M}^{C_N}) \ar@<0.5ex>[ll] \ar[d]_{\wedge^\mathbb{L}}^{\cong} & & \Ho(\mathcal{M}) \ar@{=}[ddd] \\
& & \ar[d]_{\mathbb{L}\pro_!=\Ho\Lan_{\pro}}  \Ho(\mathcal{M}^{C_N\times C_N}) \ar[urr]^{\hocolim} & & \\
& & \ar[d]_{\mathbb{L}i^*} \Ho(\mathcal{M}^{D_N}) \ar[uurr]_{\hocolim_{D_N}} & & \\
\mathrm{D}^{([1],1)}(\cA)    \ar@<0.5ex>[rr]^{\mathcal{Q}^{-1}}  & &\Ho(\mathcal{M}^{C_N}) \ar@<0.5ex>[ll]^{\mathcal{Q}} \ar[rr]_{\hocolim_{C_N}} & & \Ho(\mathcal{M})
}
\end{eqnarray}

The outline of our proof roughly follows the key points of \cite{Nora}; however, we choose to work in a setting of model categories, which makes our exposition more explicit and straightforward.
Overall, we have relied in contemporary methods and we refer to modern literature. Our techniques put Ganter’s theorem in firm rigorous footing and in better context with other existing literature, as well as hopefully making it more adaptable to future generalisations.

This paper is organised as follows.

In Section \ref{sec:prelims} we recall the background and tools that we need for our main result and proof, namely simplicial replacements, homotopy Kan extensions, monoidal structures on diagram model categories, a specific mapping cone construction, calculating homotopy colimits using the homology of a category with coefficients in a functor as well as a recap of the construction of Franke's functor.

In Section \ref{sec:monoidalQ} we will begin by setting up one of our main results, which involves working out the middle vertical part of the diagram \ref{bigdiagram}. The key ingredient is given by a spectral sequence argument calculating the vertices of the functor $\mathbb{L}\pro_!(X \wedge Y)$. We will then feed this into the definition of Franke's functor $\cQ$ in order to obtain the necessarily formulas for monoidality on the left hand side of \ref{bigdiagram}, dealing with underlying graded modules of the twisted chain complexes and the differentials separately.

Section \ref{sec:mainresult} now wraps up the right hand side of the diagram \ref{bigdiagram} which mostly involves standard properties of homotopy colimits. We can finally assemble these results into the proof of the main theorem and finish with some examples.

\section*{Acknowledgments}
This paper is based on the PhD thesis of the first author under the supervision of the second author. We would like to acknowledge EPSRC grant EP/R513246/1 for funding this project.
Furthermore, we would like to thank Nora Ganter, Irakli Patchkoria and Neil Strickland for helpful comments and support.

\section{Preliminaries}\label{sec:prelims}
\subsection{Notation}

In this section we will introduce some of the terminology that we need for our result. We assume that the reader is familiar with the basic background regarding simplicial sets, homological algebra and model categories.

\subsection{Simplicial objects}
The category of simplicial sets is denoted by $s\mathrm{Set}$. For $n\geq 0, \Delta^n $ denotes the standard $n$-simplex. For an arbitrary category $\mathcal{C}$, the notation $s\mathcal{C}$ stands for the simplicial objects in $\mathcal{C}$, i.e., $s\mathcal{C}=\Fun(\Delta^{\opp},\mathcal{C})$. We have $I =\Delta^1$ and $I_+ = \Delta^1 \cup \ast$ and $S^0= \Delta^0 \cup \ast.$ Similarly, $S^1$ stands for the simplicial circle $I/(0\sim 1)$ that is, $\Delta^1/\partial \Delta^1$.

\subsection{Homological Algebra}
We will let $\mathcal{A}$ be a graded ($\mathbb{Z}$-graded) abelian category, which means, that $\mathcal{A}$
possesses a shift functor $[1]$ which is an equivalence of categories, and
$[n]$ denotes the $n$-fold iteration of $[1]$. The \emph{graded global homological dimension} of $\mathcal{A}$, $\operatorname{gl.dim} \mathcal{A}$, is the supremum of the projective dimensions of objects in $\mathcal{A}$. An abelian category $\mathcal{A}$ is called \emph{hereditary} if $\operatorname{gl.dim} \mathcal{A}=1$. There are other descriptions of hereditary abelian categories but the one given above suits best for our purposes.

\subsection{Model Categories}

We write any cofibrant replacement functor $Q\colon \mathcal{M}\rightarrow \mathcal{M}$ that comes with a natural weak equivalence $q\colon Q\rightarrow 1_{\mathcal{M}}$.
\begin{conv}\label{homotopycategoryofM}
	We let $\Ho(\mathcal{M})$ denote the category $\mathcal{M}_{\mathrm{cof}}[\mathcal{W}^{-1}]$, and we denote the set of morphisms in $\Ho(\mathcal{M})$ by $[X,Y].$
\end{conv}
Convention \ref{homotopycategoryofM} allows us to provide a very simple description of the left derived functor $\mathbb{L} F$ of a left Quillen functor $F: \mathcal{M} \longrightarrow \mathcal{N}$. Indeed, the functor
\[F\left.\right|_{\mathcal{M}_{\text{cof}}}\colon \mathcal{M}_{\text{cof}}\rightarrow \mathcal{N}_{\text{cof}}    \]
preserves weak equivalences and, therefore, it induces a functor between the localizations. This functor is precisely $\mathbb{L} F$ in terms of Convention \ref{homotopycategoryofM}.

Finally, an important class of model categories is the class of \emph{simplicial model categories}. These are model categories which are enriched, tensored and cotensored over $s\mathrm{Set}$ and which satisfy the pushout-product axiom (SM7). If a
simplicial model category is pointed, i.e., the terminal object is isomorphic to the initial one, then $\mathcal{M}$ is enriched over the category $s\mathrm{Set}_*$ of pointed simplicial sets. In particular, we have functors
\[ -\otimes-\colon s\mathrm{Set}_*\times \mathcal{M}\rightarrow \mathcal{M}, \ \ \  \Map_{\mathcal{M}}(-.-):\mathcal{M}^{\mathrm{op}}\times \mathcal{M}\rightarrow s\mathrm{Set}_*, \]
and the adjunction
\[\operatorname{Hom}_{\mathcal{M}}(K\wedge X,Y)\cong \operatorname{Hom}_{s\mathrm{Set}}(K,\Map_{\mathcal{M}}(X,Y)),   \]
see \cite[Definition 6.1.28]{BRfound} and \cite[Section 11.4]{Riehl}.

\subsubsection{Diagram Categories}
We will use model structures on diagram categories throughout the paper. Below we introduce the definition of a direct category which is a generalization of the concept of a poset.
\begin{defn}\label{direct}
	Let $\omega$ denote the poset category of the ordered set $\left\{0,1,2,\ldots \right\}$. A small category $J$ is called \emph{direct} if there is a functor $f\colon J\rightarrow \omega$ that sends non-
	identity morphisms to non-identity morphisms. We refer to $f(j)$ as the \emph{degree} of the object $j$. Dually, $J$ is an \emph{inverse} category if there is a functor $J^{\mathrm{op}} \to \omega$ that
	sends non-identity morphisms to non-identity morphisms
\end{defn}
See \cite[Definition 5.1.1]{Hovey} for further details. Any finite poset $J$ is a direct category, and dually $J^{\mathrm{op}}$ is an inverse category. We provide some examples that will be useful later on.
\begin{defn}\label{latchdirect}
	Suppose $\mathcal{M}$ is a small category with small colimits, $J$ a small category, $z$ an object in $J$ and $J_z$ the category of all non-identity morphisms with codomain $z$. The \emph{latching space
		functor } $L_z\colon \mathcal{M}^{J}\rightarrow \mathcal{M}$ is the composition
	\[ \mathcal{M}^{J}\rightarrow \mathcal{M}^{J_z} \xrightarrow{\colim} \mathcal{M},    \]
	where the first arrow is the restriction functor.
	Equivalently the latching space of a diagram $X$ is given by
\[L_zX= \colim\left( J_z \hookrightarrow J \xrightarrow{X} \mathcal{M}  \right),  \]
where $J_z \hookrightarrow J $ is the inclusion.
	\end{defn}
Note that we have a natural transformation
	$ L_zX\rightarrow X_z $
	for any fixed object $z\in J$.

We can now describe the \emph{projective model structure} on $\mathcal{M}^J$, see \cite[Theorem 5.1.3]{Hovey}.
\begin{prop}\label{modelondiagrams}
	Given a model category $\mathcal{M}$ and a direct category $J$, there is a model structure on $\mathcal{M}^{J}$ in which a morphism $f\colon X\rightarrow Y$ is a weak equivalence (resp. fibration) if and only if the map $f_z\colon X_z\rightarrow Y_z$
	is a weak
	equivalence (resp. fibration) for all $z\in J$. Furthermore, $f\colon X\rightarrow Y$ is an (acyclic) cofibration if and only if the induced map
	\begin{equation*}
		X_z\coprod_{L_zX}L_zY\rightarrow Y_z
	\end{equation*}
	is an (acyclic) cofibration for all $z\in J$.
\end{prop}

We will now give the finite posets $J$ that are going to play a central role throughout this paper.

\begin{example}\label{interval}
	By $[1]$ we denote the poset $0\leq 1$.
\end{example}

\begin{example}\label{prepushout}
	Consider the poset
	\[\xymatrix{  (0,0)\ar[r] \ar[d] & (1,0) \\
		(0,1)           &  }\]
	denoted by $\ulcorner$. Let $\iota\colon [1]\rightarrow \ulcorner$ be the map of posets which sends $0$ to $(0,0)$ and $1$ to $(1,0)$. In other words, $\iota$ includes the interval $[1]$ to the top horizontal line. Furthermore, consider the product of the interval posets $[1]\times [1]$. It is the following poset
	\[\xymatrix{ (0,0) \ar[d] \ar[r] & (1,0)\ar[d] \\
		(0,1)  \ar[r]      & (1,1)  }     \]
	and we let $i_{\ulcorner}\colon \ulcorner\rightarrow [1]\times [1]$ the inclusion. The product $[1]\times [1]$ is usually denoted by $\square$.
\end{example}

\begin{example}\label{CN}
The poset $C_N$ consists of elements $\left\{\beta_i,\zeta_i\left|\right. i\in\mathbb{Z}/N\mathbb{Z}\right\}$ such that $\beta_i<\zeta_i$ and $\beta_{i}<\zeta_{i+1}$ for $i\in \mathbb{Z}/N\mathbb{Z}$, i.e.,
\begin{equation*}\xymatrix{  \zeta_0  &  \zeta_1  & \ldots & \zeta_{N-1}   \\
              \beta_0 \ar[u] \ar[ur] & \ar[u]  \ar[ur] \beta_1   & \ar[ur] \ldots & \ar[u] \ar[ulll] \beta_{N-1}.       }
							\end{equation*}
Then $X\in \mathcal{M}^{C_N}$ is  cofibrant if and only if the canonical map
$L_z X\rightarrow X_z$
is a cofibration in $\mathcal{M}$, i.e., if and only if the $\Xb{i}, \Xz{i}$ are cofibrant and the induced morphism $$\Xb{i-1}\vee \Xb{i}\rightarrow \Xz{i}$$ is a cofibration. We will refer to an object $X\in \mathcal{M}^{C_N}$ as a \emph{crowned diagram} due to the crown shape of the diagram $C_N$.
\end{example}

\begin{example}\label{DN}
Let $D_N$ be the poset consisting of elements $\left\{\beta_n,\gamma_n, \zeta_n \colon n\in \mathbb{Z}/N\mathbb{Z}  \right\}$ such that $\beta_n \leq \gamma_n \leq\zeta_n$ and
$\beta_{n} \leq\gamma_{n+1}$ and $\gamma_{n}\leq\zeta_{n+1}$, i.e.,
\begin{equation*}
\xymatrix{\zeta_0  &  \zeta_1  & \ldots & \zeta_{N-1}   \\
\gamma_0 \ar[u] \ar[ur] & \ar[u]  \ar[ur] \gamma_1   & \ar[u] \ldots & \ar[u] \ar[ulll] \gamma_{N-1}\\
   \beta_0 \ar[u] \ar[ur] & \ar[u]  \ar[ur] \beta_1   & \ar[u] \ldots & \ar[u] \ar[ulll] \beta_{N-1}   . }
	\end{equation*}

\end{example}

 \begin{remark}
	In what follows, when we have a direct category $I$ and a model category $\mathcal{M}$, the category of diagrams $\mathcal{M}^I$ will always have the model structure defined in Proposition \ref{modelondiagrams} without further mention. If not, we
	will explicitly say so.
\end{remark}

It follows that for any model category $\mathcal{M}$ and direct category $J$, there is a Quillen adjunction
\[\colim\colon \mathcal{M}^J \rightleftarrows \mathcal{M}\colon \operatorname{const}.    \]
(Note that when we write an adjunction, the top arrow will always denote the left adjoint.)

\begin{defn}\label{hocolimderived}
	The left derived functor of $\colim\colon \mathcal{M}^J\to \mathcal{M} $ is called the \emph{homotopy colimit} and is denoted by
	\[\hocolim\colon \Ho(\mathcal{M}^J)\to \Ho(\mathcal{M}).\]
	If $J=\ulcorner$, then the homotopy colimit is called \emph{homotopy pushout.} A particular example of homotopy pushout is the \emph{homotopy cofiber} which is the homotopy pushout of a diagram of the form
	\[\xymatrix{  X\ar[r]^{f} \ar[d] & Y \\
		\ast           &  }\]
and we write
\begin{equation}\label{homotopycofiber}
\hocofib(f):=\hocolim(*\leftarrow X \stackrel{f}{\to} Y).
\end{equation}
In general, for notational convenience sometimes a homotopy pushout is denoted by
\[\hocolim(Z \leftarrow X\rightarrow Y):= Z\coprod^h_XY.\]
\end{defn}

\subsubsection{Homotopy Colimits in Simplicial Model Categories}
In Definition \ref{hocolimderived} we recalled the definition of the homotopy colimit as a derived functor. Here, we will present an alternative construction via simplicial techniques. After introducing some definitions we briefly explain how this method provides a good theory of homotopy colimits, see also \cite[Chapters 4,5]{Riehl} and \cite[Section 7]{Shulman}.

Let $\mathcal{M}$ be a model category and consider the category of simplicial objects $s\mathcal{M}=\mathcal{M}^{\Delta^{\opp}}$. We consider $s\mathcal{M}$ as a simplicial category with tensors defined objectwise, i.e., for $K\in s\mathrm{Set}$ and $X\in s\mathcal{M}$ we have
\[(K\otimes X)_n= K\otimes X_n.  \]

Now, let $\mathcal{M}$ be a simplicial model category. Given a simplicial object $X\in s\mathcal{M}$ we can construct an object in $\mathcal{M}$ via
\emph{geometric realization}, see \cite[Definition 18.6.2]{Hir1}.
\begin{defn}[Geometric Realization]\label{realization}
	Let $X\in \mathcal{M}^{\Delta^{\opp}}$. \emph{The geometric realization} of $X$, denoted as $|X|$ is defined as the coequalizer
	\begin{equation*}
		\operatorname{coeq}\left(\coprod_{\sigma\colon [n]\rightarrow [k]\in \Delta} \Delta^k \otimes X_n   \rightrightarrows \coprod_{[n]\in \Delta}\Delta^n \otimes  X_n  \right).
	\end{equation*}
\end{defn}
This is an example of a functor tensor product (coend). In this case, the geometric realization is the functor tensor product of $X\colon \Delta^{\opp}\to \mathcal{M}$ and the
functor $\Delta^{\bullet}\colon \Delta\rightarrow s\mathrm{Set}, [n]\mapsto \Delta^n.$ In other words, the realization $|X|$ is the object
\[\Delta^{\bullet}\otimes_{\Delta^{\mathrm{op}}}X= \int^{n} \Delta^n \otimes X_n .\]

The following theorem is the cornerstone of our exposition of homotopy colimits using geometric realizations, see \cite[VII 3.6]{GJ}, \cite[18.4.11]{Hir1} and \cite[Corollary 14.3.10]{Riehl}. For details for the Reedy model structure on $s\mathcal{M}$, see \cite[Definition 2.1]{GJ}.
\begin{thm}\label{realisquillen}
	If $\mathcal{M}$ is a simplicial model category, then
	\[ \left|-\right| \colon \mathcal{M}^{\Delta^{\mathrm{op}}} \to \mathcal{M} \]
	is a left Quillen functor with respect to the Reedy model structure. In particular, $\left|-\right|$ sends Reedy
	cofibrant simplicial objects to cofibrant objects and preserves objectwise weak equivalences
	between them.
\end{thm}
At this level of generality, this is the strongest result possible. It is not true that geometric realization preserves all objectwise weak equivalences. However, the above will suffice for our purposes. We can now start to work our way to the homotopy colimit of a diagram $X\in \mathcal{M}^J$ in a simplicial model category $\mathcal{M}$.

Our first definition towards this goal is the \emph{simplicial replacement functor}. That is to say, given any diagram $F\colon I\rightarrow \mathcal{M}$ we can replace it with simplicial object in $\mathcal{M}$ with good
properties.
\begin{defn}[Simplicial replacement]\label{simprep}
	Let $I$ be a small category and consider a diagram $X\in\mathcal{M}^I$. The \emph{simplicial replacement} of $X$ is the simplicial object in $\mathcal{M}$, denoted $\srep X$ or $X^{\Delta}$, given in simplicial degree $[n]$ by
	\begin{equation*}
		(\srep X)_n= \displaystyle{\coprod_{(i_0\rightarrow i_1\rightarrow \ldots \rightarrow i_n)\in N(I)_n}}X_{i_0}.
	\end{equation*}
\end{defn}
The coproduct is indexed over the set of $n$-chains
\[\sigma=[i_0\rightarrow i_1\rightarrow \ldots \to i_n] \]
over the nerve of $I$.
If $0\leq k<n$, then
\[d_k\colon (\srep X)_{n}\rightarrow (\srep X)_{n-1}\] maps the term $X_{i_n}$ indexed on $\sigma$ to the term $X_{i_n}$ indexed on
\[\sigma(k)=[i_0\to i_1\to i_{k-1}\to i_{k+1}\to \ldots \to i_n]\]
via the identity, while for $k=n$, the map $d_n$ sends the term $X_{i_n}$ to $X_{i_{n-1}}$ indexed on
\[\sigma(n)=[i_0 \rightarrow i_1\rightarrow \ldots \rightarrow i_{n-1}]\] via the induced map
$X(i_n\rightarrow i_{n-1})$. The degeneracy maps
\[
s_j\colon (\srep X)_n\rightarrow (\srep X)_{n+1}, 0\leq j\leq n
\]
are easier to define. Each $s_j$ sends the summand $X_{i_n}$ corresponding to the summand
\[ [i_0 \rightarrow i_1\rightarrow \ldots \rightarrow i_n] \]to the identical summand $X_{i_n}$ corresponding to the chain in which one has inserted the identity map $i_j\rightarrow i_j$.

In other words, the simplicial replacement is the following simplicial object
\begin{equation*}
	\xymatrix{ \displaystyle{\coprod_{i_0}} X_{i_0}  &  \ar@<.5ex>[l] \ar@<-.5ex>[l]  \displaystyle{\coprod_{i_0\rightarrow i_1}} X_{i_0}  & \ar@<1ex>[l] \ar[l] \ar@<-1ex>[l]   \displaystyle{\coprod_{i_0
				\rightarrow i_1 \rightarrow i_2}} X_{i_0} \cdots  }
\end{equation*}
where degeneracy maps are omitted. Usually this is called the \emph{simplicial bar construction} or \emph{Bousfield-Kan construction} and is denoted by $B(\ast,I,X)$.

\begin{remark}
	The colimit of a diagram $X \in \mathcal{M}^{I}$, if it exists, agrees with the colimit of $\srep(X)\in s\mathcal{M}.$ Indeed, consider the colimit of the diagram $\srep(X)$ as the coequilizer
	\[\coprod_{i}X_i \leftleftarrows \coprod_{j\leftarrow i}X_i,   \]
	but this is precisely the colimit of $X$. Therefore in this case, $\srep(X)$ has the augmentation
	\[\srep(F)\rightarrow \colim_{I}F   ,\]
	where we regard the object $\colim_{I} F$ as a constant simplicial object.
\end{remark}
We therefore reach the following result.
\begin{lemma}
	Given a diagram $X\in \mathcal{M}^I$ and its simplicial replacement $\srep(X)\in \mathcal{M}^{\Delta^{\opp}}$, there is a canonical isomorphism
	\[\colim_{I} X \cong \colim_{\Delta^{\mathrm{op}}}\left(\srep(X)\right).   \]
\end{lemma}
The proof can be found in \cite[Lemma 4.4.2]{Riehl}. The following lemma will also be of importance, see \cite[Lemma 5.1.2]{Riehl}, \cite[Lemma 8.7]{Shulman}.
\begin{lemma}\label{objectwisecofibrantreedy}
	Let $I$ be a small category and let $\mathcal{M}$ be a simplicial model category. If $F\in \mathcal{M}^I$ is objectwise cofibrant, then $\srep(F) \in s\mathcal{M}$ is Reedy cofibrant.
\end{lemma}
The above Lemma and Theorem \ref{realisquillen} essentially mean that geomemetric realization of objectwise cofibrant diagrams is a good model for calculating homotopy colimits. For details see \cite[Theorem 6.6.1]{Riehl}.

\subsection{Homotopy Kan Extensions}
In this subsection we will recall some facts concerning homotopy Kan extensions and introduce \emph{homotopy Kan extensions}, the homotopy invariant version of ordinary Kan extensions, see e.g. \cite[Section 11.9]{Hir1}.

Now, let $\mathcal{M}$ be a model category. Furthermore, let $I, J$ be direct categories and $f\colon I\rightarrow J$ a functor. The pullback functor
\[f^*\colon \mathcal{M}^{J}\rightarrow \mathcal{M}^{I}  \]
preserves weak equivalences, so it defines a functor between homotopy categories, which we denote by the same letter. Recall the functor $\Lan_f=f_!$, left adjoint to $f^*$.
We have the following proposition.
\begin{prop}\label{leftkanrightkanquillenpair}
	Let $\mathcal{M}$ be a model category and let $f\colon I\rightarrow J$ be a map of direct categories. Then the adjunction
	\[ f_!\colon \mathcal{M}^{I}\rightleftarrows \mathcal{M}^{J}\colon f^*   \]
	is a Quillen adjunction.
\end{prop}
\begin{proof}
	This follows from the definition of the projective model structure, see Proposition \ref{modelondiagrams}. The functor $f^*$ is a right adjoint by construction. It preserves weak equivalences and projective fibrations, which means that $f^*$ is also a right Quillen functor.
\end{proof}
Thus, the derived functors of the adjoint pair $(f_!,f^*)$ define an adjoint pair on the level of homotopy categories
\[  \mathbb{L}\mathrm{Lan}_f:= \mathbb{L} f_! \colon \Ho(\mathcal{M}^I) \rightleftarrows  \Ho(\mathcal{M}^J)\colon f^*.    \]
A useful fact about homotopy Kan extensions is that they does not change the homotopy colimit of a diagram, which is similar to the properties of ordinary Kan extensions.
\begin{cor}\label{landoesnotchangecolimit}
	Let $\mathcal{M}$ be a model category, $f\colon I\rightarrow J$ a map of direct categories and let $X\in \mathcal{M}^{I}$. Then there is a canonical isomorphism in $\Ho(\mathcal{M})$
	\[\hocolim_{J} \mathbb{L} f_!X \cong \hocolim_{I}X.\]
\end{cor}
\begin{proof}
	This follows from the fact that for every pair of left Quillen functors $F$ and $G$ there is a natural isomorphism
	\[\mathbb{L} F \circ \mathbb{L} G \rightarrow \mathbb{L} (F\circ G),\]
	see \cite[Theorem 1.37]{Hovey}, together with the natural isomorphism
	\[\colim_{J}\Lan_fX\cong \colim_{I}X.\]
\end{proof}

To conclude this section, we will shortly discuss how one calculates the values and edges of a homotopy Kan extension. It is a fact that left homotopy Kan extensions can be calculated pointwise, like
in ordinary category theory, see \cite[Proposition 1.4]{CI09}. Recall the notion of a \emph{slice category} for given posets $C$ and $D$ and a functor $f\colon C\rightarrow D$, namely
\begin{equation}\label{sliceposets}
f/d= \left\{c\in C \colon f_c\leq d\right\}
\end{equation}
for $d\in D$.
\begin{prop}\label{holanformula}
	Let $f\colon I\to J$ be a map of posets  and let $X$ be any functor $I\rightarrow \mathcal{M}$. For any object $j\in J$ there is a canonical isomorphism in $\Ho(\mathcal{M})$
	\[ (\mathbb{L} f_!F)_j \cong \hocolim\left( f/j \xrightarrow{\pi}  I \xrightarrow{X} \mathcal{M} \right) .\]
\end{prop}

\subsection{Monoidal Model Categories}

Let us now turn to some results concerning monoidal model categories,
see e.g. \cite[Definition 4.2.6]{Hovey}, \cite[Definition 6.1.9]{BR} or \cite[Definition 11.4.6]{Riehl} for definitions.

\begin{remark}
	Let $(\mathcal{C},\wedge)$ be a closed symmetric monoidal category and let $f\colon X_0\rightarrow X_1$ and $g\colon Y_0\rightarrow Y_1$ be maps in $\mathcal{C}$. The pushout-product map is the universal arrow
	\[f\mathbin\square g\colon X_0\wedge Y_1\coprod_{X_0\wedge Y_0} X_1\otimes Y_0\rightarrow X_1\wedge Y_1.  \]

	Another way to see the pushout-product map is as a left Kan extension. Again, consider a cocomplete, (closed) monoidal category $(\mathcal{C},\wedge)$. Let $[1]=\left\{0\leq 1\right\}$ and $\square=[1]\times [1]$. Furthermore, consider  the following map of posets.
	\begin{align*}
		\mathrm{pr}\colon \square &\rightarrow [1] \\
		(0,0), (1,0), (0,1)&\mapsto 0 \\
		(1,1)        &\mapsto 1
	\end{align*}
	Now let $f$ and $g$ be morphisms in $\mathcal{C}$. We can consider them as as objects in the arrow category $f,g\in \mathcal{C}^{[1]}$. The functors $f\colon[1]\rightarrow \mathcal{C}$ and $g\colon [1]\rightarrow \mathcal{C}$ give rise to their objectwise tensor product $f\wedge g$, see Definition \ref{objectwisesmash}. That is, the functor
	\[f\wedge g\colon \square \rightarrow \mathcal{C} \]
	is the following commutative diagram.
	\[\xymatrix{   X_0\wedge Y_0  \ar[r] \ar[d]&  X_1\wedge Y_0  \ar[d]    \\
		X_0\wedge Y_1 \ar[r]  & X_1\wedge Y_0  .}\]
	Note that the slice category $\mathrm{pr}/0$ is the poset $\ulcorner$ and the slice $\mathrm{pr}/1$ is the whole square. It follows that the map
	\[\colim_{\ulcorner}\left(f\wedge g\right)\to \colim_{\square} \left(f\wedge g\right)    \]
	induced by the inclusion $\ulcorner \hookrightarrow \square$ is exactly the map
	\[f\mathbin\square g\colon X_0\wedge Y_1 \coprod_{X_0\wedge Y_0} X_1\wedge Y_1\rightarrow X_1\wedge Y_1.\]
	So indeed, $(\Lan_{\mathrm{pr}}(f\wedge g))= \mathrm{pr}_!(f\wedge g)= f\mathbin\square g$.
\end{remark}

	\[ (X\otimes Y)_n =\bigoplus_{i+j=n}X_i\otimes_K Y_j, \ d(x\otimes y)=dx \otimes y + (-1)^{|x|}dy. \]

\subsubsection{Smash Products for Diagram Categories}
A monoidal category $(\mathcal{M},\wedge)$ gives rise to more monoidal categories by consider diagrams from small categories into $\mathcal{M}$. In our next example we discuss how this is related to model category theory.
\begin{example}\label{diagramsismonoidal}
	Let $(\mathcal{M},\wedge)$ be a monoidal model category and let $J$ be a direct category. Consider the diagram category $\mathcal{M}^J$ with the model structure \ref{modelondiagrams}. The category $\mathcal{M}^J$ inherits a monoidal structure
	\[\mathcal{M}^J\times \mathcal{M}^J\to \mathcal{M}^J, \ \ (X,Y) \mapsto X\wedge Y, \]
	where $X\wedge Y$ is the diagram $j\mapsto X_j\wedge Y_j$. By \cite[Proposition 4.15]{Barwick} $(\mathcal{M}^J,\wedge)$ is a monoidal model category.
\end{example}

In the following, given $I$ and $J$ direct categories then the degree of an element $(i,j)\in I\times J
$ is defined to be the sum of degrees of $i$ and $j$.

\begin{defn}\label{objectwisesmash}
Let $(\mathcal{M},\wedge)$ be a monoidal category and let $I$ and $J$ be direct categories. We define the external product, which is the bifunctor
\[-\wedge-\colon \mathcal{M}^{I} \times \mathcal{M}^{J}\rightarrow \mathcal{M}^{I\times J}\]
sending $(X,Y)$ to the diagram
\[X\wedge Y\colon I\times J\rightarrow \mathcal{M}, \ \ (i,j)\mapsto X_i\wedge Y_j.\]
\end{defn}
The external product is part of a two-variable adjunction. Since we do not use the extra structure will not define the other two functors in the two-variable adjunction. We have the following proposition.
\begin{prop}\label{totalderivedobjectwise}
Let $(\mathcal{M},\wedge)$ be a monoidal model category. Then, the bifunctor
\[ -\wedge-\colon\mathcal{M}^{I}\times \mathcal{M}^{J}\rightarrow \mathcal{M}^{I\times J}  \]
is a Quillen bifunctor, that is to say, it has a total left derived functor
\[ -\wedge^{\mathbb{L}}-\colon \Ho(\mathcal{M}^{I})\times \Ho(\mathcal{M}^{J})\rightarrow \Ho(\mathcal{M}^{I\times J}).  \]
\end{prop}
In fact, the above follows from the more general statement that
$I$ and $J$ are Reedy categories, see  \cite[Proposition 4.15]{Barwick}.  Alternatively, suppose that the \emph{injective} model structures $\mathcal{M}_{\mathrm{inj}}^{I}, \mathcal{M}_{\mathrm{inj}}^{J}$ and  $\mathcal{M}_{\mathrm{inj}}^{I\times J}$ exist, e.g., if
$\mathcal{M}$ is a combinatorial model category. Since in the injective model structures the cofibrations are the objectwise cofibrations, the above proposition follows directly. The universal property of $-\wedge^{\mathbb{L}}-$ implies that up to canonical isomorphism both constructions give the same result.

We have the following  corollary.
\begin{cor}\label{hocolimIJ}
There is a functor isomorphism
\[\hocolim_{I\times J} (X\wedge^{\mathbb{L}}Y)\cong (\hocolim_{I}X)\wedge^{\mathbb{L}} (\hocolim_{J}Y).   \]
\end{cor}
\begin{proof}
From Proposition \ref{totalderivedobjectwise}, it follows that the external product preserves diagram cofibrant objects and preserves trivial diagram cofibrations between diagram cofibrant objects. The result now follows from the strict formula
\[ \colim_{I\times J}(X\wedge Y)\cong (\colim_I X) \wedge (\colim_JY).  \]
\end{proof}

\begin{cor}\label{conemonoidal}
Let $(\mathcal{M},\wedge)$ be a pointed symmetric monoidal model category, and let $f\colon X\rightarrow Y$ and $g\colon U\rightarrow V$ be morphisms in $\mathcal{M}$. There is a canonical isomorphism
\[\hocofib(f)\wedge^{\mathbb{L}} \hocofib(g)\cong \hocofib(f\mathbin\square^{\mathbb{L}} g). \]
\end{cor}
We will provide a proof since it is important to our exposition. A different proof can be found in \cite[Proposition 4.1]{hovey2014smith}.

\begin{proof}
We may assume that $X,Y, U, V$ are cofibrant in $\mathcal{M}$. By definition,
\[\hocofib(f)\wedge^{\mathbb{L}} \hocofib(g)= \hocolim(*\leftarrow X\xrightarrow{f} Y) \wedge^{\mathbb{L}} \hocolim(*\leftarrow U\xrightarrow{g} V)  .\]
By Corollary \ref{hocolimIJ}, this is isomorphic to
\begin{equation}\label{double}
	\hocolim
	\left(
	\begin{tikzcd}
		\ast & \arrow[l] X\wedge V \arrow[r] & Y\wedge V \\
		\ast \arrow[u] \arrow[d]   &\arrow[l]  X\wedge U \arrow[d] \arrow[r] \arrow[u]   & Y\wedge U \arrow[u] \arrow[d] \\
		\ast		 & \arrow[l]   \ast \arrow[r]       & \ast
	\end{tikzcd}
	\right).
\end{equation}
We denote the above underlying $\ulcorner\times \ulcorner$-diagram by $\mathcal{Z}$. We define the following map of posets
\begin{align*}
	\mathrm{pr}\colon \ulcorner\times \ulcorner& \to \ulcorner \\
	\left((1,0), (1,0)\right)           &\mapsto (1,0) \\
	\left((0,0), (0,0)\right),    \left((0,0), (1,0)\right),   \left((1,0), (0,0)\right) &\mapsto (0,0)\\
	\text{else}                                   &\mapsto (0,1),
\end{align*}
and consider the homotopy left Kan extension
\begin{equation}\label{holanleftcone}
	\mathbb{L}\mathrm{pr}_!\colon \Ho(\mathcal{M}^{\ulcorner\times \ulcorner})\to \Ho(\mathcal{M}^{\ulcorner}).
\end{equation}
Applying the formula Proposition \ref{holanformula} to the diagram $\mathcal{Z}$ we obtain
$(\mathbb{L}\mathrm{pr}_!\mathcal{Z})_{(1,0)}= Y\wedge V $. Next, for the object $(0,0)$ the slice category $\mathrm{pr}/(0,0)$ is just the poset $\ulcorner$ and we have
\[
(\mathbb{L}\mathrm{pr}_!\mathcal{Z})_{(0,0)}=
\hocolim\left(
\begin{tikzcd}
	X\wedge U \arrow[d,"1\wedge g "] \arrow[r,"f\wedge 1"] & Y\wedge U \\
	X\wedge V                          &
\end{tikzcd}
\right) \]
and finally, $(\mathbb{L}\mathrm{pr}_!\mathcal{Z})_{(0,1)}\cong \ast$. Note that
\[(\mathbb{L}\mathrm{pr}_!\mathcal{Z})_{(0,0)} \to (\mathbb{L}\mathrm{pr}_!\mathcal{Z})_{(1,0)}= f\mathbin\square^{\mathbb{L}} g.\] Hence, the homotopy left Kan extension \eqref{holanleftcone} of the underlying diagram \eqref{double} is the following $\ulcorner$-diagram.
\[
\begin{tikzcd}
	\displaystyle{X\wedge V \coprod^h_{X\wedge U}} Y\wedge U \arrow[d] \arrow[r] & Y\wedge V \\
	\ast                                            &
\end{tikzcd}\]
It follows directly that the homotopy colimit of the above diagram is
\[\hocofib(f\mathbin\square^{\mathbb{L}} g).\]
\end{proof}

\subsubsection{Stable Model Categories and Triangulated Categories}
Recall that the homotopy category $\Ho(\mathcal{M})$ of a pointed model category $\mathcal{M}$ supports a \emph{suspension} functor
\[\Sigma\colon \Ho(\mathcal{M})\rightarrow \Ho(\mathcal{M})  \]
given by
\[\Sigma X:= \hocolim(\ast \leftarrow X \rightarrow \ast),  \]
with a right adjoint functor
\[\Omega\colon \Ho(\mathcal{M})\rightarrow \Ho(\mathcal{M})\]
given by
\[\Omega X= \holim(*\rightarrow X \leftarrow *   ).\]

\begin{defn}\label{stablemodelcat}
	A \emph{stable model category} is a pointed model category for which the functors $\Sigma$ and $\Omega$ are inverse equivalences.
\end{defn}

\begin{example}
The prototype example of a stable model category is the category of spectra, $\mathrm{Sp}$. There are of course many variants of spectra, but as our result does not depend on a choice of suitable model category, we will not specify this further.
\end{example}

\begin{example}\label{twistedcomplexes}
Let $\mathcal{A}$ be a graded abelian category with enough projectives, and let $\mathrm{C}^{([1],1)}(\cA)$ denote the category of \emph{twisted} $([1],1)$-chain complexes or \emph{differential} objects. An object of $\mathrm{C}^{([1],1)}(\cA)$ is a pair $(M_*,d)$ with $M_*\in \mathcal{A}$ together with a morphism
(the differential)
\[d\colon M_*\rightarrow M_*[1],\]
such that $d[1]\circ d=0$.
The category $\mathrm{C}^{([1],1)}(\cA)$ admits a stable model structure, the \emph{projective model structure}, where the weak equivalences are the homology isomorphisms and the fibrations are the surjections. We let $\mathrm{D}^{([1],1)}(\cA) $ denote the homotopy
category of $\mathrm{C}^{([1],1)}(\cA)$. For an object $(M_*,d)\in \mathrm{C}^{([1],1)}(\cA)$ we define the homology $H(M)= \ker d / \operatorname{im} d  $, and so we have the homology functor
\[H_*\colon \mathrm{D}^{([1],1)}(\cA) \rightarrow \mathcal{A}.\]
In the following we will let $(\mathcal{A},\otimes,\mathbf{1})$ be an abelian symmetric monoidal category with enough projectives. In this case $(\mathrm{C}^{([1],1)}(\cA),\otimes)$ is a monoidal stable model category. Finally, we mention the homology functor $H_*\colon \mathrm{D}^{([1],1)}(\cA) \rightarrow \mathcal{A}$ is a lax symmetric monoidal functor via the K\"unneth morphism.

\bigskip
We note that our methods throughout this paper also work in a setting where $\mathcal{A}$ does not have enough projectives. In the case of $\mathcal{A}=E(1)_*E(1)\mbox{-comod}$, $\mathrm{C}^{([1],1)}(\cA)$ can be equipped with a model structure where the cofibrant twisted chain complexes are degreewise projective as $E(1)_*$-modules. This \emph{relative projective model structure} is also monoidal, see \cite[Section 5]{BR}.
\end{example}

If $\mathcal{M}$ is a pointed simplicial model category, then the suspension functor
\begin{equation*}
	\Sigma\colon \Ho(\mathcal{M})\rightarrow \Ho(\mathcal{M})
\end{equation*}
admits a simple description. Indeed, by the simplicial model category axioms, the functor
\begin{equation*}
	S^1\wedge -\colon \mathcal{M}\rightarrow \mathcal{M}
\end{equation*}
defined using the tensor with simplicial sets
is a left Quillen functor. Then, $\Sigma$ can be defined as the left derived functor of $S^1\wedge -$, i.e.,
\[\Sigma X:= S^1\wedge^{\mathbb{L}} X= S^1\wedge QX,\]
see \cite[6.1.1]{Hovey}. Note that if $\mathcal{M}$ is stable, then the homotopy category $\Ho(\mathcal{M})$ is a triangulated category with $\Sigma$ a shift functor, see \cite[Theorem 4.2.1]{BR} and \cite[7.1.6]{Hovey}.

In a simplicial model category $\mathcal{M}$ we can choose a particular \emph{model} for the homotopy cofiber \eqref{homotopycofiber} of a morphism, which will help with computations. It is called the \emph{mapping cone} construction.

\begin{defn}\label{mappingcone}
Suppose $\mathcal{M}$ is a simplicial stable model category and $f\colon X\rightarrow Y$ a morphism in $\mathcal{M}_{\mathrm{cof}}$. Let $\cone(f)$ be the pushout of $f$
along the canonical morphism
\[\operatorname{incl}\otimes 1\colon S^0\otimes X\rightarrow (I,0)\otimes X=CX,\]
that is, $\cone(f)$ comes with the pushout square
\[
\begin{tikzcd}
	X \arrow[r,"f"] \arrow{d}[swap]{\operatorname{incl}\otimes 1} &  Y \arrow{d}\\
	CX \arrow[r]                            & \cone(f).
\end{tikzcd}   \]
Here $CX=(I,0) \otimes X$ denotes the \emph{cone} of $X$. The natural map
\[\pi\colon (I,0)\otimes X\rightarrow S^1\otimes X \] and the trivial map \[\ast\colon Y\rightarrow S^1\otimes X\] induce, using the universal property of pushput, a map
$\partial\colon \cone(f)\rightarrow S^1\otimes X.$
\end{defn}
The fact that the mapping cone construction represents the homotopy cofiber and further details can be found in \cite{nlab3}.

\begin{defn}\label{elementary}
Let $\mathcal{M}$ be a simplicial stable model category and $f\colon X\rightarrow Y$ a morphism in $\mathcal{M}_{\mathrm{cof}}$. The \emph{elementary triangle} associated to $f$ is the triangle
\begin{equation*}
	X \xrightarrow{f} Y \xrightarrow{\iota} \cone(f) \xrightarrow{\partial} S^1\otimes X.
\end{equation*}
A triangle $(f,g,h)$
\begin{equation*}
	A \xrightarrow{f} B \xrightarrow{g} C \xrightarrow{h} \Sigma A
\end{equation*}
in $\Ho(\mathcal{M})$ is called \emph{distinguished} if it is isomorphic to an elementary one.
\end{defn}

\subsection{Homology of a Category with Coefficients in a Functor}
In this subsection we will introduce one our main tools, namely homology of a category with coefficients in a functor. It is a particular case of functor homology that assigns the groups
$\operatorname{Tor}^{I}_*(F,G)$ to functors
$F\colon I\rightarrow \mathcal{A}$ and $G\colon I^{\mathrm{op}}\rightarrow \mathcal{A}$ with $\mathcal{A}$ an abelian category. Since we do not need such generality, we will introduce it in a more down-to-earth way using simplicial techniques that dates back to Quillen. Traditional references include
\cite{OB} and \cite{OB2}, more contemporary references include \cite{NTG3} and \cite[Chapters 15, 16]{RI20}.

 Before we define the homology of a category with coefficients in a functor we will define the associated complex of a simplicial object
in an abelian category.
\begin{defn}\label{associatedcomplex}
	Let $D\in s\mathcal{A}$ be a simplicial object in $\mathcal{A}$. We define the \emph{associated complex} $(C_{\bullet}(U),\partial)\in \Ch_{\geq 0}(\mathcal{A})$ by
	\begin{displaymath}
		C_n(D)=D_n, \ \ \ \  \partial_n=\sum^n_{i=0}(-1)^nd_i\colon C_n(D)\rightarrow C_{n-1}(D).
	\end{displaymath}
Note that the simplicial identities imply $\partial^2 = 0$, so $C_{\bullet}(D)$ is indeed
a chain complex. Moreover, this evidently defines a functor $C\colon s\mathcal{A}\rightarrow \Ch_{\geq 0}(\mathcal{A})$. In other words, the associated complex to a simplicial object $D\in s\mathcal{A}$ is the following chain complex.
\begin{equation}
		\label{associated}
		D_0 \xleftarrow{d_0-d_1} D_1 \xleftarrow{d_0-d_1+d_2}  D_2 \leftarrow \ldots.
	\end{equation}
\end{defn}
\begin{defn}
	Let $I$ be a small category and consider a diagram $D\colon I\rightarrow \mathcal{A}$. The \emph{homology of the category} $I$ \emph{with coefficients in the functor} $D$ is defined as the homology of the complex $C_{\bullet}(D)$, i.e., the homology of the
	associated complex of the simplicial replacement $\srep(D)\in s\mathcal{A}$.
\end{defn}
So, unwinding the definition, we start by first taking the simplicial replacement $\srep(D)\colon \Delta^{\mathrm{op}}\rightarrow \mathcal{A}$  of $D$, see Definition \ref{simprep}, that is, the diagram

\begin{equation*}
	\xymatrix{ \displaystyle{\bigoplus_{i_0}} D_{i_0}  &  \ar@<.5ex>[l] \ar@<-.5ex>[l]  \displaystyle{\bigoplus_{i_0\rightarrow i_1}} D_{i_0}  & \ar@<1ex>[l] \ar[l] \ar@<-1ex>[l]   \displaystyle{\bigoplus_
			{i_0\rightarrow i_1 \rightarrow i_2}} D_{i_0} \cdots  .}
\end{equation*}
Then, we consider the associated chain complex \eqref{associated} $C_{\bullet}(D)$. Then we defined $H_p(I;D)$ to be the
$p$th homology group of the chain complex $C_{\bullet}(D)$.

Now we will investigate how these constructions help us calculate homotopy colimits. First, recall the following.
\begin{defn}
	We call a functor $F_*\colon \Ho(\mathcal{M})\rightarrow \mathcal{A}$ \emph{homological} if it satisfies the following conditions.
	\begin{enumerate}[(i)]
		\item $F_*$ is a graded functor, that is to say, it commutes with suspensions, so there are natural equivalences
		\[ F_*(\Sigma X)\cong F_*(X)[1]:= F_{*-1}(X) \]
		which are part of the structure.
		\item $F_*$ is additive, i.e., it commutes with arbitrary coproducts.
		\item $F_* $ converts distinguished triangles into long exact sequences.
		\item Furthermore, if $(\mathcal{M},\wedge)$ is a monoidal model category and $(\mathcal{A},\otimes)$ is a monoidal abelian category, we require that  $F_*$ is lax symmetric monoidal, that is, there is a natural K\"unneth morphism
		\[\kappa_{X,Y}\colon F_*X\otimes F_*Y \rightarrow F_*(X\wedge^{\mathbb{L}} Y).   \]
	\end{enumerate}
\end{defn}
 Now let $\mathcal{M}$ be a  simplicial stable model category, let $I$ be a direct category and let $X\in \Ho(\mathcal{M}^I)$. Further, let
 \[F_*\colon \Ho(\mathcal{M})\rightarrow \mathcal{A}\]
 be a homological functor into an (graded) abelian category. Then there is a spectral sequence
 \begin{equation}\label{sshomotopycolimit}
E^2_{pq}=H_p(I;F_qX) \Rightarrow F_{p+q}(\hocolim_{J} X),
\end{equation}
see \cite[16.3.1]{RI20}. The construction of the spectral sequence \eqref{sshomotopycolimit} arises from the skeletal filtration of a simplicial object. This spectral sequence will play a central role in our calculations for the monoidal properties of $\cQ$
in Section \ref{sec:monoidalQ}.

\subsection{Franke's Realization Functor}\label{Frankefunctor}
In this subsection we will recall the construction of Franke's equivalence
\[\mathcal{R}\colon \mathrm{D}^{([1],1)}(\cA) \rightarrow \Ho(\mathcal{M}) .\]
For a detailed exposition we refer to \cite[Section 3.3]{PA12} and \cite{Ro}.
Recall that $C_N$ is the crown-shaped poset from Example \ref{CN}, and that the category $\mathrm{D}^{([1],1)}(\cA) $ above is the derived category of twisted chain complexes from Example \ref{twistedcomplexes}, where $\mathcal{A}$ is a graded symmetric monoidal hereditary abelian category with enough projectives, $\mathcal{M}$ is a simplicial stable model category, and $F: \Ho(\mathcal{M}) \longrightarrow \mathcal{A}$ is a homological functor. Also, we assume $\mathcal{A}$ splits into shifted copies of another abelian category $\mathcal{B}$, $$\mathcal{A} = \bigoplus\limits_{i=0}^{N-1} \mathcal{B}[i]$$ for $N>1$. Under these assumptions, $\mathcal{R}$ exists and is an equivalence.

 For an object $X\in \mathcal{M}^{C_N}$ we the structure morphisms of $X$ as follows.
\[l_i\colon \Xb{i}\rightarrow \Xz{i}, \ \ k_i\colon \Xb{i-1}\rightarrow \Xz{i}, \ \ i\in\mathbb{Z}/N\mathbb{Z}  \]
Furthermore, let
\begin{align*} Z^{(i)}(X)= F_*(\Xz{i}), \ \  B^{(i)}(X)=F_*(\Xb{i}), \ \ C^{(i)}(X)=F_*(\cone(k_i)), \\
	\lambda^{(i)}\colon=F_* l_i\colon  B^{(i)}(X)\longrightarrow Z^{(i)}(X), i\in \mathbb{Z}/N\mathbb{Z},
	\end{align*}
where $\cone(k_i) $ denotes the cone construction from Definition \ref{mappingcone}. We will now list some additional assumptions that we need in order to assemble the $C^{(i)}$ into a chain complex $C_*$.

\begin{defn}\label{def:L}
Consider the full subcategory $\mathcal{L}$ of $\Ho(\mathcal{M}^{C_N})$ consisting of those diagrams $X\in \Ho(\mathcal{M}^{C_N})$ which satisfy the following conditions.
\begin{enumerate}[(i)]
\item The objects $\Xb{i}$ and $\Xz{i}$ are cofibrant in $\mathcal{M}$ for any $i\in \mathbb{Z}/N\mathbb{Z}$.
\item The objects $F_*(\Xb{i})$ and $F_*(\Xz{i})$ are contained in $\mathcal{B}[i]$ for any $i\in \mathbb{Z}/N\mathbb{Z}$.
\item The map $\lambda^{(i)}\colon F_*(\Xb{i})\to F_*(\Xz{i})$ is a monomorphism for any $i\in \mathbb{Z}/N\mathbb{Z}$.
\end{enumerate}
\end{defn}
Next we construct a functor
\[\cQ\colon \mathcal{L}\rightarrow \mathrm{C}^{([1],1)}(\cA).\]
Let $X$ be an object of $\mathcal{L}$. As the functor
\[F_*\colon \Ho(\mathcal{M})\rightarrow \mathcal{A}  \]
is homological, the distinguished triangles
\[ \Xb{i-1} \xrightarrow{k_i} \Xz{i} \rightarrow \cone(k_i)\rightarrow \Sigma\Xb{i-1} \]
induce long exact sequences
\[ \ldots \rightarrow B^{(i-1)}(X)\rightarrow Z^{(i)}(X)\xrightarrow{\iota^{(i)}} C^{(i)}(X) \xrightarrow{\rho^{(i)}} B^{(i-1)}(X)[1]\rightarrow  Z^{(i)}(X)[1] \rightarrow \ldots   .\]
Note that $B^{(i-1)}(X)\in \mathcal{B}[i-1]$ and $Z^{(i)}(X)\in \mathcal{B}[i]$ for all $i\in\mathbb{Z}/N\mathbb{Z}$, since $X\in \mathcal{L}$. Therefore, the morphisms $B^{(i-1)}(X)\to Z^{(i)}(X)$ and
$B^{(i-1)}(X)[1]\to  Z^{(i)}(X)[1]$ are zero.
As a consequence, for any $i\in \mathbb{Z}/N\mathbb{Z}$ we actually obtain short exact sequence in $\mathcal{A}$
\begin{equation}\label{sexci}
0\rightarrow  Z^{(i)}(X) \xrightarrow{\iota^{(i)}} C^{(i)}(X) \xrightarrow{\rho^{(i)}} B^{(i-1)}(X)[1]\rightarrow 0.
\end{equation}
Now consider the following objects in $\mathcal{A}$.
\begin{align*}
C_*(X)&=C^{(0)}(X)\oplus  C^{(1)}(X) \oplus \ldots \oplus C^{(N-1)}(X)\\
Z_*(X)&=Z^{(0)}(X)\oplus  Z^{(1)}(X) \oplus \ldots \oplus Z^{(N-1)}(X)\\
B_*(X)&=B^{(0)}(X)\oplus  B^{(1)}(X) \oplus \ldots \oplus B^{(N-1)}(X)
\end{align*}
The morphisms $\lambda^{(i)}, \iota^{(i)}, \rho^{(i)}, i\in\mathbb{Z}/N\mathbb{Z}$, induce morphisms between the direct sums

\begin{align*}
\lambda &\colon B_*(X) \rightarrow Z_*(X), & \lambda &= \lambda^{(0)} \oplus \lambda^{(1)} \oplus \ldots \oplus \lambda^{(N-1)}, \\
  \iota &\colon Z_*(X) \rightarrow C_*(X), &   \iota &=   \iota^{(0)} \oplus   \iota^{(1)} \oplus \ldots \oplus   \iota^{(N-1)}, \\
   \rho &\colon C_*(X) \rightarrow B_*(X)[1], & \rho &=    \rho^{(0)} \oplus    \rho^{(1)} \oplus \ldots \oplus \rho^{(N-1)}.
\end{align*}
After summing up, we get a short exact sequence of objects in $\mathcal{A}$
\begin{equation}\label{sexcstar}
0\rightarrow Z_*(X)\xrightarrow{\iota} C_*(X)\xrightarrow{\rho} B_*(X)[1] \rightarrow 0.
\end{equation}
Splicing this short exact sequence with its shifted copy gives an object in $\mathrm{C}^{([1],1)}(\cA)$. More precisely, define
\[d=\iota[1]\lambda[1]\rho\colon C_*(X)\rightarrow C_*(X)[1].  \]
We have $d^2=0$ by construction and therefore we get a $([1],1)$-twisted complex. We have now arrived at the definition
\[ \cQ\colon \mathcal{L}\rightarrow \mathrm{C}^{([1],1)}(\cA), \ \ \ \cQ(X)= \left(\bigoplus_{i\in \mathbb{Z}/N\mathbb{Z}} F_*(\cone(k_i)),d\right) = (C_*(X),d). \]
It can be shown that $\cQ$ is in fact an equivalence of categories.
The composite
\begin{equation}\label{recfunctor}
\mathrm{C}^{([1],1)}(\cA) \xrightarrow{\cQ^{-1}} \mathcal{L}\xrightarrow{\hocolim} \Ho(\mathcal{M}).
\end{equation}
factors over $\mathrm{D}^{([1],1)}(\cA)  \rightarrow \Ho(\mathcal{M})$, which is Franke's realization functor $\mathcal{R}.$
 It follows from the construction of $\mathcal{R}$ that it commutes with suspensions and that $F_*\circ \mathcal{R}\cong H_*$.

\section{Monoidal Properties of \(\cQ\)}\label{sec:monoidalQ}

In this section, we will examine properties of the bifunctor
\[i^*\mathbb{L}\mathrm{pr}_!(-\wedge^{\mathbb{L}}-)\colon \Ho(\mathcal{M}^{C_N}) \times \Ho(\mathcal{M}^{C_N})\rightarrow \Ho(\mathcal{M}^{C_N})\]
via Theorem \ref{theoremA}, which is one of the main ingredients of the diagram \ref{bigdiagram}.

\subsection{Preliminaries on Crowned Diagrams}

Recall the poset $C_N$ from Example \ref{CN} and the poset $D_N$ from Example \ref{DN}. We will be interested in two functors between these two categories. The first functor is the \emph{projection functor}
\begin{align}
\mathrm{pr}\colon C_N\times C_N&\rightarrow D_N  \label{definitionpr} \\
 (\beta_i,\beta_j) &\mapsto \beta_{i+j}  \nonumber\\
(\zeta_i,\zeta_j) &\mapsto \zeta_{i+j} \nonumber \\
(\zeta_i,\beta_j) &\mapsto \gamma_{i+j} \nonumber\\
(\beta_i,\zeta_j) &\mapsto \gamma_{i+j} \nonumber.
\end{align}
Note, that we really should be writing $\beta_{i (\mathrm{mod} N)}$ and $\gamma_{i+j (\mathrm{mod} N)}$ etc. but we commit a small abuse of notation and avoid this. The other functor that we will be
interested in is the functor
\begin{equation}\label{definitioni}
i\colon C_{N} \rightarrow D_{N}, \ \  \zeta_n\mapsto \zeta_n,\ \  \beta_n\mapsto \gamma_n.\end{equation}
Since weak equivalences in the diagram categories are given objectwise, the functor $i^*\colon \mathcal{M}^{D_N}\rightarrow \mathcal{M}^{C_N}$
preserves weak equivalences.
Thus, it defines a functor on the homotopy categories, which we denote by the same letter, that is,
\[i^*\colon \Ho(\mathcal{M}^{D_N})\rightarrow \Ho(\mathcal{M}^{C_N}).  \]
Next, recall the external smash product for diagrams $X\in \mathcal{M}^{I}$ and $Y\in \mathcal{M}^{J}$ for $I$ and $J$ direct categories from Definition \ref{objectwisesmash}. By
choosing $I=J=C_N$, it follows formally that we have the bifunctor
\begin{equation}\label{CNobjectwisesmash}
-\wedge-\colon \mathcal{M}^{C_N}\times \mathcal{M}^{C_N}\rightarrow \mathcal{M}^{C_N\times C_N}.
\end{equation}
By Proposition \ref{totalderivedobjectwise}, the external product has a total left derived functor
\begin{equation}\label{derivedsmashlone}
-\wedge^{\mathbb{L}}-\colon\Ho(\mathcal{M}^{C_N})\times \Ho(\mathcal{M}^{C_N})\rightarrow \Ho(\mathcal{M}^{C_N\times C_N}).
\end{equation}
Given diagrams $X,Y\in \Ho(\mathcal{M}^{C_N})$, we can define the homotopy left Kan extension of the external smash product
$X\wedge^{\mathbb{L}}Y \in \Ho(\mathcal{M}^{C_N\times C_N})$ along the projection functor $\mathrm{pr}\colon C_N\timesC_N\to D_N$, that is,
\begin{displaymath}
E=\mathbb{L}\mathrm{pr}_!(X\wedge^{\mathbb{L}}Y) \in \Ho(\mathcal{M}^{D_N}).
\end{displaymath}
Now that we have all the necessary ingredients we can finally state the following theorem.

\begin{thm}\label{theoremA}
The bifunctor
\[i^*\mathbb{L}\mathrm{pr}_!(-\wedge^{\mathbb{L}}-)\colon \Ho(\mathcal{M}^{C_N}) \times \Ho(\mathcal{M}^{C_N})\rightarrow \Ho(\mathcal{M}^{C_N})\] satisfies the following. Let $X, Y\in \mathcal{L}$ such that $F_*(\Xa{n}), F_*(\Ya{n})\in \mathcal{A}_{\mathrm{proj}}$ for any $n\in \mathbb{Z}/N\mathbb{Z}$ and any $\alpha\in \left\{\beta,\zeta\right\}$.
Then, $i^*\mathbb{L}\mathrm{pr}_!(X\wedge^{\mathbb{L}}Y) \in \mathcal{L}$, that is to say, we have a bifunctor
\[i^*\mathbb{L}\mathrm{pr}_!(-\wedge^{\mathbb{L}}-)\colon \mathcal{L}\times \mathcal{L}\rightarrow \mathcal{L}.\]
Furthermore, there is a natural isomorphism
\begin{equation*}
\cQ(i^*\mathbb{L}\mathrm{pr}_!(X\wedge^{\mathbb{L}}Y))\cong \cQ(X)\otimes \cQ(Y).
\end{equation*}
\end{thm}

The theorem has two parts.
First, we show that
 $i^*\mathbb{L}\mathrm{pr}_!(-\wedge^{\mathbb{L}}-)$ is in fact a bifunctor
\[i^*\mathbb{L}\mathrm{pr}_!(-\wedge^{\mathbb{L}}-)\colon \mathcal{L}\times \mathcal{L}\rightarrow \mathcal{L}.\]
The second part is that for any two crowned diagrams $X,Y \in \mathcal{L}$
satisfying the stated hypotheses, there is a natural isomorphism
\begin{equation*}
\cQ(i^*\mathbb{L}\mathrm{pr}_!(X\wedge^{\mathbb{L}}Y))\cong \cQ(X)\otimes \cQ(Y).
\end{equation*}
The two parts combined us that the following diagram commutes (up to natural isomorphism)
\[
\xymatrix{
 \mathrm{C}^{([1],1)}(\cA)    \times  \mathrm{C}^{([1],1)}(\cA)  \ar[d]_{\otimes} & \ar[l]_{\ \ \ \ \ \ \ \ \ \ \ \ \cQ\times\cQ} \mathcal{L}\times \mathcal{L} \ar[d]^{i^*\mathbb{L}\mathrm{pr}_!} \\
 \mathrm{C}^{([1],1)}(\cA)                 & \mathcal{L} \ar[l]^{\cQ}.}
\]
The first part of Theorem \ref{theoremA} is the content of Subsection \ref{spectralsequence} and Proposition \ref{propA}. The natural isomorphism
\begin{equation*}
\cQ(i^*\mathbb{L}\mathrm{pr}_!(X\wedge^{\mathbb{L}}Y))\cong \cQ(X)\otimes \cQ(Y).
\end{equation*}
is the content of Subsections \ref{newcones} and \ref{differentials} and Proposition \ref{propB}.

The values of $\mathbb{L}\mathrm{pr}_!(-\wedge^{\mathbb{L}}-)$ are given by the formula in Proposition \ref{holanformula}. That is, the values of $E=\mathbb{L}\pro_!(X \wedge Y)$ at the objects of $D_N$ are given by
\begin{align}
E_{\gamma_n}&=\hocolim_{\mathrm{pr}/\gamma_n}(X\wedge^{\mathbb{L}} Y) \label{value1} \\
E_{\zeta_n}&=\hocolim_{\mathrm{pr}/\zeta_n}(X\wedge^{\mathbb{L}} Y) \label{value2} \\
E_{\beta_n}&=\hocolim_{\mathrm{pr}/\beta_n}(X\wedge^{\mathbb{L}} Y). \label{value3}
\end{align}
The structure morphisms of the diagram $E$,  $\widehat{l}_n\colon E_{\gamma_n}\to E_{\zeta_n}$ and $\widehat{k}_n\colon E_{\gamma_{n+1}}\to E_{\zeta_n}$, are the edges of the homotopy Kan extension and are given by the natural maps
\begin{align}
E_{\gamma_n}\cong \hocolim_{\mathrm{pr}/\gamma_n}(X\wedge^{\mathbb{L}}Y)&\rightarrow \hocolim_{\mathrm{pr}/\zeta_n}(X\wedge^{\mathbb{L}} Y)\cong E_{\zeta_n} \label{gammanzetan}   \\
E_{\gamma_{n+1}}\cong \hocolim_{\mathrm{pr}/\gamma_{n+1}}(X\wedge^{\mathbb{L}}Y)&\rightarrow \hocolim_{\mathrm{pr}/\zeta_n}(X\wedge^{\mathbb{L}} Y)\cong E_{\zeta_n} \label{gammanonezetan}
\end{align}
induced by the maps of posets $\phi$ and $\psi$, respectively, see \ref{psiphi}.

\subsection{Slice categories of the projection functor}
Again, the values of $\mathbb{L}\mathrm{pr}_!(-\wedge^{\mathbb{L}}-)$ are given by the formula in Proposition \ref{holanformula}. That is, the values of $E$ at the objects of $D_N$ are given by
\begin{align}
E_{\gamma_n}&=\hocolim_{\mathrm{pr}/\gamma_n}(X\wedge^{\mathbb{L}} Y) \label{value1} \\
E_{\zeta_n}&=\hocolim_{\mathrm{pr}/\zeta_n}(X\wedge^{\mathbb{L}} Y) \label{value2} \\
E_{\beta_n}&=\hocolim_{\mathrm{pr}/\beta_n}(X\wedge^{\mathbb{L}} Y). \label{value3}
\end{align}
The structure morphisms of the diagram $E$,  $\widehat{l}_n\colon E_{\gamma_n}\to E_{\zeta_n}$ and $\widehat{k}_n\colon E_{\gamma_{n+1}}\to E_{\zeta_n}$, are the edges of the homotopy Kan extension and are given by the natural maps
\begin{align}
E_{\gamma_n}\cong \hocolim_{\mathrm{pr}/\gamma_n}(X\wedge^{\mathbb{L}}Y)&\rightarrow \hocolim_{\mathrm{pr}/\zeta_n}(X\wedge^{\mathbb{L}} Y)\cong E_{\zeta_n} \label{gammanzetan}   \\
E_{\gamma_{n+1}}\cong \hocolim_{\mathrm{pr}/\gamma_{n+1}}(X\wedge^{\mathbb{L}}Y)&\rightarrow \hocolim_{\mathrm{pr}/\zeta_n}(X\wedge^{\mathbb{L}} Y)\cong E_{\zeta_n} \label{gammanonezetan}
\end{align}
induced by the maps of posets $\phi$ and $\psi$, respectively, see \ref{psiphi}.

Since we are interested in the homotopy Kan extension of the functor $\mathrm{pr}\colon C_N\times C_N\rightarrow D_N$, we need to identify all the slice categories involved, i.e.,
$\mathrm{pr}/\zeta_n, \mathrm{pr}/\gamma_n$ and $\mathrm{pr}/\beta_n$. We have the following three cases.
\begin{enumerate}[(i)]
\item \label{zetan} The first case is $\mathrm{pr}/\zeta_n$. For $n\in \mathbb{Z}/N\mathbb{Z}$ and the object $\zeta_n$ we have the slice category $\mathrm{pr}/\zeta_n$
\begin{equation*}
\begin{tikzpicture}[scale=.8]
  \node (one) at (0,2) {$  (\zeta_i,\zeta_j)$};
  \node (a) at (-4,-.5) {$(\beta_{i-1},\zeta_j)$};
  \node (b) at (-1,0) {$(\zeta_i,\beta_j)$};
  \node (c) at (1,0) {$(\beta_i,\zeta_j)$};
  \node (d) at (4,-0.5) {$(\zeta_i,\beta_{j-1})$};
  \node (zero) at (0,-2) {$(\beta_i,\beta_j)$};
	\node (minus) at (0,-4) {$(\beta_{i-1},\beta_{j-1})$};
	\node (minusone) at  (-4.5,-2.5) {$(\beta_{i-1},\beta_j)$};
	\node (minustwo) at  (4.5,-2.5) {$(\beta_i,\beta_{j-1})$};
	\node (extraleftone) at (-7,-.5)  {$\ldots$};
	\node (extralefttwo) at (-8,-2) {$\ldots$};
	\node (extrarightone) at (8,-2) {$\ldots$};
	\node (extrarighttwo) at (7,-.5) {$\ldots$};

	\draw  [->]   (zero)--(b) ;
	\draw [->]  (zero)--(c) ;
\draw	 [->](b)-- (one) ;
\draw	 [->](c)--(one) ;
	\draw [->]  (minus)--(a);
	\draw [->]   (minus)-- (d) ;
\draw	 [->]  (minusone)--(a) ;
	\draw [->]  (minusone) --(b) ;
\draw	 [->]  (minustwo)--(c) ;
	\draw [->] (minustwo)--(d);
\draw  [->]	(a)--(one) node[midway,above left] {$$}   ;
\draw	 [->] (d)--(one) node[midway, above right] {$$} ;
\draw [->]  (minusone) --(extraleftone) ;
\draw [->] (minusone)--(extralefttwo) ;
\draw [->] (minustwo)-- (extrarightone);
\draw [->] (minustwo)-- (extrarighttwo);
\end{tikzpicture}
\end{equation*}
where $i+j\equiv n \ (\mathrm{mod}\ N)$. Note that all the non-identity morphisms are of the form $(1,l_i)$ or $(l_i,1)$ and similarly $(1,k_i)$ or $(k_i,1)$ for any $i\in\mathbb{Z}/N\mathbb{Z}$. The poset
$\mathrm{pr}/\zeta_n$ follows the same pattern to the left and to the right.

\item \label{gamman}
Next we have the case $\mathrm{pr}/\gamma_n$. Let $n\in \mathbb{Z}/N\mathbb{Z}$ and consider now the slice category $\mathrm{pr}/\gamma_n$ which looks as follows,
\begin{equation*}
\begin{tikzpicture}[scale=1.7]
\node (zero)at (0,0) {$(\beta_i,\beta_j)$};
\node (one) at (1,1) {$(\beta_i,\zeta_j)$};
\node (two) at (-1,1){$(\zeta_i,\beta_j)$};
\node (three) at (2,0){$(\beta_i,\beta_{j-1})$};
\node (four)  at (-2,0){$(\beta_{i-1},\beta_j)$};
\node (five) at  (3,1){$(\zeta_{i+1},\beta_{j-1})$} ;
\node (six) at   (-3,1) {$(\beta_{i-1},\zeta_{i+1})$};
\node (seven) at  (4,0) {$\ldots$};
\node (eight) at (-4,0) {$\ldots$};
\draw [->] (zero)-- (one) ;
\draw [->] (zero)-- (two);
\draw [->](three)-- (one);
\draw[->] (four)-- (two);
\draw [->](three)-- (five);
\draw [->](four)--(six);
\draw [->](seven)-- (five);
\draw [->](eight)--(six);
\end{tikzpicture}
\end{equation*}
where $i+j \equiv n\ (\mathrm{mod}\ N)$. Similarly to the above all the non-identity morphisms are of the form $(1,l_i)$ or $(l_i,1)$ and $(1,k_i)$ or $(k_i,1)$ for any
$i\in \mathbb{Z}/N\mathbb{Z}$.

\item \label{betan}
Next is the case $\mathrm{pr}/\beta_n$. Let again $n\in \mathbb{Z}/N\mathbb{Z}$ but now we consider the slice category $\mathrm{pr}/\beta_n$. Notice that it is
\begin{equation*}
\begin{tikzcd}
\ldots &  & (\beta_{i-1},\beta_{j+1}) &  & (\beta_i,\beta_j) &  & (\beta_{i+1},\beta_{j-1}) &  & \ldots
\end{tikzcd}
\end{equation*}
in which $i+j \equiv n\ (\mathrm{mod}\ N)$. In other words, it is a discrete category. This means that
\[E_{\beta_n}=\hocolim_{\mathrm{pr}/\beta_n}(X\wedge^{\mathbb{L}}Y)\cong \bigoplus_{i+j=n}\Xb{i}\wedge^{\mathbb{L}}\Yb{j}.   \]
This is the only case that we can be explicit about the values of the homotopy left Kan extension $E=\mathbb{L}\mathrm{pr}_!(X\wedge^{\mathbb{L}}Y)$.

\item \label{subposetzetan}
Our last example is a particular subposet of $\mathrm{pr}/\zeta_n$ and it is not strictly speaking a slice of any value. However it will be very useful for us is the following. Consider the following subposet $J_n\subseteq \pro/\zeta_n$ defined as follows
\begin{equation*}
\begin{tikzpicture}[scale=1.7]
\node (zero) at (0,1) {$(\zeta_i,\zeta_j)$};
\node (one) at (1,0) {$(\beta_i,\beta_{j-1})$};
\node (two) at (2,1) {$(\zeta_{i+1},\zeta_{i-1})$};
\node (three)at ( 3,0) {$\ldots$};
\node (four) at (-1,0) {$(\beta_{i-1},\beta_j)$};
\node (five) at (-2,1) {$(\zeta_{i-1},\zeta_{i+1})$};
\node (six) at (-3,0) {$\ldots$};N
\draw [->] (one)-- (zero);
\draw [->] (one)-- (two);
\draw [->] (three)-- (two);
\draw [->] (four)-- (zero);
\draw [->] (four)-- (five);
\draw [->] (six)-- (five);
\end{tikzpicture}
\end{equation*}
where $i+j\equiv n\  (\mathrm{mod}\ N)$. In this poset, the non-identity morphisms are of the form $(k_i,l_i)$ or $(l_i,k_i)$, unlike the examples above where one arrow was always the identity arrow.
\end{enumerate}

\begin{remark}\label{thetanisrightadjoint}
Now let $\theta\colon J_n \to \mathrm{pr}/\zeta_n$ denote the inclusion of the subposet defined in (\ref{subposetzetan}). We will define a map of posets
\begin{equation*}
L\colon \mathrm{pr}/\zeta_n\rightarrow J_n
\end{equation*}
where it suffices to define it for the part of the poset visible in (\ref{zetan}) as the rest can be defined analogously. The map $L$ is given by
\begin{align*}
L\colon \mathrm{pr}/\zeta_n  &\rightarrow J_n  \\
(\beta_{i+1},\beta_j) &\mapsto (\beta_{i+1},\beta_j) \\
(\beta_i,\beta_{j+1}) &\mapsto (\beta_i,\beta_{j+1}) \\
  \mbox{else} \ \ &\mapsto (\zeta_i,\zeta_j).
 \end{align*}
We note that $L$ left adjoint to $\theta$. As a consequence, since the inclusion map $\theta\colon J_n\rightarrow \pro/\zeta_n$ is a right adjoint, it is homotopy terminal, i.e., for any
$F\in \Ho(\mathcal{M}^{\mathrm{pr}/\zeta_n})$ we have
\[\hocolim_{J_n}\theta^*(F)\cong \hocolim_{\mathrm{pr}/\zeta_n}F  .\]
In other words, the value $E_{\zeta_n}$ in (\ref{value1}) can be calculated as
\begin{equation}\label{Ezetansecond}
\Ez{n}\cong\hocolim_{\mathrm{pr}/\zeta_n}(X\wedge^{\mathbb{L}} Y) \cong \hocolim_{J_n}\theta^*(X\wedge^{\mathbb{L}} Y).
\end{equation}
\end{remark}
Given any of subposet of $C_N\times C_N$, e.g., $\prog{n}$ from Example (\ref{gamman}), we can define the restriction of the external smash product $X\wedge Y\in \mathcal{M}^{C_N\times C_N} $ to $\prog{n}$ by
taking the pullback along the inclusion $\nu\colon \prog{n}\rightarrow C_N\times C_N $, that is,
\[\nu^*\colon \mathcal{M}^{C_N\times C_N}\rightarrow \mathcal{M}^{\prog{n}}.\]
Notice that $\nu^*$ preserves weak equivalences so it induces a functor on homotopy categories
\[ \nu^*\colon \Ho(\mathcal{M}^{C_N\times C_N})\rightarrow \Ho(\mathcal{M}^{\prog{n}}).\]
Moreover, we have maps between the subposets of $C_N\times C_N$. The morphisms $\gamma_n\rightarrow \zeta_n$ and $\gamma_{n+1}\rightarrow \zeta_n$ induce maps of posets
\begin{align}\label{psiphi}
\psi\colon\mathrm{pr}/\gamma_n &\rightarrow \mathrm{pr}/\zeta_n  \\
\phi\colon\mathrm{pr}/\gamma_{n-1}&\rightarrow \mathrm{pr}/\zeta_n \nonumber
\end{align}
which in turn also induce pullback functors on the homotopy categories, that is,
\[\phi^*\colon \Ho( \mathcal{M}^{\proz{n}})\rightarrow \Ho( \mathcal{M}^{\prog{n-1}}), \ \ \text{and}\ \ \psi^*\colon \Ho( \mathcal{M}^{\proz{n}})\rightarrow \Ho( \mathcal{M}^{\prog{n}}).    \]
We conclude this section with a convention.
\begin{conv}
Because of the above, we will commit an abuse of notation and instead of writing, for example,
\begin{equation*}
\phi^*(X\wedge^{\mathbb{L}}Y)\in \Ho(\mathcal{M}^{\mathrm{pr}/\gamma_n})
\end{equation*}
we will simply write
\begin{equation*}
X\wedge^{\mathbb{L}}Y \in \Ho(\mathcal{M}^{\mathrm{pr}/\gamma_n}),
\end{equation*}
with the understanding that this diagram was given by a composition of restriction functors
\[ \Ho(\mathcal{M}^{C_N\times C_N}) \xrightarrow{\pi^*}  \Ho(\mathcal{M}^{\mathrm{pr}/\zeta_n}) \xrightarrow{\phi^*}  \Ho(\mathcal{M}^{\mathrm{pr}/\gamma_n})   \]
unless we need the extra notation for clarification.
\end{conv}

\begin{remark}
Consider a diagram $F\in \Ho (\mathcal{M}^{C_N\times C_N})$. By Convention \ref{homotopycategoryofM}, $F$ is a projective cofibrant object, so in particular, it is objectwise cofibrant. The
external smash product
\[-\wedge -\colon  \mathcal{M}^{C_N}\times  \mathcal{M}^{C_N}\rightarrow  \mathcal{M}^{C_N\times C_N} \]
as defined in \eqref{CNobjectwisesmash}
is Quillen bifunctor, so in particular it preserves cofibrant objects.
This implies that $X\wedge^{\mathbb{L}} Y$ is cofibrant in $\mathcal{M}^{C_N\times C_N}$, so in particular it is objectwise cofibrant. Now, for any subposet
$$\iota\colon J\hookrightarrow C_N\times C_N,$$ e.g., any of the slice categories of the projection functor $\mathrm{pr}$ \eqref{definitionpr}, we have the pullback functor
\[\iota^*\colon \mathcal{M}^{C_N\times C_N} \rightarrow \mathcal{M}^{J}.\]
This functor is not necessarily a left Quillen functor with respect the projective model structures, see Proposition \ref{modelondiagrams}. However, the diagram $\iota^*(X\wedge^{\mathbb{L}} Y)$, is objectwise cofibrant,
which means that the geometric realization of the simplicial replacement still models the homotopy colimit of the diagram $\iota^*(X\wedge^{\mathbb{L}} Y)$. In particular, the skeletal filtration of all the restrictions
is always Reedy cofibrant, see Lemma \ref{objectwisecofibrantreedy}.
\end{remark}

\subsection{Spectral Sequence Calculations}\label{spectralsequence}
The main result of this subsection is that given crowned diagrams $X,Y\in \mathcal{L}$ that for
satisfying a simple condition, the diagram $i^*E=i^*\mathbb{L}\mathrm{pr}_!(X\wedge^{\mathbb{L}} Y)$ is also in the subcategory $\mathcal{L}$, see Definition{def:L}. Essentially, this condition is that for the given homological functor $F_*\colon \Ho(\mathcal{M})\to \mathcal{A}$, either the crowned diagram $X$ or $Y$ is objectwise projective.

\begin{prop}\label{propA}
Let $X, Y \in \mathcal{L}$ such that $F_*(X_{{\alpha}_n}), F_*(Y_{{\alpha}_n})\in  \mathcal{A}_{\mathrm{proj}}$ for any $n\in \mathbb{Z}/N\mathbb{Z}$ and any $\alpha\in \left\{\beta,\zeta\right\}$. Consider the homotopy left Kan
extension $E=\mathbb{L}\mathrm{pr}_!(X\wedge^{\mathbb{L}}Y)\in \Ho(\mathcal{M}^{D_N})$ of
\begin{equation*}
X\wedge^{\mathbb{L}}Y\in \Ho(\mathcal{M}^{C_N\times C_N})
\end{equation*} along
\begin{displaymath}
\pro\colon C_N\times C_N\rightarrow D_N
\end{displaymath}
with the values and morphisms given in (\ref{value1})-(\ref{value3}) and (\ref{gammanzetan}), (\ref{gammanonezetan}) respectively.
\begin{equation*}
\xymatrix{E_{\zeta_0}  &  E_{\zeta_1}  & \ldots & E_{\zeta_{N-1}}   \\
E_{\gamma_0} \ar[u] \ar[ur] & \ar[u]  \ar[ur] E_{\gamma_1}   & \ar[ur] \ldots & \ar[u] \ar[ulll] E_{\gamma_{N-1}}\\
   E_{\beta_0} \ar[u] \ar[ur] & \ar[u]  \ar[ur] E_{\beta_1}   & \ar[ur] \ldots & \ar[u] \ar[ulll] E_{\beta_{N-1}}    }
\end{equation*}
Then, for any $n\in \mathbb{Z}/N\mathbb{Z}$ and any $\alpha\in \left\{\beta,\zeta\right\}$ we have  $F_*(E_{\alpha_n})\in \mathcal{B}[n]$ and the morphisms
\begin{displaymath}
F_*(E_{\gamma_n})\rightarrow F_*(E_{\zeta_n})
\end{displaymath}
 induced by $E_{\gamma_n}\rightarrow E_{\zeta_n}$ are monomorphisms.
\end{prop}

\begin{cor}\label{pullbackviaiisine}
Let $X,Y$ be crowned diagrams satisfying the hypothesis in the above Proposition. The top two rows of the diagram $E=\mathbb{L}\mathrm{pr}_!(X\wedge^{\mathbb{L}}Y)$ form an object in $\mathcal{L}$, that is, the diagram $i^*E\in \mathcal{L}$.
\end{cor}

By our assumption, for any $n\in\mathbb{Z}/N\mathbb{Z}$ and any $\alpha\in \left\{\beta,\zeta\right\}$ the objects $F_*(X_{{\alpha}_n})$ and  $F_*(Y_{{\alpha}_n})$ are projective in $\mathcal{A}$. This ensures that
there are natural K{\"u}nneth isomorphisms
\begin{equation}\label{Kunneth}
  	F_*\left(X_{{\alpha}_n}\wedge^{\mathbb{L}} Y_{{\alpha}_n}  \right) \cong F_*( X_{{\alpha}_n} ) \otimes F_*(Y_{{\alpha}_n}).
\end{equation}
Since the values $E_{\zeta_n}, E_{\gamma_n}$ and $E_{\beta_n}$ are computed via homotopy colimits, we will use \eqref{sshomotopycolimit}, the spectral sequences converging to the
homology of the homotopy colimit.
\begin{lemma}\label{sseqlemma}
There are spectral sequences
\begin{equation}\label{ssgamman}
E^2_{pq}= H_p(\mathrm{pr}/\gamma_n; F_q(X\wedge^{\mathbb{L}}Y))\Rightarrow F_{p+q}\left(\hocolim_{\mathrm{pr}/\gamma_n}(X\wedge^{\mathbb{L}}Y)\right)\cong F_{p+q}(E_{\gamma_n})
\end{equation}
and
\begin{equation}\label{sszetan}
E^{\prime 2}_{pq}= H_p(\mathrm{pr}/\zeta_n; F_q(X\wedge^{\mathbb{L}}Y))\Rightarrow F_{p+q}\left(\hocolim_{\mathrm{pr}/\zeta_n}(X\wedge^{\mathbb{L}}Y) \right)\cong F_{p+q}(E_{\zeta_n})
\end{equation}
and natural morphisms of spectral sequences $f\colon\left\{E^2_{pq}\right\}\rightarrow \left\{E^{\prime 2}_{pq}\right\}$ induced by the map in (\ref{gammanzetan}).
\end{lemma}
We will now begin the proof of Proposition \ref{propA}.
\begin{proof}
We will start by working out the spectral sequence (\ref{ssgamman}). Recall the poset $\mathrm{pr}/\gamma_n$ which looks as follows.
\begin{equation*}
\begin{tikzpicture}[scale=1.5]
\node (zero)at (0,0) {$(\beta_i,\beta_j)$};
\node (one) at (1,1) {$(\beta_i,\zeta_j)$};
\node (two) at (-1,1){$(\zeta_i,\beta_j)$};
\node (three) at (2,0){$(\beta_i,\beta_{j-1})$};
\node (four)  at (-2,0){$(\beta_{i-1},\beta_j)$};
\node (five) at  (3,1){$(\zeta_{i+1},\beta_{j-1})$} ;
\node (six) at   (-3,1) {$(\beta_{i-1},\zeta_{i+1})$};
\node (seven) at  (4,0) {$\ldots$};
\node (eight) at (-4,0) {$\ldots$};
\draw [->] (zero)-- (one) ;
\draw [->] (zero)-- (two);
\draw [->](three)-- (one);
\draw[->] (four)-- (two);
\draw [->](three)-- (five);
\draw [->](four)--(six);
\draw [->](seven)-- (five);
\draw [->](eight)--(six);
\end{tikzpicture}
\end{equation*}
Here, $i+j=n  \ \mathrm{mod}\ N$, and so the functor $X\wedge^{\mathbb{L}}Y \in \Ho(\mathcal{M}^{\mathrm{pr}/\gamma_n}) $ looks as follows.
\begin{equation*}
\begin{tikzpicture}[scale=1.5]
\node (zero)at (0,0) {$X_{\beta_i}\wedge Y_{\beta_j}$};
\node (one) at (1,1) {$X_{\beta_i}\wedge Y_{\zeta_j}$};
\node (two) at (-1,1){$X_{\zeta_i}\wedge Y_{\beta_j}$};
\node (three) at (2,0){$X_{\beta_i}\wedge Y_{\beta_{j-1}}$};
\node (four)  at (-2,0){$X_{\beta_{i-1}}\wedge Y_{\beta_j}$};
\node (five) at  (3,1){$X_{\zeta_{i+1}}\wedge Y_{\beta_{j-1}}$} ;
\node (six) at   (-3,1) {$X_{\beta_{i-1}}\wedge Y_{\zeta_{i+1}}$};
\node (seven) at  (4,0) {$\ldots$};
\node (eight) at (-4,0) {$\ldots$};
\draw [->](zero)-- (one) ;
\draw [->](zero)-- (two);
\draw [->](three)-- (one);
\draw [->] (four)-- (two);
\draw [->] (three)-- (five);
\draw [->](four)--(six);
\draw [->] (seven)--(five);
\draw [->] (eight)--(six);
\end{tikzpicture}
\end{equation*}
Our goal is to compute
\begin{displaymath}
H_p(\mathrm{pr}/\gamma_n;F_q(X\wedge^{\mathbb{L}} Y))\ \ \ \  \mbox{ for all $p\geq 0$ and all $q\in\mathbb{Z}$},
\end{displaymath}
which are the $E^2$-terms of the spectral sequence (\ref{ssgamman}). In order to do so, we apply
the homological functor $F_n(-)$ to the above diagram to get the diagram $F_n(X\wedge^{\mathbb{L}} Y)\in \mathcal{A}^{\mathrm{pr}/\gamma_n}$ which, by \eqref{Kunneth} is the following.
 \begin{equation}\label{engamman}
\begin{tikzpicture}[scale=1.5][baseline= (current  bounding  box.north)]
\node (zero)at (0,0) {$B^{(i)}\otimes \widetilde{B}^{(j)}$};
\node (one) at (1,1) {$B^{(i)}\otimes \widetilde{Z}^{(j)}$};
\node (two) at (-1,1){$Z^{(i)}\otimes \widetilde{B}^{(j)}$};
\node (three) at (2,0){$0$};
\node (four)  at (-2,0){$0$};
\node (five) at  (3,1){$B^{(i+1)}\otimes \widetilde{Z}^{(j-1)}$} ;
\node (six) at   (-3,1) {$B^{(i-1)}\otimes \widetilde{Z}^{(j+1)}$};
\node (seven) at  (4,0) {$\ldots$};
\node (eight) at (-4,0) {$\ldots$};
\draw [->](zero)-- (one) ;
\draw [->] (zero)-- (two);
\draw [->] (three)-- (one);
\draw [->] (four)-- (two);
\draw [->] (three)-- (five);
\draw [->] (four)--(six);
\draw [<-] (six)--(eight);
\draw  [<-](five)--(seven);
\end{tikzpicture}
\end{equation}
We will write
\begin{align}
f_{i,j}=\lambda_i\otimes 1  \colon B^{(i)}\otimes\widetilde{B}^{(j)}&\rightarrow Z^{(i)}\otimes\widetilde{B}^{(j)} \label{fij}\\
g_{i,j}=1\otimes \tilde{\lambda}_j    \colon B^{(i)}\otimes\widetilde{B}^{(j)}&\rightarrow B^{(i)}\otimes \widetilde{Z}^{(j)} \label{gij}
\end{align}
to distinguish, for labeling purposes, the two different morphisms in the simplicial replacement below. Note that since $B^i$ and $\widetilde{B}^j$ and projective in $\mathcal{A}$, by our convention they are
automatically flat, hence the morphisms \eqref{fij} and \eqref{gij} are monomorphisms.

Next, we consider the simplicial replacement of the diagram  $F_n(X\wedge^{\mathbb{L}}Y)\in \mathcal{A}^{\mathrm{pr}/\gamma_n}$, that
is $\srep\left(F_n(X\wedge^{\mathbb{L}}Y)\right)\in \mathcal{A}^{\Delta^{\opp}}$. Following Definition \ref{simprep} we have that
\begin{align*}
\displaystyle{\srep\left(F(X\wedge^LY)\right)_0}&= \bigoplus_{i+j=n}\left( (B^{(i)}\otimes\widetilde{B}^{(j)}) \oplus (Z^{(i)}\otimes\widetilde{B}^{(j)})\oplus (B^{(i)}\otimes \widetilde{Z}^{(j)}) \right)\\
\srep\left(F_n(X\wedge^{\mathbb{L}}Y)\right)_1&= \bigoplus_{i+j=n} \left( (B^{(i)}\otimes\widetilde{B}^{(j)})_{f_{i,j}} \oplus  (B^{(i)}\otimes\widetilde{B}^{(j)})_{g_{i,j}}\right),
\end{align*}
with face maps given by ``source'' and ``target'' respectively.  Because of the shape of the poset $\prog{n}$, for all $m \geq 2$ the simplices $\srep\left(F_n(X\wedge^{\mathbb{L}}Y)\right)_m$
consist solely of degenerate simplices.

Now we consider the associated complex
of the above simplicial complex $C_*(F_n(X\wedge^{\mathbb{L}}Y)$, see Definition \ref{associatedcomplex}. We briefly explain the differential of the complex $C_*(E(1)_{-n}(X\wedge^{\mathbb{L}}Y))$, namely the
map
\[d=d_0-d_1\colon C_1(F_n(X\wedge^{\mathbb{L}}Y))\rightarrow C_0(F_n(X\wedge^{\mathbb{L}}Y)) .\]
Notice from \eqref{engamman}, we can consider the simpler case where the diagram looks as follows.
\[
\begin{tikzcd}
 Z^{(i)}\otimes \widetilde{B}^{(j)} &                  &  B^{(i)}\otimes \widetilde{Z}^{(j)} \\
                  &B^{(i)}\otimes \widetilde{B}^{(j)}  \arrow[ur,"g_{ij}", swap] \arrow[ul,"f_{ij}"] &
\end{tikzcd}
\]
Then, the differential of the associated complex of the simplicial replacement of the above diagram is
\begin{align*}
d_{ij}=d_0-d_1\colon (B^{(i)}\otimes\widetilde{B}^{(j)}) \oplus  (B^{(i)}\otimes\widetilde{B}^{(j)}) &\rightarrow (B^{(i)}\otimes\widetilde{B}^{(j)})\oplus  (Z^{(i)}\otimes\widetilde{B}^{(j)})\oplus (B^{(i)}\otimes \widetilde{Z}^{(j)})\\
 (x,y)  &\mapsto (x+y, -f_{ij}(x), -g_{ij}(y)).
\end{align*}
The $0$th homology of the above complex is just the pushout $$ B^{(i)}\otimes \widetilde{Z}^{(j)} \coprod_{B^{(i)}\otimes \widetilde{B}^{(j)} } Z^{(i)}\otimes \widetilde{B}^{(i)} .$$ The first homology is the kernel of the differential $d_{ij}$. Since the maps
$f_{ij}$ and $g_{ij}$ are injective, this forces $d_{ij}(x,y)=0$ if and only if $x=y=0$, which implies that the first homology is trivial.
It follows from the diagram \eqref{engamman} that the differential $d$ on the complex $C_*(F_n(X\barwedge^{\mathbb{L}}Y))$ is the direct sum of the above differentials $d_{ij}$ for $i+j=n$. Now that we know the differential of the complex $C_*(F_n(X\wedge^{\mathbb{L}}Y))$ we will compute its homology. It follows that
$H_0(\mathrm{pr}/\gamma_n;F_n(X\wedge^L Y))$ is the
colimit of the diagram $F_n(X\wedge^{\mathbb{L}} Y)$. By inspecting the diagram $F_n(X\wedge^{\mathbb{L}} Y)$ above we can see
the colimit of the diagram is a direct sum (coproduct) of
pushouts, that is,
\begin{align*}
H_0(\mathrm{pr}/\gamma_n;F_n(X\wedge^{\mathbb{L}} Y)) &=\colim_{\mathrm{pr}/\gamma_n}F_n(X\wedge^{\mathbb{L}} Y) \\
&=\bigoplus_{i+j=n}\left( Z^{(i)}\otimes \widetilde{B}^{(j)}\coprod_{B^{(i)}\otimes \widetilde{B}^{(j)}}B^{(i)}\otimes \widetilde{Z}^{(j)}\right).
\end{align*}
Similar to the simpler case, the first homology
\begin{displaymath}
H_1(\mathrm{pr}/\gamma_n; F_n(X\wedge^{\mathbb{L}}Y))
\end{displaymath} is the kernel of the differential
\begin{displaymath}
d_0-d_1\colon\srep(F_n(X\wedge^{\mathbb{L}}Y))_1\rightarrow \srep(F_n(X\wedge^{\mathbb{L}}Y))_0.
\end{displaymath}
Since it is a direct sum of the simpler differentials $d_{ij}$ as above, it follows that
\begin{displaymath}
H_1(\mathrm{pr}/\gamma_n;F_n(X\wedge^{\mathbb{L}}Y))=0.
\end{displaymath}
Of course, all the higher homologies
\begin{displaymath}
H_q(\mathrm{pr}/\gamma_n;F_n(X\wedge^{\mathbb{L}}Y))
\end{displaymath}
vanish for all $q\geq 2$.

\vspace{3mm}
Next, we apply the homological functor $F_{n-1}(-)$ to the diagram $X\wedge^{\mathbb{L}}Y\in\Ho(\mathcal{M}^{\mathrm{pr}/\gamma_n})$ and we have the diagram
$F_{n-1}(X\wedge^{\mathbb{L}}Y)\in \mathcal{A}^{\mathrm{pr}/\gamma_n}$ which looks as follows.
\begin{equation*}
\begin{tikzpicture}
\node (zero)at (0,0) {$0$};
\node (one) at (1,1) {$0$};
\node (two) at (-1,1){$0$};
\node (three) at (2,0){$B^{i}\otimes \widetilde{B}^{(j-1)}$};
\node (four)  at (-2,0){$B^{(i-1)}\otimes \widetilde{B}^{(j)} $};
\node (five) at  (3,1){$0$} ;
\node (six) at   (-3,1) {$0$};
\node (seven) at  (4,0) {$\ldots$};
\node (eight) at (-4,0) {$\ldots$};
\draw [->](zero)-- (one) ;
\draw [->](zero)-- (two);
\draw [->](three)-- (one);
\draw [->](four)-- (two);
\draw [->](three)-- (five);
\draw [->](four)--(six);
\draw [<-] (six)--(eight);
\draw [<-](five)--(seven);
\end{tikzpicture}
\end{equation*}
Clearly,
\[H_0(\mathrm{pr}/\gamma_n;F_{n-1}(X\wedge^{\mathbb{L}}Y))=0, \]
and
\[H_1(\mathrm{pr}/\gamma_n;F_{n-1}(X\wedge^{\mathbb{L}}Y))=\bigoplus_{i+j=n+1}B^{(i)}\otimes \widetilde{B}^{(j)} .\]

It follows that for all $p\geq 0$ and all $m\neq -n, -n-1\ \ \mathrm{mod}\ N$, the terms $H_p(\mathrm{pr}/\gamma_n;F_m(X\wedge^{\mathbb{L}}Y))$ all vanish. This completes the computation of
the $E^2$ terms of the spectral sequence. It is concentrated in degrees $(0,m)$ and $(1,m-1)$ with $m\equiv n \ \operatorname{mod} N$. Therefore the spectral sequence collapses and we have a short exact sequence
\begin{equation*}
0\rightarrow \bigoplus_{i+j=n}\left( Z^{(i)}\otimes \widetilde{B}^{(j)}\bigoplus_{B^{(i)}\otimes \widetilde{B}^{(j)}}B^{(i)}\otimes \widetilde{Z}^{(j)}\right) \rightarrow F_n(E_{\gamma_n}) \rightarrow
\bigoplus_{i+j=n+1}B^{(i)}\otimes \widetilde{B}^{(j)}\rightarrow 0.
\end{equation*}
This concludes the calculation of the spectral sequence \eqref{ssgamman}.

We are moving on to calculate the spectral sequence \eqref{sszetan}. Recall the poset $J_n$ from (\ref{subposetzetan}), which is the following subposet of $\mathrm{pr}/\zeta_n$.
\begin{equation*}
\begin{tikzpicture}[scale=1.5]
\node (zero) at (0,1) {$(\zeta_i,\zeta_j)$};
\node (one) at (1,0) {$(b_i,b_{j-1})$};
\node (two) at (2,1) {$(\zeta_{i+1},\zeta_{i-1})$};
\node (three)at ( 3,0) {$\ldots$};
\node (four) at (-1,0) {$(\beta_{i-1},\beta_j)$};
\node (five) at (-2,1) {$(\zeta_{i-1},\zeta_{i+1})$};
\node (six) at (-3,0) {$\ldots$};
\draw [->] (one)-- (zero);
\draw [->] (one)-- (two);
\draw [->] (three)-- (two);
\draw [->] (four)-- (zero);
\draw [->] (four)-- (five);
\draw [->] (six)-- (five);
\end{tikzpicture}
\end{equation*}
By Remark \ref{thetanisrightadjoint}, the inclusion functor $\theta\colon J_n\to \mathrm{pr}/\zeta_n$ has a left left adjoint $L$, and we have
\begin{displaymath}
\Ez{n}\cong\hocolim_{\mathrm{pr}/\zeta_n}(X\wedge^{\mathbb{L}} Y) \cong \hocolim_{J_n}\theta^*(X\wedge^{\mathbb{L}} Y),
\end{displaymath}
see (\ref{Ezetansecond}).
So, instead of the spectral sequence (\ref{sszetan}) we can compute the following spectral sequence
\begin{displaymath}
H_p(J_n; F_q(\theta^*(X\wedge^{\mathbb{L}}Y))) \Rightarrow F_{p+q}(\hocolim_{J_n}\theta^*(X\wedge^{\mathbb{L}}Y))
\end{displaymath}
since both converge to the same target, \emph{i.e.}, the $F_*$-homology of $\Ez{n}$,
\[F_*(\hocolim_{J_n}\theta^*(X\wedge^{\mathbb{L}}Y))\cong F_*(\hocolim_{\mathrm{pr}/\zeta_n} (X\wedge^{\mathbb{L}} Y))\cong F_*(E_{\zeta_n}).\]
In fact this, can be made stronger. The adjoint pair $L\colon \proz{n}\rightleftarrows J_n\colon \theta$ induces a natural isomorphism
\[H_*(\proz{n}; F_q(X\wedge^{\mathbb{L}}Y ))\cong H_*(J_n, \theta^* F_q(X\wedge^{\mathbb{L}}Y ) ) .
\]

From the diagram $J_n$ we again only need to consider $F_{n}(-)$ and $F_{-n-1}(-)$. Firstly, we apply $F_{n}(-)$ to the diagram
$\theta^*(X\wedge^{\mathbb{L}}Y)$ and we get $F_{n}(\theta^*(X\wedge^{\mathbb{L}}Y))\in \mathcal{A}^{J_n}$ as below.
\begin{equation*}
\begin{tikzpicture}[scale=1.5]
\node (zero) at (0,1) {$Z^{(i)} \otimes\widetilde{Z}^{(j)}$};
\node (one) at (1,0) {$0$};
\node (two) at (2,1) {$Z^{(i+1)}\otimes\widetilde{Z}^{(i-1)}$};
\node (three)at ( 3,0) {$\ldots$};
\node (four) at (-1,0) {$0$};
\node (five) at (-2,1) {$Z^{(i-1)}\otimes\widetilde{Z}^{(i+1)}$};
\node (six) at (-3,0) {$\ldots$};
\draw [->] (one)-- (zero);
\draw [->] (one)-- (two);
\draw [->] (three)-- (two);
\draw [->] (four)-- (zero);
\draw [->] (four)-- (five);
\draw [->] (six)-- (five);
\end{tikzpicture}
\end{equation*}
From the above we get that
\begin{equation*}
H_0(J_n; F_{n}(\theta^*(X\wedge^{\mathbb{L}}Y)))= \bigoplus_{i+j=n}Z^{(i)}\otimes \widetilde{Z}^{(j)}
\end{equation*}
and
\[
H_p(J_n; F_{n}(\theta^*(X\wedge^{\mathbb{L}}Y)))=0, \ \ p\geq 1.
\]

Next, we will apply the functor $F_{n-1}(-)$ to obtain the diagram $F_{n-1}(\theta^*(X\wedge^{\mathbb{L}}Y))\in \mathcal{A}^{J_n}$ depicted below.
\begin{equation*}
\begin{tikzpicture}[scale=1.5]
\node (zero) at (0,1) {$0$};
\node (one) at (1,0) {$B^{(i)}\otimes\widetilde{B}^{(j-1)}$};
\node (two) at (2,1) {$0$};
\node (three)at ( 3,0) {$\ldots$};
\node (four) at (-1,0) {$B^{(i-1)}\otimes \widetilde{B}^{(j)}$};
\node (five) at (-2,1) {$0$};
\node (six) at (-3,0) {$\ldots$};
\draw [->] (one)-- (zero);
\draw [->] (one)-- (two);
\draw [->] (three)-- (two);
\draw [->] (four)-- (zero);
\draw [->] (four)-- (five);
\draw [->] (six)-- (five);
\end{tikzpicture}
\end{equation*}
From the above we get that
\[
H_1(J_n; F_{n-1}(\theta^* (X\wedge^{\mathbb{L}}Y )))=\bigoplus_{i+j=n+1}B^{(i)}\otimes \widetilde{B}^{(j)}      \]
and
\[
H_p(J_n; F_{n-1}(\theta^*(X\wedge^{\mathbb{L}}Y)))=0 \ \  \mbox{for $p=0$ and $p\geq 2$}.
\]
This completes the computation of the $E^2$-term of the final spectral sequence. It is concentrated in degrees $(0,m)$ and $(1,m-1)$ with $m \equiv\  n \operatorname{mod} N$. Therefore, the spectral
sequence collapses and we
have a short exact sequence
\begin{equation*}
0\rightarrow \bigoplus_{i+j=n}Z^{(i)}\otimes \widetilde{Z}^{(j)}  \rightarrow  F_{n}(E_{\zeta_n}) \rightarrow \bigoplus_{i+j=n-1}B^{(i)}\otimes \widetilde{B}^{(j)}\rightarrow 0.
\end{equation*}
Now that we have calculated both spectral sequences we can continue with the proof. The map of posets $\psi\colon \mathrm{pr}/\gamma_n\to \mathrm{pr}/\zeta_n$ induces morphisms on homologies of categories with coefficients $F_{n}(-)$ and $F_{n-1}(-)$ respectively, i.e.,
\begin{align}
H_*(\mathrm{pr}/\gamma_n; F_{n}(X\wedge^{\mathbb{L}}Y))   &\rightarrow H_*(\mathrm{pr}/\zeta_n; F_{n}(X\wedge^{\mathbb{L}}Y))\cong H_*(J_n; F_{n}(\theta^*(X\wedge^{\mathbb{L}}Y )))   \nonumber \\
H_*(\mathrm{pr}/\gamma_n; F_{n-1}(X\wedge^{\mathbb{L}}Y)) &\rightarrow H_*(\mathrm{pr}/\zeta_n; F_{n-1}(X\wedge^{\mathbb{L}}Y))\cong H_*(J_n; F_{n-1}(\theta^*(X\wedge^{\mathbb{L}}Y ))).   \nonumber
\end{align}
Hence we have a morphism of short exact sequences
\begin{equation*}
\xymatrix{
 0 \ar[r] &  \Oplus_{i+j=n}\left( Z^{(i)}\otimes \widetilde{B}^{(j)}\coprod_{B^{(i)}\otimes \widetilde{B}^{(j)}}B^{(i)}\otimes \widetilde{Z}^{(j)}\right) \ar[r] \ar[d] & F_{n}(E_{\gamma_n}) \ar[r] \ar[d] & \Oplus_{i+j=n+1}B^{(i)}\otimes
\widetilde{B}^{(j)}  \ar[d]^{\cong} \ar[r] & 0 \\
0 \ar[r] &\Oplus_{i+j=n}Z^{(i)}\otimes \widetilde{Z}^{(j)}  \ar[r] & F_{n}(E_{\zeta_n}) \ar[r] &  \Oplus_{i+j=n+1}B^{(i)}\otimes \widetilde{B}^{(j)} \ar[r] & 0.}
\end{equation*}
By naturality, the left vertical map is the direct sum of the pushout-product maps
\[ \lambda_i\mathbin\square \widetilde{\lambda}_j\colon  \left(Z^{(i)}\otimes \widetilde{B}^{(j)}\coprod_{B^{(i)}\otimes \widetilde{B}^{(j)}}B^{(i)}\otimes \widetilde{Z}^{(j)}\right)\rightarrow Z^{(i)}\otimes
\widetilde{Z}^{(j)}.  \]
By Lemma \ref{ppinjective}, the map $\lambda_i\mathbin\square \widetilde{\lambda}_j$ is injective which means that so is the left vertical map. The five lemma now implies that the morphism
\begin{displaymath}
 F_{n}(E_{\gamma_n})\rightarrow F_{n}(E_{\zeta_n})
\end{displaymath}
is an injection. In particular, $F_*(E_{\gamma_n})$ and $F_*(\Ez{n})$ are concentrated in the correct degrees and the induced morphisms $F_*(E_{\gamma_n})\to F_*(E_{\zeta_n}) $ are injections. This
concludes the proof of the proposition.
\end{proof}

Corollary \ref{pullbackviaiisine} now follows: the diagram $E$ is indeed in the subcategory $\mathcal{L} \subseteq \Ho(\mathcal{M}^{C_N})$ as the vertices are in the correct degree shifts of $\mathcal{B}$, and $F$ applied to the edges $E_{\gamma_n} \to E_{\zeta_n}$ is a monomorphism, which is precisely how $\mathcal{L}$ was defined.

\subsection{Cones }\label{newcones}
In the previous section we proved that for any two crowned diagrams $X, Y\in \mathcal{L}$ which are objectwise projective, $i^*E=i^*\mathrm{pr}_!(X\wedge^{\mathbb{L}} Y)\in \mathcal{L}$. In this subsection we will prove that applying the functor $\cQ$ to the object $i^*E$ is a good model for the tensor product $\cQ(X)\otimes \cQ(Y)$. This will follow as a corollary from the following proposition.
\begin{prop}\label{newconesE}
Consider $E\in \mathbb{L}\mathrm{pr}_!(X\wedge^{\mathbb{L}} Y)\in \Ho(\mathcal{M}^{D_N}) $ and let $i^*E$ be the pullback of $E$ along $i\colon C_N\rightarrow D_N$. For every $n\in \mathbb{Z}/N\mathbb{Z}$ we have a canonical isomorphism
\begin{displaymath}
\operatorname{cone}(i^*E_{\beta_{n-1}}\rightarrow i^*E_{\zeta_n})\cong \bigvee_{i+j=n}  \operatorname{cone}(k_i) \wedge^{\mathbb{L}} \operatorname{cone}(\tilde{k}_j).
\end{displaymath}
\end{prop}
\begin{proof}
Recall the slice categories of the map $\mathrm{pr}\colon C_N\times C_N\rightarrow D_N$ over $\zeta_n$, $\mathrm{pr}/\zeta_n$ from Example (\ref{zetan}), and $\prog{n}$ from Example (\ref{gamman}) .
Let us begin by recalling the diagram $X\wedge^{\mathbb{L}}Y \in \Ho(\mathcal{M}^{\mathrm{pr}/\zeta_n}).$
The red color shows the image of the map of posets $\phi\colon \mathrm{pr}/\gamma_{n-1}\rightarrow \mathrm{pr}/\zeta_n.$
 \begin{equation}\label{imageofgammanzetan}
\begin{tikzpicture}[scale=.7]
  \node (one) at (0,2) {$(\zeta_i ,\zeta_j)$};
  \node (a) at (-4,-.5) {$(\beta_{i-1}, \zeta_j)$};
  \node (b) at (-1,0) {$(\zeta_i ,\beta_j)$};
  \node (c) at (1,0) {$(\beta_i, \zeta_j)$};
  \node (d) at (4,-0.5) {$(\zeta_i, \beta_{j-1})$};
  \node (zero) at (0,-2) {$(\beta_i, \beta_j)$};
	\node (minus) at (0,-4) {$(\beta_{i-1}, \beta_{j-1})$};
	\node (minusone) at  (-4.5,-2.5) {$(\beta_{i-1}, \beta_j)$};
	\node (minustwo) at  (4.5,-2.5) {$(\beta_i,  \beta_{j-1})$};
	\node (extraleftone) at (-7,-.5)  {$\ldots$};
	\node (extralefttwo) at (-8,-2) {$\ldots$};
	\node (extrarightone) at (8,-2) {$\ldots$};
	\node (extrarighttwo) at (7,-.5) {$\ldots$};

	\draw  [->]   (zero)--(b) ;
	\draw [->]  (zero)--(c) ;
\draw	 [->](b)-- (one) ;
\draw	 [->](c)--(one) ;
	\draw [red][->]  (minus)--(a);
	\draw [red][->]   (minus)-- (d) ;
\draw	 [red][->]  (minusone)--(a) ;
	\draw [->]  (minusone) --(b) ;
\draw	 [->]  (minustwo)--(c) ;
	\draw [red][->] (minustwo)--(d);
\draw  [->]	(a)--(one) node[midway,above left] {$$}   ;
\draw	 [->] (d)--(one) node[midway, above right] {$$} ;
\draw [red][->]  (minusone) --(extraleftone) ;
\draw [->] (minusone)--(extralefttwo) ;
\draw [->] (minustwo)-- (extrarightone);
\draw [red][->] (minustwo)-- (extrarighttwo);
\end{tikzpicture}
\end{equation}
Recall from \eqref{value2} that
\begin{displaymath}
E_{\zeta_n}= \hocolim( \mathrm{pr}/\zeta_n \stackrel{\pi}{\rightarrow} C_N\times C_N \xrightarrow{X\wedge^{\mathbb{L}}Y} \mathcal{M}),
\end{displaymath}
and we committed an abuse of notation by writing
\begin{equation*}
\hocolim_{\mathrm{pr}/\zeta_n}(X\wedge^{\mathbb{L}}Y)=\hocolim_{\mathrm{pr}/\zeta_n}\pi^*(X\wedge^{\mathbb{L}}Y).
\end{equation*}
Also, recall from \eqref{gammanonezetan} that the morphism $E_{\gamma_{n-1}}\rightarrow E_{\zeta_n}$
is
the canonical morphism
\begin{equation*}
\hocolim_{\mathrm{pr}/\gamma_{n-1}}\phi^*(X\wedge^{\mathbb{L}}Y)\rightarrow \hocolim_{\mathrm{pr}/\zeta_n}(X\wedge^{\mathbb{L}}Y)
\end{equation*}
induced by the map of posets $\phi\colon \mathrm{pr}/\gamma_{n-1}\rightarrow \mathrm{pr}/\zeta_n$.
The pullback functor
\begin{equation*}
\phi^*\colon \Ho(\mathcal{M}^{\pro/\zeta_n})\rightarrow \Ho(\mathcal{M}^{\pro/\gamma_{n-1}})
\end{equation*} has a
left adjoint defined by the homotopy left Kan extension $\mathbb{L}\phi_!$, that is,
\begin{equation*}\label{hoadjunction}
\mathbb{L}\phi_!\colon\Ho(\mathcal{M}^{\mathrm{pr}/\gamma_{n-1}}) \rightleftarrows \Ho(\mathcal{M}^{\mathrm{pr}/\zeta_n})\colon \phi^*.
\end{equation*}
The counit of the derived adjunction $\varepsilon\colon \mathbb{L}\phi_!\phi^*\rightarrow \mathrm{Id}$ provides the canonical natural transformation
\begin{equation}\label{counitxby}
\varepsilon_{X\wedge^{\mathbb{L}}Y} \colon \mathbb{L}\phi_!\phi^*(X\wedge^{\mathbb{L}}Y )\rightarrow X\wedge^{\mathbb{L}}Y.
\end{equation}
Lastly, since $\mathbb{L}\phi_!$ is a homotopy left Kan extension, there is a canonical isomorphism
\begin{equation*}
\hocolim_{\mathrm{pr}/\gamma_{n-1}} \phi^*(X\wedge^{\mathbb{L}}Y) \cong \hocolim_{\mathrm{pr}/\zeta_n} \mathbb{L}\phi_!\phi^*(X\wedge^{\mathbb{L}}Y).
\end{equation*}
Therefore, the underlying diagram $X\wedge^{\mathbb{L}}Y\in  \Ho(\mathcal{M}^{\mathrm{pr}/\zeta_n})$ looks as follows.
\begin{equation}\label{functorprozetan}
\begin{tikzpicture}[baseline=(current  bounding  box.north)][scale=.7]
  \node (one) at (0,2) {$ X_{\zeta_i} \wedge Y_{\zeta_j}$};
  \node (a) at (-4,-.5) {$X_{\beta_{i-1}}\wedge Y_{\zeta_j}$};
  \node (b) at (-1,0) {$X_{\zeta_i}\wedge Y_{\beta_j}$};
  \node (c) at (1,0) {$X_{\beta_i}\wedge Y_{\zeta_j}$};
  \node (d) at (4,-0.5) {$X_{\zeta_i}\wedge Y_{\beta_{j-1}}$};
  \node (zero) at (0,-2) {$X_{\beta_i}\wedge Y_{\beta_j}$};
	\node (minus) at (0,-4) {$X_{\beta_{i-1}}\wedge Y_{\beta_{j-1}}$};
	\node (minusone) at  (-4.5,-2.5) {$X_{\beta_{i-1}}\wedge Y_{\beta_j}$};
	\node (minustwo) at  (4.5,-2.5) {$X_{\beta_i}\wedge  Y_{\beta_{j-1}}$};
	\node (extraleftone) at (-7,-.5)  {$\ldots$};
	\node (extralefttwo) at (-8,-2) {$\ldots$};
	\node (extrarightone) at (8,-2) {$\ldots$};
	\node (extrarighttwo) at (7,-.5) {$\ldots$};

	\draw  [->]   (zero)--(b) ;
	\draw [->]  (zero)--(c) ;
\draw	 [->](b)-- (one) ;
\draw	 [->](c)--(one) ;
	\draw [->]  (minus)--(a);
	\draw [->]   (minus)-- (d) ;
\draw	 [->]  (minusone)--(a) ;
	\draw [->]  (minusone) --(b) ;
\draw	 [->]  (minustwo)--(c) ;
	\draw [->] (minustwo)--(d);
\draw  [->]	(a)--(one) node[midway,above left] {$$}   ;
\draw	 [->] (d)--(one) node[midway, above right] {$$} ;
\draw [->]  (minusone) --(extraleftone) ;
\draw [->] (minusone)--(extralefttwo) ;
\draw [->] (minustwo)-- (extrarightone);
\draw [->] (minustwo)-- (extrarighttwo);
\end{tikzpicture}
\end{equation}
Furthermore, the homotopy left Kan extension $\mathbb{L}\phi_!\phi^*(X\wedge^{\mathbb{L}}Y)\in \Ho(\mathcal{M}^{\pro/\zeta_n})$ is the following.
\begin{equation}\label{hokanextendofabove}
\begin{tikzpicture}[baseline=(current  bounding  box.north)][scale=.9]
  \node (one) at (0,2) {$ X_{\zeta_{i-1}}\wedge Y_{\zeta_j} \coprod^h_{X_{\beta_{i-1}}\wedge Y_{\beta_{j-1}}}X_{\zeta_i}\wedge Y_{\beta_{j-1}}  $};
  \node (a) at (-4,-.5) {$X_{\beta_{i-1}}\wedge Y_{\zeta_j}$};
  \node (b) at (-1,0) {$X_{\beta_{i-1}}\wedge Y_{\beta_j}$};
  \node (c) at (1,0) {$X_{\beta_i}\wedge Y_{\beta_{j-1}}$};
  \node (d) at (4,-0.5) {$X_{\zeta_i}\wedge Y_{\beta_{j-1}}$};
  \node (zero) at (0,-2) {$\ast$};
	\node (minus) at (0,-4) {$X_{\beta_{i-1}}\wedge Y_{\beta_{j-1}}$};
	\node (minusone) at  (-4.5,-2.5) {$X_{\beta_{i-1}}\wedge Y_{\beta_j}$};
	\node (minustwo) at  (4.5,-2.5) {$X_{\beta_i}\wedge  Y_{\beta_{j-1}}$};
	\node (extraleftone) at (-7,-.5)  {$\ldots$};
	\node (extralefttwo) at (-8,-2) {$\ldots$};
	\node (extrarightone) at (8,-2) {$\ldots$};
	\node (extrarighttwo) at (7,-.5) {$\ldots$};

	\draw  [->]   (zero)--(b) ;
	\draw [->]  (zero)--(c) ;
\draw	 [->](b)-- (one) ;
\draw	 [->](c)--(one) ;
	\draw [->]  (minus)--(a);
	\draw [->]   (minus)-- (d) ;
\draw	 [->]  (minusone)--(a) ;
	\draw [double equal sign distance]  (minusone) --(b) ;
\draw	 [double equal sign distance]  (minustwo)--(c) ;
	\draw [->] (minustwo)--(d);
\draw  [->]	(a)--(one) node[midway,above left] {$$}   ;
\draw	 [->] (d)--(one) node[midway, above right] {$$} ;
\draw [->]  (minusone) --(extraleftone) ;
\draw [->] (minusone)--(extralefttwo) ;
\draw [->] (minustwo)-- (extrarightone);
\draw [->] (minustwo)-- (extrarighttwo);
\end{tikzpicture}
\end{equation}
We briefly explain how we calculated the left homotopy Kan extension $\mathbb{L}\phi_!(X\wedge^{\mathbb{L}}Y)$. From the formula \eqref{holanformula} of calculating homotopy Kan extensions, we can calculate
the homotopy left Kan extension $\mathbb{L}\phi_!\phi^*$ at an object $(\alpha_s,\alpha_t)\in \proz{n}$ as
\[ \mathbb{L}\phi_!(X\wedge^{\mathbb{L}}Y))_{(\alpha_s,\alpha_t)}\cong \hocolim( \phi/(\alpha_s,\alpha_t) \stackrel{\pi}{\rightarrow} \prog{n-1}\xrightarrow{\phi^*(X\wedge^{\mathbb{L}} Y) } \mathcal{M}).  \]
For the object $(\zeta_i,\beta_j)$, the slice $\phi/((\zeta_i,\beta_j))$ consists only of the object the object $(\beta_{j-1},\beta_j)$, which implies that
\[ (\mathbb{L}\phi_!)_{(\zeta_i,\beta_j)}=\Xb{i-1}\wedge \Yb{j}.  \]
For the object $(\beta_i,\zeta_j),$ the argument is the same as above. For $(\beta_i,\beta_j),$ the slice category $\phi/(\beta_i,\beta_j)$ is empty, which means that
\[(\mathbb{L}\phi_!)_{(\beta_i,\beta_j)}\cong \ast.   \]
For the object $(\zeta_i,\zeta_j),$ the slice category $ \phi/((\zeta_i,\zeta_j))$
is the poset
\[
\xymatrix{     & (\beta_{i-1},\zeta_j) &   & (\zeta_i,\beta_{j-1}) &    \\
              (\beta_{i-1},\beta_j)\ar[ur]&   & (\beta_{i-1},\beta_{j-1}) \ar[ur] \ar[ul] &   & (\beta_i,\beta_{j-1}). \ar[ul] }
\]
But the subposet
\[\xymatrix{  (\beta_{i-1},\zeta_j)     & (\beta_{i-1},\beta_{j-1}) \ar[r] \ar[l] &    (\zeta_i,\beta_{j-1}) }
\]
is homotopy final, which means that

\[ (\mathbb{L}\phi_!)_{(\zeta_i,\zeta_j)} \cong
(\mathbb{L}\phi_!)_{(\zeta_i,\zeta_j)}\cong \hocolim \left(  \begin{tikzcd}
  \Xb{i-1}\wedge \Yb{j-1} \arrow[r,"k_i\wedge 1"]   \arrow[d,"1\wedge \widetilde{k}_j",swap]    &  \Xz{i}\wedge \Yb{j-1}\\
 \Xb{i-1}\wedge \Yz{j}                            &
\end{tikzcd}\right).
\]

Next, we calculate the cone of the natural transformation $\varepsilon_{X\wedge^{\mathbb{L}}Y}$ \eqref{counitxby} of diagrams in $\Ho(\mathcal{M}^{\proz{n}})$. We have the diagram
$\cone(\varepsilon_{X\wedge^{\mathbb{L}}Y})\in \Ho(\mathcal{M}^{\proz{n}}),$ which is
\begin{align*}
\cone\left(\varepsilon_{X\wedge^{\mathbb{L}}Y}\right) \colon \pro/\zeta_n &\rightarrow \mathcal{M}\\
                                                (\alpha_s,\alpha_t) &\mapsto \cone\left(\phi_!(X\wedge^{\mathbb{L}}Y)_{(\alpha_s,\alpha_t)} \rightarrow (X\wedge^{\mathbb{L}}Y)_{(\alpha_s,\alpha_t)} \right).
\end{align*}
In other words, we are taking objectwise cones of the canonical map from the diagram \eqref{hokanextendofabove} to the diagram \eqref{functorprozetan}.
This means that $\cone\left(\varepsilon_{X\wedge^{\mathbb{L}}Y}\right)$ is as below.
\begin{equation}\label{conezndia}
\begin{tikzpicture}[scale=.8]
  \node (one) at (0,2) {$ \mathrm{cone}(k_i\mathbin\square^{\mathbb{L}} \widetilde{k}_j) $};
  \node (a) at (-4,-.5) {$\ast$};
  \node (b) at (-1,0) {$C^i\wedge Y_{\beta_j}$};
  \node (c) at (1,0) {$X_{\beta_i}\wedge \widetilde{C}^j $};
  \node (d) at (4,-0.5) {$\ast$};
  \node (zero) at (0,-2) {$\Sigma X_{\beta_i}\wedge Y_{\beta_j}$};
	\node (minus) at (0,-4) {$\ast$};
	\node (minusone) at  (-4.5,-2.5) {$\ast$};
	\node (minustwo) at  (4.5,-2.5) {$\ast$};
	\node (extraleftone) at (-7,-.5)  {$\ldots$};
	\node (extralefttwo) at (-8,-2) {$\ldots$};
	\node (extrarightone) at (8,-2) {$\ldots$};
	\node (extrarighttwo) at (7,-.5) {$\ldots$};

	\draw  [->]   (zero)--(b) ;
	\draw [->]  (zero)--(c) ;
\draw	 [->](b)-- (one) ;
\draw	 [->](c)--(one) ;
	\draw [->]  (minus)--(a);
	\draw [->]   (minus)-- (d) ;
\draw	 [->]  (minusone)--(a) ;
	\draw [->]  (minusone) --(b) ;
\draw	 [->]  (minustwo)--(c) ;
	\draw [->] (minustwo)--(d);
\draw  [->]	(a)--(one) node[midway,above left] {$$}   ;
\draw	 [->] (d)--(one) node[midway, above right] {$$} ;
\draw [->]  (minusone) --(extraleftone) ;
\draw [->] (minusone)--(extralefttwo) ;
\draw [->] (minustwo)-- (extrarightone);
\draw [->] (minustwo)-- (extrarighttwo);
\end{tikzpicture}
\end{equation}
Here, we have denoted
\begin{align*} C^i:=\cone(k_i)=\mathrm{cone}(X_{i-1}\rightarrow X_{\zeta_i})  \\
 \widetilde{C}^j:=\cone(\widetilde{k}_j)=\mathrm{cone}(Y_{j-1}\rightarrow Y_{\zeta_i}).
\end{align*}
Next, we determine the homotopy colimit of the diagram $\cone\left(\varepsilon_{X\wedge^{\mathbb{L}}Y}\right)$. One way is to observe that the homotopy colimit of the above diagram is isomorphic in $\Ho(\mathcal{M})$ to the homotopy colimit of (finite) coproduct of squares
\begin{equation}\label{broken}
\xymatrix{
\Sigma \Xb{i}\wedge \Yb{j} \ar[d] \ar[r] & \cone(k_i)\wedge \Yb{j} \ar[d] \\
  \Xb{i}\wedge \cone(\widetilde{k}_j) \ar[r] & \cone(k_i\mathbin\square^{\mathbb{L}} \widetilde{k}_j),
}
\end{equation}
where we can consider the above as an object in $\Ho(\mathcal{M}^\square)$. Formally this is obtained by taking the visually obvious map of posets $f\colon \square\rightarrow \proz{n}$ and considering the pullback
\[f^*\colon \Ho(\mathcal{M}^{\proz{n}})\rightarrow \Ho(\mathcal{M}^\square)  .\]
The bottom right corner of the poset $\square$ is its final object, which implies that the homotopy
colimit of the diagram \eqref{broken} is naturally isomorphic to $\cone(k_i\mathbin\square^{\mathbb{L}} \widetilde{k}_j)$. Hence the homotopy colimit over $\mathrm{pr}/\zeta_n$ is, up to natural isomorphism, the
coproduct $\bigvee_{i+j=n}\cone(k_i\mathbin\square^{\mathbb{L}} \cone(\widetilde{k}_j))$. Another way of seeing this is by pulling back the above diagram to $\theta_n\colon J_n\rightarrow \pro/\zeta_n$, and we get the diagram
\[
\begin{tikzcd}[column sep=tiny]
& \cone(k_{i-1}\mathbin\square^{\mathbb{L}} k_{j+1}) & & \cone(k_i\mathbin\square^{\mathbb{L}} k_j) & & \cone(k_{i+1}\mathbin\square^{\mathbb{L}} k_{j-1}) & \\
\ldots \arrow[ur]&             &\arrow[ul] \ast \ar[ur]  &         &\arrow[ul] \ast \arrow[ur]  &             &  \ldots \ar[ul].
\end{tikzcd}
\]
All in all, we have that the homotopy colimit of the diagram \eqref{conezndia} is
\begin{equation}\label{hocolimofcone}
\hocolim_{\pro/\zeta_n}\left(\cone( \varepsilon_{X\wedge^{\mathbb{L}}Y}) \right)\cong \bigvee_{i+j=n}\cone(k_i\mathbin\square^{\mathbb{L}}\widetilde{k}_j).
\end{equation}
Finally, by Corollary \ref{conemonoidal}, we have the canonical isomorphism
\[\cone(k_i\mathbin\square^{\mathbb{L}} \widetilde{k}_j)\cong \cone(k_i)\wedge^{\mathbb{L}} \cone(\widetilde{k}_j)\]
for each pair $i,j\in \mathbb{Z}/N\mathbb{Z}$.
 The coproduct of these isomorphisms together with \eqref{hocolimofcone} gives us that
\[\hocolim_{\pro/\zeta_n}\left(\cone(\varepsilon_{X\wedge^{\mathbb{L}}Y})\right)\cong \bigvee_{i+j=n} \cone(k_i)\wedge^{\mathbb{L}} \cone(\widetilde{k}_j).   \]
Let us now gather all this information to prove our proposition. Calculating the homotopy cofiber (cone) of the morphisms $i^*E_{\beta_{n-1}}\rightarrow i^*E_{\zeta_n}$ is the same thing as calculating the homotopy cofiber
$E_{\gamma_{n-1}}\rightarrow E_{\zeta_n}$. We have the following natural isomorphisms.
\begin{align}
\cone\left( i^*E_{\beta_{n-1}}\rightarrow i^*E_{\zeta_n}\right) &= \cone\left(E_{\gamma_{n-1}}\rightarrow E_{\zeta_n}  \right)  \nonumber  \\
                                                      &= \cone\left( \hocolim_{\mathrm{pr}/\gamma_{n-1}}\phi^*(X\wedge^{\mathbb{L}}Y) \rightarrow \hocolim_{\pro/\zeta_n}(X\wedge^{\mathbb{L}}Y)  \right) \nonumber \\
																											&\cong \cone\left(\hocolim_{\mathrm{pr}/\zeta_n}\phi_!\phi^*(X\wedge^{\mathbb{L}}Y)  \rightarrow \hocolim_{\mathrm{pr}/\zeta_n}(X\wedge^{\mathbb{L}}Y)   \right) \nonumber \\
																											&\cong \hocolim_{\pro/\zeta_n}\left(\cone\left( \phi_!\phi^*(X\wedge^{\mathbb{L}}Y)   \rightarrow (X\wedge^{\mathbb{L}}Y) \right)  \right) \nonumber \\

																											&\cong \bigvee_{i+j=n} \cone(k_i\mathbin\square^{\mathbb{L}} \widetilde{k}_j) \nonumber \\
																											&\cong  \bigvee_{i+j=n} \cone(k_i)\wedge^{\mathbb{L}} \cone(\widetilde{k}_j). \nonumber
\end{align}
\end{proof}

\begin{cor}\label{homoofnewcones}
Let $X,Y,E$ as before and assume furthermore that $F_*(\Xa{n}), F_*(\Ya{n})\in \mathcal{A}_{\mathrm{proj}}$ for any $n\in \mathbb{Z}/N\mathbb{Z}$ and any $\alpha\in \left\{\zeta,\beta\right\}$. Then there is a canonical isomorphism
\begin{displaymath}
C^{(n)}(i^*E)= F_*(\operatorname{cone}(i^*E_{\beta_{n-1}}\rightarrow i^*E_{\zeta_n}))\cong \bigoplus_{i+j=n}C^{(i)}(X)\otimes C^{(j)}(Y).
\end{displaymath}
\end{cor}
\begin{proof}
By our assumption, for any $\alpha\in \left\{\zeta,\beta\right\}$ and any $n\in \mathbb{Z}/N\mathbb{Z}$, the object $F_*\Xa{n}$ is projective. Therefore, by definition, $Z^{(n)}(X)$ and $B^{(n-1)}(X)$
are projective. The short exact sequence \eqref{sexci} now implies that for any $i\in\mathbb{Z}/N\mathbb{Z}$ the graded object $C^{(i)}(X)$ is projective. It follows by our assumptions that
\[F_*(\cone k_s \wedge^{\mathbb{L}} \cone \widetilde{k}_t) \cong F_*(\cone k_s)\otimes F_*(\cone k_t)   .\]
By Proposition \ref{newconesE} we have
\[\cone(i^*E_{\beta_{n-1}}\rightarrow i^*E_{\zeta_n})\cong \bigvee_{i+j=n}  \cone(k_i) \wedge^{\mathbb{L}} \cone(\tilde{k}_j),\]
and applying the functor $F_*(-)$ we have
\begin{align*}
F_*( \operatorname{cone}(i^*E_{\beta_{n-1}}\rightarrow i^*E_{\zeta_n}))&\cong F_*\left(\bigvee_{i+j=n}  \operatorname{cone}(k_i) \wedge^{\mathbb{L}} \operatorname{cone}(\tilde{k}_j)\right) \\
                                                                                &\cong\bigoplus_{i+j=n}F_*(\cone(k_i)\wedge^{\mathbb{L}} \cone \widetilde{k}_j)  \\
																																								&\cong\bigoplus_{i+j=n} F_*(\cone k_i) \otimes F_*(\cone \widetilde{k}_j ).   \\
																																								\end{align*}
Shifting the above by $[n]=[i+j]$ we have
\begin{equation*}
C^{(n)}(i^*E)\cong \bigoplus_{i+j=n} C^{(i)}(X)\otimes C^{(j)}(Y).
\end{equation*}
\end{proof}

\subsection{Differentials}\label{differentials}
In the previous subsection we proved that $C_*(i^*E)\cong C_*(X)\otimes C_*(Y)$ as objects in $\mathcal{A}$, so the diagram $i^*E$ is a good candidate for the tensor product $$C_*(X)\otimes C_*(Y).$$
The final step in order to show that indeed
\[\cQ(i^*E) \cong \cQ(X) \otimes  \cQ(Y )\]
as objects in $\mathrm{C}^{([1],1)}(\cA)$ is to prove that that the differential $d\colon C_*(i^*E) \to C_*(i^*E)[1]$ coincides with the differential of
the tensor product $C_*(X) \otimes C_*(Y)$. That is, we have to show that
\[(C_*(i^*E),d) \cong ((C_*(X)\otimes C_*(Y), d_{\otimes})   \]
where $d_{\otimes}$ is the differential of the tensor product of the dg-objects $(C_*(X),d)$ and $(C_*(Y),d)$.

\subsubsection{Reduction to the Case of Disks}
We will reduce the proof to a much simpler case. Let $L_*\in \mathrm{C}^{([1],1)}(\cA)$ and choose $s\in \mathbb{Z}/N\mathbb{Z}$. Without loss of generality we will assume that $L_*$ is degreewise projective. Consider the following map of differential graded objects
\begin{equation}\label{diskchain}
\xymatrix{ \ldots \ar[r] & 0 \ar[r] \ar[d] & L_s \ar@{=}[r] \ar@{=}[d] & L_s \ar[r] \ar[d]^{d^s} & 0 \ar[r] \ar[d] & \ldots \\
          \ldots  \ar[r]_{d^{s+2}} &  L_{s+1}   \ar[r]_{d^{s+1}}    &  L_s  \ar[r]_{d^s}        & L_{s-1}  \ar[r]_{d^{s-1}} & L_{s-2} \ar[r]_{d^{s-2}} & \ldots }
\end{equation}
where we view the top differential graded object as an object in $\mathcal{B}[s-1]\oplus \mathcal{B}[s]$, meaning that it is concentrated in degrees $s-1$ and $s$ modulo $N$. We denote this by $D^s(L_s)$, and we denote the above map of differential graded objects by
$f_{L,s}\colon D^s(L_s)\rightarrow L_*$. Under the equivalence of categories $\cQ\colon \mathcal{L} \rightarrow \mathrm{C}^{([1],1)}(\cA)$ there
are crowned diagrams $X$ and $X^{\prime}$ and a morphism $F\colon X\rightarrow X^{\prime}$ such that the morphism $f_{L,s}$ is realized as $\cQ(F)$. This means that there are isomorphisms
\[ \cQ(X)\cong D^s(L_s),\  \ \ \ \ \cQ(X^{\prime})\cong L_*   \]
and the following  diagram commutes.
\[
\begin{tikzcd}
 \cQ(X) \arrow{r}{\cQ(F)} \arrow[swap]{d}{\cong} & \cQ(X^{\prime}) \arrow{d}{\cong} \\
               D^s(L_s)     \arrow[swap]{r}{f_{L,s}}     &  L_*
\end{tikzcd}
\]
Now let $M_*$ be another differential graded object, which we also assume to be degreewise projective, and let $t\in \mathbb{Z}/N\mathbb{Z}$. Similarly to \eqref{diskchain} we have the morphism
\[g_{M,t}\colon D^t(M_t)\rightarrow M_*.\] Again, under the equivalence $\cQ$ there are crowned diagrams $Y$ and $Y^{\prime}$ and a morphism $G\colon Y\rightarrow Y^{\prime}$ such
that
 \[ \cQ(Y)\cong D^t(M_t), \ \  \cQ(Y^{\prime})\cong M_*   \]
and the following diagram commutes.
\[\begin{tikzcd}
\cQ(Y) \arrow{r}{\cQ(G)} \arrow[swap]{d}{\cong} & \cQ(Y^{\prime}) \arrow{d}{\cong} \\
               D^t(M_t)     \arrow[swap]{r}{g_{M,t}}     &  M_*
\end{tikzcd}
\]
We have the morphism of dg objects
$f_{L,s}\otimes g_{M,t}\colon D^s(L_s)\otimes D^t(M_t)\rightarrow L_*\otimes M_* $
which is
\begin{equation}\label{mapoftensors}
\xymatrix{ \ldots \ar[r] & L_s\otimes M_t \ar[r] \ar[d]  &  (L_s\otimes M_t)\oplus (L_s\otimes M_t) \ar[r] \ar[d]^{(d^s\otimes\mathrm{id},\mathrm{id}\otimes \widetilde{d}^t)} & \ldots \\
              \ldots   \ar[r]        &   \Oplus_{i+j=n}L_i\otimes M_j  \ar[r]  & \Oplus_{i+j=n+1} L_i\otimes M_j   \ar[r]    &\ldots }
\end{equation}
where the left vertical morphism is the inclusion of the $(s,t)$th summand and the right vertical map is the universal map out of the coproduct.

Now assume that
\[\cQ(i^*\mathrm{pr}_!(X\wedge^{\mathbb{L}} Y))\cong \cQ(X)\otimes \cQ(Y),    \]
that is, we prove our claim for the case of $X\cong \cQ^{-1}(D^s(L_s))$ and  $Y \cong \cQ^{-1}(D^t(M_t))$. The commutativity of the square  \eqref{mapoftensors} implies that the bottom vertical maps must also coincide with the tensor product $L_*\otimes M_*$, i.e.,
\[ Q(i^*\mathrm{pr}_!(X^{\prime}\wedge^{\mathbb{L}} Y^{\prime}))\cong L_*\otimes M_* \]
and the following diagram commutes degreewise.
\[\begin{tikzcd}
Q(i^*\mathrm{pr}_!(X\wedge^{\mathbb{L}} Y) ) \arrow{r} \arrow{d} &  \cQ(i^*\mathrm{pr}_!(X^{\prime}\wedge^{\mathbb{L}} Y^{\prime})) \arrow{d} \\
D^s(L_s)\otimes D^t(M_t)   \arrow{r}                &   L_*\otimes M_*
\end{tikzcd}
\]
The horizontal maps are indeed maps of dg-objects, so if we can show that the left hand vertical map is too, then the claim follows for the general $L_*$ and $M_*$. The proof of the former will occupy the next subsection.

\subsection{Differentials for Disks}

To prove the claim for disks, we discuss a
crowned diagram that corresponds to the disks.
By the \cite[Proposition 3.2.1]{PA12},
there is an object $A\in \Ho(\mathcal{M})$, such that $F_*A\in \mathcal{B}[s-1]=L_s,$ which is due to the fact that our assumptions force the corresponding Adams spectral sequence to collapse.
Consider the following crowned diagram
\[
\xymatrix{X= &     &  \ast                &   A                    &  \ast   & \ldots   \\
&\ldots \ar[ur] & \ast \ar[u]  \ar[ur] &  A \ar@{=}[u] \ar[ur]  &  \ast \ar[u]  \ar[ur]    &
}
\]
where the non-trivial entries are at the $(s-1)$-spot, i.e.,
\[
X_{\beta_{s-1}}=X_{\zeta_{s-1}}=A.
\]
The diagram $X\in \mathcal{L}$ since
\[B_*(X)=B^{(s-1)}(X)=F_*\Xb{s-1}=F_*A \,\,\,\,\mbox{and}\,\,\,\,Z_*(X)=Z^{(s-1)}(X)= F_*\Xz{s-1}=F_*A  .\]
Next, we calculate $(C_*(X),d)\in \mathrm{C}^{([1],1)}(\cA)$. The only nontrivial cones are $\cone(k_{s-1})$ and $\cone(k_s)$. This means that
\begin{align*}
C^{(s)}(X)&= F_*\cone(k_s)= F_* \cone( A\rightarrow \ast )= F_*(\Sigma A)\cong (F_*A)[1],   \\
C^{(s-1)}(X)&= F_* \cone(k_{s-1})= F_*\cone(*\rightarrow A)=F_*A, \\
C_*(X)&=C^{(s-1)}(X)\oplus C^{(s)}(X).
\end{align*}
We obtain that
$\lambda\colon B_*(X)\to Z_*(X)$ is the identity map, $\iota\colon Z_*(X)\to C_*(X) $ is inclusion to the first factor and $\rho\colon C_*(X)\to B_*(X)$ is the projection to the second factor.
It follows that $d\colon C_*(X)\to C_*(X)[1]$ is the identity. Similarly, $D^t(L_t)$ is mapped to a crowned diagram $Y$ in which
\[\Yb{t-1}= \Yz{t-1}=\widetilde{A}\] where
the only non-trivial morphism is the identity.

We now have the ingredients to deal with the following proposition.
\begin{prop}\label{differentialsdisks}
Let $X$ and $Y$ be the objects of $\mathcal{L}$ of the form $D^s(L_s)$ and $D^t(M_t)$. Then
\[ \cQ(i^*\mathbb{L}\mathrm{pr}_!(X\wedge^{\mathbb{L}}Y)) \cong \left(C_*(X)\otimes C_*(Y),d_{\otimes} \right)  \]
where $(C_*(X)\otimes C_*(Y), d_{\otimes})$ is the tensor product of $C_*(X)$ and $C_*(Y)$ in $\mathrm{C}^{([1],1)}(\cA)$.
\end{prop}

\begin{proof}
We note that the tensor product $D^s(L_s)\otimes D^t(M_t)$ is concentrated in degrees $s+t, s+t-1,$ and  $s+t-2$ modulo $N$. We will for now focus on the differential
$$C^{(s+t)}(i^*E)\to C^{(s+t-1)}(i^*E),$$ and we will discuss $$C^{(s+t-1)}(i^*E)\to C^{(s+t-2)}(i^*E) $$ later. (As usual, we write $E=\mathbb{L}\mathrm{pr}_!(X\wedge^{\mathbb{L}}Y).$) By Proposition \ref{propA} and Proposition \ref{newconesE}
we can construct a diagram $E=\mathbb{L}\mathrm{pr}_!(X\wedge^{\mathbb{L}}Y)\in \Ho(\mathcal{M}^{D_N})$ such that
\begin{equation*}
i^*E\in \mathcal{L} \ \   \mbox{and} \ \    \cone(i^*E_{\beta_{n-1}}\rightarrow i^*E_{\zeta_n})\cong \bigvee_{i+j=n} \cone(k_i)\wedge \cone(\widetilde{k}_j).
\end{equation*}
For notational convenience we will write
\begin{equation*}
\widehat{k}_n\colon i^*\Eb{n-1}\rightarrow i^*\Ez{n} \ \ \text{and} \ \ \widehat{l}_n\colon i^*\Eb{n}\rightarrow \Ez{n}
\end{equation*}
for the structure maps of the crowned diagram $i^*E$. We briefly recall the construction of the differential
\[ d\colon C_*(i^*E)\rightarrow  C_*(i^*E)[1] \ \ d=\iota[1]\lambda[1]\rho C_*(i^*E)\rightarrow C_*(i^*E)[1]. \]
Degreewise, the differential on $C^{(n)}(i^*E)\to C^{n-1}(i^*E)$ is given by applying $F_*(-)$ to the sequence of maps
\begin{equation}\label{compositionforiE}
\cone(\widehat{k}_n) \rightarrow \Sigma E_{\gamma_{n-1}}\rightarrow \Sigma E_{\zeta_{n-1}}\rightarrow \Sigma\mathrm{cone}(\widehat{k}_{n-1}).
\end{equation}
Therefore, we have to show that for $n=s+t$ the sequence of maps \eqref{compositionforiE} after applying $F_*(-)$ gives us the differential of the tensor product of disks. By Proposition
\ref{newconesE},
we have
\begin{align*}
\cone(\widehat{k}_{s+t})&\cong \cone(k_s)\wedge^{\mathbb{L}} \cone(\widetilde{k}_t)    \\
\cone(\widehat{k}_{s+t-1})&\cong \left(\cone(k_{s-1})\wedge^{\mathbb{L}} \cone(\widetilde{k}_{t})\right) \vee \left(\cone(k_{s})\wedge^L \cone(\widetilde{k}_{t-1})\right).
\end{align*}
Directly from the structure morphisms of the crowned diagrams $X$ and $Y$ we have
 \begin{align*}
\cone(\widehat{k}_{s+t}) &\cong (\Sigma A) \wedge (\Sigma\widetilde{A})  \\
\cone(\widehat{k}_{s+t-1})&\cong  \left(A\wedge \Sigma\widetilde{A}\right) \vee \left(\Sigma A\wedge \widetilde{A} \right).
\end{align*}
To analyse the sequence of maps \eqref{compositionforiE} it remains to calculate $\Eg{s+t-1}, \Ez{s+t-1}, \Ez{s+t}$ and the maps $E_{\gamma_{s+t-1}}\to E_{\zeta_{s+t-1}}$.
The maps
\begin{align}
\cone(\widehat{k}_{s+t})&\rightarrow \Sigma \Eg{s+t-1} \label{prwtomap}   \\
\Sigma \Ez{s+t-1}         &\rightarrow \Sigma\mathrm{cone}(\widehat{k}_{s+t-1}) \label{deuteromap}
\end{align}
are the canonical maps that are given by construction of distinguished triangles in a simplicial stable model category. The map \eqref{prwtomap} is the canonical map
\[\cone(\widehat{k}_{s+t})\rightarrow S^1\wedge E_{\gamma_{s+t-1}}\]
see Definition \ref{elementary}. Similarly, the map
\eqref{deuteromap} is the suspension of the canonical map
\[\Ez{s+t-1}\rightarrow \cone(\widehat{k}_{s+t-1},)\]
see Definition \ref{elementary}.

To compute the above, let us recall from (\ref{subposetzetan}) the poset $J_n$ with inclusion $\theta\colon J_n\hookrightarrow \mathrm{pr}/\zeta_n$ and left adjoint $L\colon \mathrm{pr}/\zeta_n\to J_n$.
For $i+j\equiv n$ modulo $N$ the poset $J_n$ looks as below.
\begin{equation*}
\begin{tikzpicture}[scale=1.7]
\node (zero) at (0,1) {$(\zeta_i,\zeta_j)$};
\node (one) at (1,0) {$(\beta_i,\beta_{j-1})$};
\node (two) at (2,1) {$(\zeta_{i+1},\zeta_{i-1})$};
\node (three)at ( 3,0) {$\ldots$};
\node (four) at (-1,0) {$(\beta_{i-1},\beta_j)$};
\node (five) at (-2,1) {$(\zeta_{i-1},\zeta_{i+1})$};
\node (six) at (-3,0) {$\ldots$};
\draw [->] (one)-- (zero);
\draw [->] (one)-- (two);
\draw [->] (three)-- (two);
\draw [->] (four)-- (zero);
\draw [->] (four)-- (five);
\draw [->] (six)-- (five);
\end{tikzpicture}
\end{equation*}
Also, recall from  (\ref{gamman}) the slice category $\mathrm{pr}/\gamma_n$, which for $i+j\equiv n$ looks as follows.
\begin{equation*}
\begin{tikzpicture}[scale=1.7]
\node (zero)at (0,0) {$(\beta_i,\beta_j)$};
\node (one) at (1,1) {$(\beta_i,\zeta_j)$};
\node (two) at (-1,1){$(\zeta_i,\beta_j)$};
\node (three) at (2,0){$(\beta_i,\beta_{j-1})$};
\node (four)  at (-2,0){$(\beta_{i-1},\beta_j)$};
\node (five) at  (3,1){$(\zeta_{i+1},\beta_{j-1})$} ;
\node (six) at   (-3,1) {$(\beta_{i-1},\zeta_{i+1})$};
\node (seven) at  (4,0) {$\ldots$};
\node (eight) at (-4,0) {$\ldots$};
\draw [->] (zero)-- (one) ;
\draw [->] (zero)-- (two);
\draw [->](three)-- (one);
\draw[->] (four)-- (two);
\draw [->](three)-- (five);
\draw [->](four)--(six);
\draw [->](seven)-- (five);
\draw [->](eight)--(six);
\end{tikzpicture}
\end{equation*}
By definition of homotopy left Kan extensions, we have
\begin{align*}
E_{\zeta_{n}}&=\hocolim_{\mathrm{pr}/\zeta_{n}} X\wedge^{\mathbb{L}} Y\cong \hocolim_{J_{n}} \theta^*(X\wedge^{\mathbb{L}}Y), \\
E_{\gamma_{n}}&=\hocolim_{\mathrm{pr}/\gamma_{n}}(X\wedge^{\mathbb{L}}Y).
\end{align*}
The maps
\[\Eg{n-1}\rightarrow \Ez{n} \ \ \text{and} \ \ \Eg{n-1}\rightarrow \Ez{n-1} \]
are the maps of homotopy colimits induced by the respective map of posets
\[\psi\colon \pro/\gamma_{n-1}\rightarrow \pro/\zeta_{n} \ \ \text{and} \ \ \phi\colon \pro/\gamma_{n-1}\rightarrow \pro/\zeta_{n-1}.\]

We start with calculating $\Ez{s+t-1}$. The underlying diagram $\theta^*(X\wedge^{\mathbb{L}}Y)\in \Ho(\mathcal{M}^{J_{s+t-1}})$ is
\begin{equation}\label{Jn1}
\xymatrix{
   &\ast&  &\ast&   &\ast&                   \\
 \ldots \ar[ur]  && A\wedge\widetilde{A} \ar[ur] \ar[ul]  &&\ast \ar[ur] \ar[ul]   &&\ldots \ar[ul]
}
\end{equation}
where there only non-trivial entry is at $(\beta_{s-1},\beta_{t-1})$. From the diagram above we get
\begin{equation*}
\Ez{s+t-1}=\hocolim_{\mathrm{pr}/\zeta_{s+t-1}}(X\wedge^{\mathbb{L}}Y)\cong\hocolim_{J_{s+t-1}}\theta^*(X\wedge^{\mathbb{L}}Y)\cong \Sigma A\wedge \widetilde{A}.
\end{equation*}
We do the same for $\Eg{s+t}, \Eg{s+t-1}$ and $\Eg{s+t-2}$.
The value $\Eg{s+t-2}$ is the homotopy colimit of the diagram $X\wedge^{\mathbb{L}} Y\in \Ho(\mathcal{M}^{\mathrm{pr}/\gamma_{s+t-2}})$ which is
\begin{equation*}\label{Egamman2}
\xymatrix{
&\ast& &A\wedge \widetilde{A}& &A\wedge \widetilde{A}& &\ast&  \\
\ldots \ar[ur]& &\ast \ar[ur] \ar[ul]& &A\wedge \widetilde{A} \ar@{=}[ur] \ar@{=}[ul]& &\ast \ar[ur] \ar[ul]& & \ldots  \ar[ul]}
 \end{equation*}
with non-trivial entries at the places $(\beta_{s-1}, \beta_{t-1})$ on the bottom, $(\zeta_{s-1},\beta_{t-1})$ on the left and $(\beta_{s-1},\zeta_{t-1})$ on the right. Thus, $\Eg{s+t-2}\cong A\wedge \widetilde{A}.$ Similarly, we have
\begin{align*}
\Eg{s+t} &=  \hocolim_{\mathrm{pr}/\gamma_{s+t}}(X\wedge^{\mathbb{L}} Y)\cong * \\
\Eg{s+t-1}&= \hocolim_{\mathrm{pr}/\gamma_{s+t-1}}(X\wedge^{\mathbb{L}} Y)\cong \Sigma A\wedge\widetilde{A}.
\end{align*}
We move on to calculate the map $\cone(\widehat{k}_{s+t})\rightarrow S^1\otimes \Eg{s+t-1}$. From Definition \ref{elementary} we have the pushout square
\begin{equation*}
\xymatrix{ \Eg{s+t-1} \ar[r]^{\widehat{k}_{s+t}} \ar[d]  & \Ez{s+t}    \ar[d]    \ar@/^/[rdd]^{\ast} &     \\
          (I,0)\otimes \Eg{s+t-1}        \ar[r] \ar@/_/[rrd]_{\pi\wedge 1}      & \cone(\widehat{k}_{s+t}) \ar@{.>}[dr] &     \\
                                                   &                      & S^1\otimes \Eg{s-t-1}
}
\end{equation*}
which, based on our computations, is the following.
\begin{equation*}
\xymatrix{
\Sigma A\wedge \widetilde{A} \ar[d] \ar[r] & \ast         \ar[d] \ar@/^/[rdd]     & \\
  (I,0)\otimes \Sigma(A\wedge \widetilde{A}) \ar@/_/[drr]_{\pi\wedge 1} \ar[r]  & \cone(\widehat{k}_{s+t}) \ar@{.>}[dr]  & \\
                                  &                     & S^1\otimes (\Sigma A\wedge \widetilde{A})  }
\end{equation*}
Recall from Proposition \ref{newconesE}, \eqref{hocolimofcone}, and Corollary \ref{conemonoidal} that there is a series of canonical isomorphisms
\[\cone(\widehat{k}_{s+t})\cong \cone(k_s\mathbin\square^{\mathbb{L}}\widetilde{k}_t )\cong \cone(k_s)\wedge^{\mathbb{L}} \cone(\widetilde{k}_t). \]
In our particular case, in which $k_s\colon A\to A$ and $\widetilde{k}\colon \widetilde{A}\to *$, this is
\[\cone(\widehat{k}_{s+t})\cong \cone(k_s\mathbin\square^{\mathbb{L}} k_t)\cong \Sigma^2A\wedge\widetilde{A} \cong \Sigma A\wedge \Sigma\widetilde{A}\cong\cone(k_s)\wedge^{\mathbb{L}} \cone(\widetilde{k}_t).\]
This implies that the universal map out of the pushout is the identity map. Thus, the map
\begin{equation*}
\cone(\widehat{k}_{s+t})\rightarrow \Sigma \Eg{s+t-1}
\end{equation*}
is the map $\Sigma A\wedge \Sigma \widetilde{A} \to \Sigma^2 (A\wedge \widetilde{A})$ which is the composition of the canonical map (commutation of colimits) and the identity map. From the posets above we can see
directly that the map
\begin{equation*}
\widehat{l}_{s+t-1}\colon \Eg{s+t-1}\rightarrow \Ez{s+t-1}
\end{equation*} is the identity map induced by
\begin{equation*}
\psi\colon \mathrm{pr}/\gamma_{s+t-1}\rightarrow \pro/\zeta_{s+t-1}.
\end{equation*}
Therefore the map
\begin{equation*}
\Sigma\widehat{l}_{s+t-1}\colon \Eg{s+t-1}\rightarrow \Sigma\Ez{s+t-1}
\end{equation*}
is the identity map
\begin{equation*}
1\colon \Sigma^2(A\wedge \widetilde{A})\rightarrow \Sigma^2(A\wedge \widetilde{A}).
\end{equation*}
Lastly it remains to figure out the map
\begin{equation*}
\Ez{s+t-1}\rightarrow \cone(\widehat{k}_{s+t-1}).
\end{equation*}
Recall from the proof of Proposition \ref{newconesE} that $\cone(\widehat{k}_{s+t-1})$ can be written as a homotopy colimit
\begin{equation*}
\cone(\widehat{k}_{s+t-1})\cong \hocolim_{\mathrm{pr}/\zeta_{s+t-1}}\left(\cone(\varepsilon_{X\wedge^{\mathbb{L}}Y} ) \right),
\end{equation*}
where $\phi\colon \mathrm{pr}/\gamma_{s+t-2}\to \mathrm{pr}/\zeta_{s+t+1} ,$ and $\varepsilon $ is the counit of the derived adjunction $(\mathbb{L}\phi_!,\phi^*)$. Pulling back the diagram
$\cone(\varepsilon_{X\wedge^{\mathbb{L}}Y})$ to $J_{s+t-1}$ along the inclusion $\theta\colon J_{s+t-1}\to \proz{s+t-1},$ we obtain the diagram
\begin{equation*}
\begin{tikzpicture}[scale=1.7]
\node (zero) at (0,1) {$ \Sigma A\wedge \widetilde{A}$};
\node (one) at (1,0) {$\ast$};
\node (two) at (2,1) {$\ast$};
\node (three)at ( 3,0) {$\ldots$ };
\node (four) at (-1,0) {$\ast$};
\node (five) at (-2,1) {$A\wedge \Sigma \widetilde{A}   $};
\node (six) at (-3,0) {$\ldots$};
\draw [->] (one)-- (zero);
\draw [->] (one)-- (two);
\draw [->] (three)-- (two);
\draw [->] (four)-- (zero);
\draw [->] (four)-- (five);
\draw [->] (six)-- (five);
\end{tikzpicture}
\end{equation*}
with non-trivial entries at $(\zeta_{s-1},\zeta_t)$ and $(\zeta_{s},\zeta_{t-1})$ respectively. Recall the following diagram from \eqref{Jn1}
$\theta^*(X\wedge^{\mathbb{L}}Y) \in \Ho(\mathcal{M}^{J_{s+t-1}})$
\begin{equation*}
\begin{tikzpicture}[scale=1.7]
\node (zero)at (0,0) {$\ast$};
\node (one) at (1,1) {$\ast$};
\node (two) at (-1,1){$\ast$};
\node (three) at (2,0){$\ast$};
\node (four)  at (-2,0){$A\wedge\widetilde{A}$};
\node (five) at  (3,1){$\ast$} ;
\node (six) at   (-3,1) {$\ast$};
\node (seven) at  (4,0) {$\ldots$};
\node (eight) at (-4,0) {$\ldots$};
\draw [->] (zero)-- (one) ;
\draw [->] (zero)-- (two);
\draw [->](three)-- (one);
\draw[->] (four)-- (two);
\draw [->](three)-- (five);
\draw [->](four)--(six);
\draw [->](seven)-- (five);
\draw [->](eight)--(six);
\end{tikzpicture}
\end{equation*}
with only non-trivial entry at $(\beta_{s-1},\beta_{t-1})$, left top being $(\zeta_{s-1},\zeta_t)$ and right top being $(\zeta_s,\zeta_{t-1})$.
Because of the shape of the underlying posets and the map, we can safely ignore
the trivial entries, so the map $\Eg{s+t-1}\to\cone(\widehat{k}_{s+t-1})$
 can be taken as the map of homotopy pushouts
\[\hocolim(\ast \leftarrow A\wedge \widetilde{A} \rightarrow \ast  ) \rightarrow \hocolim(A\wedge \Sigma \widetilde{A}  \leftarrow \ast \rightarrow \Sigma A\wedge\widetilde{A}   )    ,\]
induced by the following map of posets.
\begin{equation*}
\xymatrix{\ast  \ar[d] & \ar[l] A\wedge \widetilde{A}  \ar[r] \ar[d] & \ast \ar[d]   \\
A\wedge \Sigma \widetilde{A}   & \ar[l]    \ast \ar[r]   & \Sigma A\wedge\widetilde{A}
}
\end{equation*}
Now consider the above map of diagrams and the following map at the bottom.
\begin{equation*}
\xymatrix{ \ast  \ar[d] & \ar[l] A\wedge \widetilde{A}  \ar[r] \ar[d] & \ast \ar[d]   \\
A\wedge \Sigma \widetilde{A}  \ar[d]_{\tau} & \ar[l]  \ar[d]  \ast \ar[r]  \ar[d]  & \Sigma A\wedge\widetilde{A}   \ar@{=}[d]   \\
  \Sigma A\wedge\widetilde{A}                  &    \ar[l]    \ast \ar[r]                      & \Sigma A\wedge\widetilde{A}    }
\end{equation*}
Here, $\tau$ is the map
\[ A\wedge \Sigma \widetilde{A} = A\wedge (S^1\wedge \widetilde{A} ) \cong (A\wedge S^1) \wedge \widetilde{A} \xrightarrow{\tau} (S^1\wedge A)\wedge \widetilde{A}\cong \Sigma A\wedge \widetilde{A}\]
and the first map is the associativity
isomorphism. By Lemma \ref{diagonal} the induced map
of homotopy colimits is, up to weak equivalence, the diagonal map
\[\operatorname{diag}\colon \Sigma A\wedge \widetilde{A}\rightarrow (\Sigma A\wedge \widetilde{A}) \vee (\Sigma A\wedge \widetilde{A}).\]
Hence, the map \eqref{compositionforiE} is up to weak equivalence
the diagonal map but with a sign introduced by the twist map as above. This  and Corollary \ref{homoofnewcones} imply that that indeed the differential
\[d\colon C^{(s+t)}(i^*E)\rightarrow C^{(s+t-1)}(i^*E)\] coincides with the differential of the tensor product of
\[\left((D^sL^s) \otimes (D^t\widetilde{L}^t) \right)^{s+t} \rightarrow \left((D^sL^s) \otimes (D^t\widetilde{L}^t) \right)^{s+t-1}.\]
We do not need to consider the other differential, namely to check that the differential
\[ C^{(s+t-1)}(i^*E)\rightarrow C^{(s+t-2)}(i^*E)  \]
coincides with the differential
\[\left((D^sL^s) \otimes (D^t\widetilde{L}^t) \right)^{s+t-1} \rightarrow \left((D^sL^s) \otimes (D^t\widetilde{L}^t) \right)^{s+t-2},\]
since by construction $(C_*(i^*E),d)$ is a differential graded object and that means that by necessity $d[1]\circ d=0$ on $C_*(i^*E)$. This concludes the proof.
\end{proof}

To conclude this section, by combining Corollary \ref{homoofnewcones} and Proposition \ref{differentialsdisks} we have proved the following proposition.
\begin{prop}\label{propB}
Let $X,Y\in \mathcal{L}$ such that $F_*(X_{{\alpha}_n}), F_*(Y_{{\alpha}_n})\in  \mathcal{A}_{\mathrm{proj}}$ for any $n\in \mathbb{Z}/N\mathbb{Z}$ and any $\alpha\in \left\{\beta,\zeta\right\}$. There is a natural isomorphism
\[
\cQ(i^*\mathbb{L}\mathrm{pr}_!(X\wedge^{\mathbb{L}}Y ))\cong \cQ(X)\otimes \cQ(Y) .
\]
\end{prop}
\qed

\subsection{Technical lemmas}
In this subsection we prove two technical lemmas that are used in the the previous proofs.
The first lemma is about the canonical map from the suspension of an object to the wedge product of suspensions in a stable, simplicial model category $\mathcal{M}$.
The second lemma is about pushout-products of injective morphisms in a hereditary abelian category $\mathcal{A}$.

\begin{lemma}\label{diagonal}
Let $\mathcal{M}$ be a stable simplicial model category and	let $X\in \mathcal{M}$. Consider the following map of homotopy pushouts
	\[\hocolim(*\leftarrow X\rightarrow *) \rightarrow \hocolim(\Sigma X\leftarrow *\rightarrow \Sigma X  ) .  \]
	Then the above map is, up to isomorphism in $\Ho(\mathcal{M})$, the diagonal map
	\[\operatorname{diag}\colon \Sigma X\rightarrow \Sigma X \vee \Sigma X.  \]
\end{lemma}

\begin{proof}
	Let $CX= (I,0)\otimes X $ be the cone of $X$ and let $i\colon X\rightarrow CX$ be the canonical inclusion, which is a
	cofibration. We choose a model for $\Sigma X$ as the homotopy pushout
	\[
	\Sigma X\cong \hocolim(CX \leftarrow X \rightarrow CX).\]
	In fact, we can take this to be the ordinary pushout $\colim(CX \longleftarrow X\rightarrow CX )$ since $i\colon X\rightarrow CX$ is a cofibration.

	From this model we get directly that the induced map on pushouts
	\[\begin{tikzcd}
		CX \arrow[swap]{d}{\pi\otimes 1} & \arrow[swap]{l}{i}  X \arrow{r}{i} \arrow{d} & CX  \arrow{d}{\pi\otimes 1}   \\
		\Sigma X               & \arrow{l}  \ast  \arrow{r}                    & \Sigma X
	\end{tikzcd}
	\]
	where $\pi \colon I\to S^1 $ is the projection is indeed the diagonal map $\mathrm{diag}\colon \Sigma X\rightarrow \Sigma X \vee \Sigma X$. Hence, the induced map of homotopy pushouts is the diagonal map up to natural isomorphism.
\end{proof}

\begin{lemma}\label{ppinjective}
	Let $\mathcal{A}$ be a heridary abelian category. Let $X,Y, U ,V\in \mathcal{A}_{\mathrm{proj}}$  and let $f\colon X\rightarrow Y$ and $g\colon U\rightarrow V$ be injective maps. Then the pushout-product map $f\mathbin\square g $ is injective.
\end{lemma}
\begin{proof}
	Since $g\colon U\rightarrow V$ is monomorphism we have the short exact sequence
	\[ 0\rightarrow U\xrightarrow{g} V \stackrel{j}{\rightarrow} \operatorname{coker}g \rightarrow 0.\]
	Notice that the dimension of the abelian category $E(1)_*$-modules is $1$, which implies that $\operatorname{coker}g$ is a projective module since it is a submodule of $V$. Since $X$ is flat, $X\otimes -$ is an exact functor,
	which means that the sequence
	\[0\rightarrow  X\otimes U \xrightarrow{1\otimes g} X\otimes V \xrightarrow{1\otimes j} X\otimes \operatorname{coker}g \rightarrow 0   \]
	is short exact.
	Consider the diagram
	\[
	\xymatrix{ 0 \ar[r]  & X\otimes U \ar[r]^{1\otimes g} \ar[d]_{f\otimes 1}  & X\otimes V \ar[r]^{1\otimes j} \ar[d] & X\otimes \coker g \ar[r] \ar@{=}[d] & 0 \\
		0 \ar[r]  & Y\otimes U \ar[r] \ar@{=}[d]  &  P  \ar[r] \ar[d]_{f\mathbin\square g}       &  X\otimes \coker g\ar[r] \ar[d]^{f\otimes 1} & 0 \\
		0 \ar[r]  &   Y\otimes U \ar[r]_{1\otimes g}   & Y\otimes V \ar[r]_{1\otimes j}   &  Y\otimes \coker g  \ar[r]  & 0
	}
	\]
	where $P$ is the pushout of $1\otimes g$ and $g\otimes 1$. Since the top left square is cocartesian, the canonical map $\coker(1\otimes g) \stackrel{\cong}{\rightarrow} \coker(Y\otimes U\rightarrow P)$ is an isomorphism, so the middle row is also
	exact. Now note that the morphism $f\otimes 1\colon X\otimes \coker g\rightarrow Y\otimes \coker g $ is injective since $\coker g$ is projective. Applying the snake lemma gives us
	that $f\mathbin\square g $ is a monomorphism.

\end{proof}

\section{Main Result}\label{sec:mainresult}
\subsection{Homotopy Colimit Calculations}
In this section we discuss how the functor $i^*\mathbb{L}\mathrm{pr}_!$ interacts with the homotopy colimits of the various diagram categories, giving us the right hand side of the main diagram \ref{bigdiagram}. The main result of the section is the following.
\begin{thm}\label{theoremB}
For any pair of diagrams $(X,Y)\in \Ho(\mathcal{M}^{C_N})\times \Ho(\mathcal{M}^{C_N})$, the homotopy colimit of the diagram $i^*\mathbb{L}\mathrm{pr}_!(X\wedge^{\mathbb{L}}Y)\in \Ho(\mathcal{M}^{C_N})$ is naturally isomorphic to the smash
product of the homotopy colimits of $X$ and $Y$, that is,
\[
\hocolim_{C_N}\left(i^*\mathbb{L}\mathrm{pr}_!(X\wedge^{\mathbb{L}}Y)\right)\cong \hocolim_{C_N}X \wedge^{\mathbb{L}}  \hocolim_{C_N}Y.
\]
\end{thm}
Recall from Definition \ref{definitionofverticalmap} that we defined the functor
\[i^*\mathbb{L}\mathrm{pr}_!(-\wedge^{\mathbb{L}}-)\colon \Ho(\mathcal{M}^{C_N})\times\Ho(\mathcal{M}^{C_N})\to \Ho(\mathcal{M}^{C_N})\]
as the composition
\[\Ho(\mathcal{M}^{C_N})\times \Ho(\mathcal{M}^{C_N}) \xrightarrow{ \wedge^{\mathbb{L}}}  \Ho(\mathcal{M}^{C_N\times C_N})\xrightarrow{\mathbb{L}\mathrm{pr}_! }  \Ho(\mathcal{M}^{D_N}) \xrightarrow{i^*} \Ho(\mathcal{M}^{C_N}).\]
In order to prove Theorem \ref{theoremB} we will break it apart into smaller lemmas. Consider the following diagram.
\begin{equation*}\label{dexiomeros}
\xymatrix{ \Ho(\mathcal{M}^{C_N})\times \Ho(\mathcal{M}^{C_N})    \ar[r]  \ar[d]_{\wedge^{\mathbb{L}}}                            &  \Ho(\mathcal{M}) \\
          \Ho(\mathcal{M}^{C_N\times C_N})  \ar[d]_{\mathbb{L}\mathrm{pr}_!}    \ar[ur]           & \\
					\Ho(\mathcal{M}^{D_N})    \ar[d]_{i^*}       \ar[uur]                   & \\
					\Ho(\mathcal{M}^{C_N})  \ar@/_/[uuur]
}
\end{equation*}
The top horizontal functor is the smash product of homotopy colimits of crowned diagrams, that is, $\hocolim_{C_N}X \wedge^{\mathbb{L}}\hocolim_{C_N}Y.$
The three other functors are the homotopy colimit functors

\begin{enumerate}[(i)]
\item $\hocolim_{C_N\times C_N}\colon  \Ho(\mathcal{M}^{C_N\times C_N}) \rightarrow \Ho(\mathcal{M})$, \\
\item $\hocolim_{D_N}\colon\Ho(\mathcal{M}^{D_N})\rightarrow \Ho(\mathcal{M}),   $ \\
\item $\hocolim_{C_N}\colon \Ho(\mathcal{M}^{C_N}) \rightarrow \Ho(\mathcal{M})$.
\end{enumerate}

Theorem \ref{theoremB} asserts that the outer triangle above commutes up to isomorphism. This will follow once we show that all the small triangles commute up to isomorphism.

\begin{lemma}\label{lemma1}
The top triangle and the middle triangle commute, that is,
\[\hocolim_{C_N}X\wedge^{\mathbb{L}}\hocolim_{C_N}Y\cong \hocolim_{C_N\times C_N}(X\wedge^{\mathbb{L}}Y) \]
and
\[\hocolim_{C_N\times C_N}(X\wedge^{\mathbb{L}} Y)  \cong \hocolim_{D_N} \mathrm{pr}_!(X\wedge^{\mathbb{L}} Y).\]
\end{lemma}
\begin{proof}

The first assertion follows from Corollary \ref{hocolimIJ} as a direct application for $C=D=C_N$. The second assertion follows from the fact that the homotopy colimit of a homotopy left Kan
extension of a diagram is isomorphic to the homotopy colimit of the diagram itself \cite[Proposition 4.3.2]{RI20}.
\end{proof}

The remaining statement is the commutativity of the bottom triangle. Recall the functor $i\colon C_N\to D_N$ from \eqref{definitioni}.
\begin{prop}\label{lemma3}
The bottom triangle commutes, that is,
\begin{equation*}
\hocolim_{C_N}i^*E\cong \hocolim_{D_N}E.
\end{equation*}
\end{prop}

We will prove the above proposition by proving that the functor $i\colon C_N\rightarrow D_N$ is homotopy final. Recall that a functor between small categories $K\colonC\rightarrow D$ is \emph{homotopy final}
(or \emph{homotopy terminal}) if for every object $d\in D$, the simplicial set $N(d/K)$ is contractible see \cite[Definition 8.5.1]{Riehl}. A convenient way to check whether a poset is contractible
is given by Quillen \cite[Section 1.5]{QU78}: a poset $C$ is \emph{conically contractible} if there is an object $c_0\in C$ and a map of posets $f\colon C\to C$ such that $c\leq f(c)
\geq c_0$ for every $c\in C$. In this
case one can show that the identity $1_{C}$, the map $f$, and the constant map with value $c_0$ from $C$ to itself are homotopic (that is to say, their realizations are homotopic), and hence $C$
is contractible. So, given a diagram $E\in \Ho(\mathcal{M}^{D_N})$, to check that the canonical morphism
\begin{equation*}
\phi_i\colon \hocolim_{C_N}i^*E \rightarrow \hocolim_{D_N}E
\end{equation*}
is an isomorphism it suffices to check that the slice categories $\alpha_n/i$ of the functor $i\colon C_N\to D_N$ are contractible for any $\alpha\in \left\{\zeta,\gamma,\beta\right\}$ and any $n\in \mathbb{Z}/N\mathbb{Z}$.

\begin{lemma}
The functor $i\colon C_N\rightarrow D_N$ is homotopy final.
\end{lemma}

\begin{proof}
We will prove the above proposition by applying Quillen's criterion of conical contractible posets. First, we identity the slice categories $\zeta_n/i, \gamma_n/i$ and $\beta_n/i$ and then we will
check that they are indeed conically contractible. We start with $\zeta_n/i$. By definition,
\[\zeta_n/i=\left\{\alpha_n\in C_N\colon i(\alpha_n)\geq \zeta_n \right\}= \left\{\zeta_n\right\}.\]
Since this poset contains only one element it is is obviously contractible. The next slice categories are of the form $\gamma_n/i$. By definition,
\begin{equation*}
\gamma_n/i=\left\{\alpha_n\in C_N\colon i(\alpha_n)\geq \gamma_n\right\},
\end{equation*}
that is, $\gamma_n/i$ is the poset
\begin{equation*}\xymatrix{ \zeta_{n} & \zeta_{n+1}. \\
                             \beta_n \ar[u] \ar[ur]  &   }
\end{equation*}
We choose $\beta_n$ and $1\colon \gamma_n/i\rightarrow \gamma_n/i$. Directly from above we can see that $\gamma_n/i$ is conically contractible.
The last case are the slices $\beta_n/i$. By definition,
\begin{equation*}\beta_n/i=\left\{\alpha_n\inC_N\colon i(\alpha_n)\geq \beta_n\right\},
\end{equation*}
which is the poset
\[\xymatrix{\zeta_{n}  & \zeta_{n+1} \\
           \beta_{n} \ar[u] \ar[ur]     & \beta_{n+1}. \ar[u]   }\]
We choose $\beta_n$ and the map of $\beta_n/i\rightarrow \beta_n/i$ as follows.
\[\zeta_{n}\mapsto \zeta_{n}, \zeta_{n+1} \mapsto \zeta_{n+1}, \beta_{n}\mapsto \beta_{n}, \beta_{n+1}\mapsto \zeta_{n+1}\]
With these choices, we can see that
the poset $\beta_n/i$ is conically contractible.
\end{proof}

\subsection{Proof of Main Theorem}

Finally, we are in a position to assemble all our work into our main theorem.

\begin{thm}\label{thm:main}
Let $\mathcal{A}$ be a hereditary abelian category, and $\mathcal{M}$ be a monoidal stable model category such that Franke's functor
\[
\mathcal{R}\colon (\mathrm{D}^{([1],1)}(\cA) ,\otimes^{\mathbb{L}})\rightarrow (\Ho(\mathcal{M}),\wedge^{\mathbb{L}})
\]
exists and is an equivalence.
Then $\mathcal{R}$ preserves the monoidal products up to a natural isomorphism, that is,
\[\mathcal{R}(M_* \otimes^{\mathbb{L}} M_*) \cong \mathcal{R}( M_*) \wedge^{\mathbb{L}} \mathcal{R}(M_*).   \]
\end{thm}

\begin{proof}
We assemble our proof along the lines of the diagram \ref{bigdiagram}.
Let $M_*$ and $N_*$ be objects in $\mathrm{D}^{([1],1)}(\cA) $. By Convention \ref{homotopycategoryofM}, both objects are cofibrant.
Since $M_*$ is cofibrant, the functor
\[M_*\otimes -\colon  \mathrm{C}^{([1],1)}(\cA)   \rightarrow  \mathrm{C}^{([1],1)}(\cA)  \]
is left Quillen, see \cite[Remark 4.2.3]{Hovey}, which means it preserves cofibrant objects. Since both objects are cofibrant, the tensor product
$M_*\otimes N_*$ represents the derived tensor
product in $(\mathrm{D}^{([1],1)}(\cA) ,\otimes^{\mathbb{L}})$ and in particular it also cofibrant. Recall from Example \ref{twistedcomplexes} that the cofibrant objects in $\mathrm{C}^{([1],1)}(\cA)$ are the projective objects in $\mathcal{A}$. This
means, in particular, that
$M_*, N_*$ and $M_*\otimes N_*$ all belong to $\mathcal{A}_{\mathrm{proj}}$. We recall some notation from Section \ref{sec:monoidalQ}. Given a crowned diagram $X\in \mathcal{M}^{C_N}$ as follows
\begin{equation*}\xymatrix{  &X_{\zeta_0}  &  X_{\zeta_1}  & \ldots & X_{\zeta_{N-1}}   \\
                             &X_{\beta_0} \ar[u] \ar@{.>}[urrr] & \ar[u]  \ar[ul] X_{\beta_1}   & \ar[ul] \ldots & \ar[u] \ar[ul] X_{\beta_{-1}} }
	\end{equation*}
we set
\[Z^{(n)}(X)=F_*(\Xz{n}),\  B^{(n)}(X)=F_*(\Xb{n}),\  C^{(n)}(X)= F_*(\cone(\Xb{n-1}\rightarrow \Xz{n})) .\]
Given $(M_*,d)\in \mathrm{C}^{([1],1)}(\cA)$ one can construct a crowned diagram $X$ in $\mathcal{L}$ such that
\begin{align*}
(C_*(X),d)\cong(M_*,d)\\
Z_*(X)\cong\ker d \\
B_*(X)\cong \operatorname{im} d.
\end{align*}
By the discussion above, $M_*\in \mathcal{A}_{\mathrm{proj}} $. By assumption, $\mathcal{A}$ is a hereditary abelian category, in other words,
$\operatorname{gl.dim} \mathcal{A} =1 $. This implies that $\operatorname{ker} d, \operatorname{im} d \in \mathcal{A}_{\mathrm{proj}}$ since they are submodules of $M_*$.

 Hence, for the crowned diagram $X\cong \cQ^{-1}(M_*)$ we have $F_*(\Xa{n})\in \mathcal{A}_{\mathrm{proj}}$ for every $n\in \mathbb{Z}/N\mathbb{Z}$ and any $\alpha\in \left\{\zeta,\beta\right\}$. Similarly,
for the dg-object $(N_*,d)$ we get a crowned diagram $Y\cong \cQ^{-1}(N_*)$ such that $F_*(\Ya{n})\in \mathcal{A}_{\mathrm{proj}}$ for every $n\in \mathbb{Z}/N\mathbb{Z}$ and any $\alpha\in \left\{\zeta,\beta\right\}$.

Now, by Theorem \ref{theoremA},
\[ \cQ(i^*\mathbb{L}\mathrm{pr}_!(X\wedge^{\mathbb{L}}Y))\cong \cQ(X)\otimes \cQ(Y)=M_*\otimes N_*  \]
and by Theorem \ref{theoremB},
\[
\hocolim_{C_N}\left(i^*\mathbb{L}\mathrm{pr}_!(X\wedge^{\mathbb{L}}Y)\right)\cong \hocolim_{C_N}X \wedge^{\mathbb{L}}  \hocolim_{C_N}Y.
\]
Finally, we recall that Franke's realization functor \eqref{recfunctor} is defined by
\[\mathcal{R}= \hocolim_{C_N}\circ \cQ^{-1},\]
which concludes the proof.

\end{proof}

The assumptions of Theorem \ref{thm:main} are satisfied in the following instances.

\begin{example}
From \cite[Corollary 5.2.1]{PA12} we know that
\[
\mathcal{R}: D(\pi_*R) \longrightarrow D(R)=\Ho(R\mbox{-mod})
\]
is an equivalence for a ring spectrum $R$ with $\pi_*(R)$ concentrated in degrees that are multiples of some $N>1$ and global dimension of $\pi_*(R)$ equal to 1. This satisfies the assumption of our Theorem \ref{thm:main} and applies to $R= KU$, $R=KU_{(p)}$, $R=E(1)$ (complex $K$-theory), and $R=k(n)$ (connective Morava $K$-theory).
\end{example}

\begin{example}
By \cite{Fran} and Roitzheim \cite{Ro} we know that
\[
\mathcal{R}: \mathrm{D}^{([1],1)}(\cA)  \longrightarrow \Ho(L_1 \mathcal{S})
\]
is an equivalence. Here, $\mathcal{A}$ is the category of $E(1)_*E(1)$-comodules, and $L_1 \mathcal{S}$ is a suitable category of spectra equipped with the $K$-local model structure at an odd prime.
Note that as mentioned in Example \ref{twistedcomplexes}, that while $\mathcal{A}$ does not have enough projectives, all our proofs also work when working with comodules whose underlying $E(1)_*$-module is projective, see also the first author's thesis \cite{NN}.
\end{example}