Relative tensor products and Koszul duality in monoidal oo-categories
Extracted source text · arXiv 2210.11861
\documentclass[12pt, oneside]{amsart}
%\linespread{1.3}
% \input{preamble}
\usepackage{amssymb}
\usepackage{amsfonts}
\usepackage{amstext}
\usepackage{soul}
\usepackage{amsmath, amsthm}
\usepackage{mathrsfs}
\usepackage{bbm}
\usepackage{stmaryrd}
\usepackage{tensor}
\usepackage{geometry}
\usepackage{marginnote}
\usepackage{pdfsync}
\usepackage{hyperref}
\usepackage{cleveref}
\usepackage[title,titletoc]{appendix}
%\usepackage{natbib}
% \usepackage
% [notref, notcite]
% {showkeys}
% \renewcommand\showkeyslabelformat[1]{ \mbox{\normalfont\tiny
% \ttfamily
% #1}}
\usepackage{changepage}
\usepackage{tikz}
\usetikzlibrary{arrows,decorations.pathmorphing,backgrounds,positioning,fit,petri,shapes.misc,decorations.markings,shapes,shapes.multipart,calc,cd}
\usepackage{mathtools}
\newcommand*{\eqdot}{\textbf{.}}
\tikzset{
plain trans/.style = {circle, minimum size = 14, inner sep=2, draw, font=\scriptsize}}
\tikzset{
plain inv trans/.style = {circle, minimum size = 18, inner sep=1, draw, font=\tiny}}
\tikzset{
plain dual trans/.style = {circle, minimum size = 14, inner sep=2, draw, font=\scriptsize}}
\tikzset{
plain inv dual trans/.style = {circle, minimum size = 18, inner sep=1, draw, font=\tiny}}
%% Makred cicrles
%% with marking on the bottom
\tikzset{trans/.style={circle, minimum size = 14, inner sep=1, draw, font=\scriptsize,
path picture={%
\filldraw[anchor=center,black]
($(path picture bounding box.south east)!0.15!(path picture bounding box.north east)$) to [out=-135, in=0] (path picture bounding box.south) to [out=180, in=-45]
($(path picture bounding box.south west)!0.15!(path picture bounding box.north west)$) to cycle;
}}}
%% with marking on the bottom
\tikzset{inv trans/.style={circle, minimum size = 14, inner sep=1, draw, font=\tiny,
path picture={%
\filldraw[anchor=center,black]
($(path picture bounding box.south east)!0.15!(path picture bounding box.north east)$) to [out=-135, in=0] (path picture bounding box.south) to [out=180, in=-45]
($(path picture bounding box.south west)!0.15!(path picture bounding box.north west)$) to cycle;
}}}
%% with marking on the top
\tikzset{dual trans/.style={circle, minimum size = 14, inner sep=1, draw, font=\scriptsize,
path picture={%
\filldraw[anchor=center,black]
($(path picture bounding box.north east)!0.15!(path picture bounding box.south east)$) to [out=135, in=0] (path picture bounding box.north) to [out=180, in=45]
($(path picture bounding box.north west)!0.15!(path picture bounding box.south west)$) to cycle;
}}}
%% with marking on the top
\tikzset{inv dual trans/.style={circle, minimum size = 14, inner sep=1, draw, font=\tiny,
path picture={%
\filldraw[anchor=center,black]
($(path picture bounding box.north east)!0.15!(path picture bounding box.south east)$) to [out=135, in=0] (path picture bounding box.north) to [out=180, in=45]
($(path picture bounding box.north west)!0.15!(path picture bounding box.south west)$) to cycle;
}}}
\tikzset{
func/.style = {font=\scriptsize},
in func/.style = {font=\scriptsize, above, text opacity=0},
in func visible/.style = {font=\scriptsize, above},
out func/.style = {font=\scriptsize, below, text opacity=0},
out func visible/.style = {font=\scriptsize, below},
mid func/.style = {font=\scriptsize, inner sep=1, fill=white}
}
\tikzset{
cat/.style = {font=\scriptsize}}
\tikzset{
frame/.style = {double,rounded corners}}
\tikzset{
paste/.style = {dashed,opacity=0.5}}
% Undirectional arrows:
\tikzset{
dir/.style={},
dir end/.style={},
dual/.style={},
eq/.style={inner sep=0pt},
plain/.style={}
}
%\newcommand{\phinv}{\phi^{\mbox{\tiny -1}}}
\newcommand{\phinv}{{\scalebox{1}{\ensuremath{\varphi}}}^{\scalebox{.45}{\ensuremath{-1}}}}
\newcommand{\scale}[2]{{\scalebox{#2}{\ensuremath{#1}}}}
%\newcommand{\N}{\mathbb{N}}
\newcommand{\Z}{\mathbb{Z}}
\newcommand{\Q}{\mathbb{Q}}
\newcommand{\R}{\mathbb{R}}
%\newcommand{\C}{\mathbb{C}}
\renewcommand{\P}{\mathbb{P}}
\renewcommand{\H}{\mathbb{H}}
\newcommand{\m}{\mathfrak{m}}
\renewcommand{\a}{\mathfrak{a}}
\newcommand{\n}{\mathfrak{n}}
\newcommand{\p}{\mathfrak{p}}
\newcommand{\q}{\mathfrak{q}}
\newcommand{\Ddual}{\mathfrak{D}}
\newcommand{\Hom}{\operatorname{Hom}}
\newcommand{\Map}{\operatorname{Map}}
\newcommand{\Nat}{\operatorname{Nat}}
\newcommand{\Fun}{\operatorname{Fun}}
\newcommand{\End}{\operatorname{End}}
\newcommand{\Tor}{\operatorname{Tor}}
\newcommand{\Fix}{\operatorname{Fix}}
\newcommand{\im}{\operatorname{Im}}
\newcommand{\const}{\operatorname{const}}
%\newcommand{\iso}{\overset\sim\to}
\newcommand{\iso}{\overset{\sim}{\longrightarrow}}
\renewcommand{\=}{\cong}
\newcommand{\Id}{\operatorname{Id}}
\newcommand{\Aut}{\operatorname{Aut}}
\newcommand{\BAut}{\operatorname{BAut}}
\newcommand{\BMap}{\operatorname{BMap}}
\newcommand{\Conj}{\operatorname{Conj}}
\newcommand{\ev}{\operatorname{ev}}
\newcommand{\coker}{\operatorname{coker}}
\newcommand{\rank}{\operatorname{rank}}
%\def\invlim{\qopname\relax m{\underleftarrow{lim}}}
%\newcommand{\invlim}{\operatorname{lim}}
\newcommand{\invlim}{\operatorname{\underleftarrow{lim}}}
\newcommand{\colim}{\operatorname{\underrightarrow{colim}}}
\newcommand{\hocolim}{\operatorname{\underrightarrow{hocolim}}}
%\newcommand{\holim}{\operatorname{\underleftarrow{holim}}}
\newcommand{\holim}{\operatorname{holim}}
\newcommand{\Lax}{\operatorname{Lax}}
\newcommand{\proj}{\operatorname{proj}}
\newcommand{\cone}{\triangleleft}
\newcommand{\cocone}{\triangleright}
\newcommand{\into}{\hookrightarrow}
\newcommand{\Set}{\operatorname{Set}}
\newcommand{\hetz}[1]{\overset{#1}{\longrightarrow}}
\newcommand{\xto}{\xrightarrow}
\newcommand{\xfrom}{\xleftarrow}
\newcommand{\bnd}{\partial}
\providecommand{\abs}[1]{\left|#1\right|}
\newcommand{\set}[1]{\left\{{#1}\right\}}
\newcommand{\diag}[1]{\vcenter{\xymatrix{#1}}}
\newcommand{\tint}{\textstyle\int}
\newcommand{\CP}{\mathbb{CP}}
\newcommand{\RP}{\mathbb{RP}}
\newcommand{\half}{\frac{1}{2}}
%\newcommand{\half}[1][1]{\frac{#1}{2}} % one parameter, default 1, to use: #1
\newcommand{\al}{\alpha}
\newcommand{\conj}{\overline}
\newcommand{\M}{\mathcal{M}}
\newcommand{\A}{\mathcal{A}}
\newcommand{\B}{\mathcal{B}}
\newcommand{\E}{\mathcal{E}}
\newcommand{\EE}{\mathbb{E}}
\newcommand{\J}{\mathcal{J}}
\renewcommand{\L}{\mathbb{L}}
\newcommand{\C}{\mathcal{C}}
\newcommand{\D}{\mathcal{D}}
\newcommand{\G}{\mathcal{G}}
\newcommand{\F}{\mathcal{F}}
\newcommand{\N}{\mathcal{N}}
\newcommand{\U}{\underline{U}}
\newcommand{\V}{\underline{V}}
\newcommand{\Radj}{U}
\newcommand{\Xx}{\mathcal{X}}
\newcommand{\Yy}{\mathcal{Y}}
\newcommand{\LM}{\mathcal{LM}}
\newcommand{\Alg}{\operatorname{Alg}}
\newcommand{\CAlg}{\operatorname{CAlg}}
\newcommand{\LMod}{\operatorname{LMod}}
\newcommand{\Ass}{\operatorname{Ass^\otimes}}
%\newcommand{\BMod}[2]{ _{#1}\operatorname{BMod}_{#2}}
\newcommand{\Bmod}{\operatorname{BMod}}
%\newcommand{\BMod}[2]{ \prescript{}{#1}{\operatorname{BMod}}_{#2} }
\newcommand{\BMod}[2]{\tensor*[_{#1}]{\Bmod}{_{#2}} }
\newcommand{\BLMod}{\operatorname{BLMod}}
\renewcommand{\Bar}{\operatorname{Bar}}
\newcommand{\cosk}{\operatorname{cosk}}
\newcommand{\PSh}{\operatorname{PSh}}
\newcommand{\Dec}{\operatorname{Dec}}
\mathchardef\mhyphen="2D % Define a "math hyphen"
\newcommand{\ob}{\operatorname{Ob}}
\newcommand{\mor}{\operatorname{Mor}}
\newcommand{\vol}{\operatorname{vol}}
\newcommand{\Sh}{\mathbf{Sh}}
\newcommand{\Sp}{\mathbf{Sp}}
\newcommand{\Ss}{\mathcal{S}}
\newcommand{\GTop}{\mathbf{Top}^G}
\newcommand{\Prin}{\mathbf{Prin}}
\newcommand{\vect}{\mathbf{Vect}}
\newcommand{\Cones}{\mathbf{Cones}}
%\newcommand{\adj}{\leftrightarrows}
\newcommand{\adj}{\rightleftarrows}
\newcommand{\sseq}{\subseteq}
%\newcommand{\op}{{^\mathrm{op}} }
\newcommand{\op}{{^{op}} }
\newcommand{\Psh}{\operatorname{Psh}}
\newcommand{\Tens}{\operatorname{Tens}}
\newcommand{\one}{\mathbbm{1}}
\newcommand{\Mon}{{\mathrm{Mon}}}
\newcommand{\Cat}{\mathcal{C}\mathrm{at}}
\renewcommand{\ul}[1]{\underline{#1}}
\newcommand{\ol}[1]{\overline{#1}}
\newcommand{\inv}{^{-1}}
\newcommand{\Top}{T^{op}}
\newcommand{\ulTopG}{\ul{\mathbf{Top}}^G}
\newcommand{\GFun}{\ul{\operatorname{Fun}}_G}
\newcommand{\OG}{\mathcal{O}_G}
\newcommand{\OGop}{{\OG^{op}}}
\newcommand{\GFin}{\ul{\mathbf{Fin}}^G}
\newcommand{\mfld}{\mathbf{Mfld}}
\newcommand{\ulmfld}{\ul{\mathbf{Mfld}}}
%\newcommand{\mfldGD}{\mfld^{G,\sqcup}}
\newcommand{\Gmfld}{\ul{\mfld}^G}
\newcommand{\GmfldD}{\ul{\mfld}^{G,\sqcup}}
\newcommand{\disk}{\mathbf{Disk}}
\newcommand{\diskGD}{\disk^{G,\sqcup}}
\newcommand{\Gdisk}{\ul{\disk}^G}
\newcommand{\GdiskD}{\ul{\disk}^{G,\sqcup}}
\newcommand{\Sing}{\mathbf{Sing}}
%\newcommand{\NSing}{\mathbf{N}\,\Sing}
\newcommand{\NSing}{\mathbf{N}}
\newcommand{\orb}{\operatorname{Orbit}}
\newcommand{\coind}{\operatorname{Coind}}
\newcommand{\Rep}{\mathbf{Rep}}
\newcommand{\ulRep}{\ul{\mathbf{Rep}}}
\newcommand{\OGTop}{\OG\mhyphen\mathbf{Top}}
\newcommand{\EmbOG}{Emb^{\OG}}
\newcommand{\OGmfld}{\OG\mhyphen\mfld}
\newcommand{\Fin}{\mathbf{Fin}}
\newcommand{\OGFin}{\OG\mhyphen\Fin}
%\newcommand{\OGFinMfld}{\OG\mhyphen\Fin\mhyphen\mfld}
\newcommand{\mfldGD}{\OG\mhyphen\Fin\mhyphen\mfld}
\newcommand{\ulFin}{\ul{\Fin}}
\newcommand{\ulFun}{\ul{\Fun}}
\newcommand{\ultimes}{\ul{\times}}
\newcommand{\ult}{\ul{t}}
\newcommand{\Arr}{\ul{\mathbf{Arr}}}
\newcommand{\Moore}{{\operatorname{Moore}}}
\newcommand{\Conf}{\mathbf{Conf}}
\newtheorem{thm}{Theorem}[section]
\numberwithin{thm}{subsection}
\newtheorem{err}{Erratum}[section]
% \newtheorem*{thm*}{Theorem}[section]
\newtheorem{prop}[thm]{Proposition}
\newtheorem{cor}[thm]{Corollary}
\newtheorem{lem}[thm]{Lemma}
\newtheorem{mydef}[thm]{Definition}
\newtheorem{conjecture}[thm]{Conjecture}
\newtheorem{assumption}[thm]{Assumption}
\theoremstyle{definition}
%\newtheorem{mydef}{Definition}
%\newtheorem{rem}{Remark}
%\newtheorem{ex}{Example}
%\newtheorem{notation}{Notation}
\newtheorem{observation}{Observation}
\newtheorem{rem}[thm]{Remark}
\newtheorem{ex}[thm]{Example}
\newtheorem{notation}[thm]{Notation}
\newtheorem{construction}[thm]{Construction}
\newtheorem{terminology}[thm]{Terminology}
\newcommand{\cof}{\hookrightarrow}
\newcommand{\fromcof}{\hookleftarrow}
\newcommand{\trivcof}{\stackrel{\sim}{\hookrightarrow}}
\newcommand{\fromtrivcof}{\stackrel{\sim}{\hookleftarrow}}
\newcommand{\fib}{\twoheadrightarrow}
\newcommand{\fromfib}{\twoheadleftarrow}
\newcommand{\trivfib}{\stackrel{\sim}{\twoheadrightarrow}}
\newcommand{\fromtrivfib}{\stackrel{\sim}{\twoheadleftarrow}}
\newcommand{\pullbackcorner}[1][dr]{\save*!/#1-1.2pc/#1:(1,-1)@^{|-}\restore}
\newcommand{\pushoutcorner}[1][dr]{\save*!/#1+1.2pc/#1:(-1,1)@^{|-}\restore}
\newcommand{\pullbackcornerleft}[1][dl]{\save*!/#1-1.2pc/#1:(1,-1)@^{|-}\restore}
\newcommand{\pbcorner}{\arrow[dr, phantom, "\ulcorner" description, very near start]}
\newcommand{\pocorner}{\arrow[ul, phantom, "\drcorner" description, very near start]}
\pagestyle{plain}
%\global\long\def\small#1{\scalebox{.75}{\ensuremath{#1}}}
\newcommand{\smallscale}[1]{\scalebox{0.75}{\ensuremath{#1}}}
\newcommand{\rightthreearrows}{%
\mathrel{\vcenter{\mathsurround0pt
\ialign{##\crcr
\noalign{\nointerlineskip}$\rightarrow$\crcr
\noalign{\nointerlineskip}$\rightarrow$\crcr
\noalign{\nointerlineskip}$\rightarrow$\crcr
}%
}}%
}
\newcommand{\rightfourarrows}{%
\mathrel{\vcenter{\mathsurround0pt
\ialign{##\crcr
\noalign{\nointerlineskip}$\rightarrow$\crcr
\noalign{\nointerlineskip}$\rightarrow$\crcr
\noalign{\nointerlineskip}$\rightarrow$\crcr
\noalign{\nointerlineskip}$\rightarrow$\crcr
}%
}}%
}
\newcommand{\SimplicialDiagram}[2]{
\cdots \rightthreearrows {#1} \rightrightarrows {#2}
}
\newcommand{\Dbun}{\mathbb{D}}
\newcommand{\cDbun}{\overline{\mathbb{D}}}
\newcommand{\Sbun}{\mathbb{S}}
\newcommand{\Abun}{\mathbb{A}}
\newcommand{\POp}{\mathcal{P}\mathrm{Op}_\infty}
\newcommand{\Oo}{\mathcal{O}}
\newcommand{\Pp}{\mathcal{P}}
% a colon on for a left going arrow
\newcommand\noloc{
\nobreak
\mspace{6mu plus 1mu}
{:}
\nonscript\mkern-\thinmuskip
\mathpunct{}
\mspace{2mu}
}
\newcommand{\opnm}{\operatorname}
%\newcommand{\LM}{\cl{LM}}
\newcommand{\cl}{\mathcal}
\newcommand{\Cc}{\cl{C}}
\newcommand{\TwArr}{\opnm{TwArr}}
\newcommand{\la}{\lambda}
\newcommand{\ep}{\epsilon}
\newcommand{\mar}{\marginpar}
\newcommand{\ka}{\kappa}
\newcommand{\bfCat}{\opnm{\bf Cat}}
\newcommand{\from}{\leftarrow}
\newcommand{\coBar}{\opnm{coBar}}
\newcommand{\coAlg}{\opnm{coAlg}}
\newcommand{\DK}{\Ddual_\mathrm{Koszul}}
\newcommand{\DKpr}{\Ddual'_\mathrm{Koszul}}
\newcommand{\foot}{\footnote}
\newcommand{\Assoc}{\mathrm{Assoc}^\otimes}
\newcommand{\asaf}[1]{{\color{blue}#1}}
\newcommand{\new}{\newcommand}
\new{\BM}{\mathcal{BM}}
\new{\angled}[1]{\langle #1 \rangle}
\new{\mM}{\mathfrak{m}}
\new{\nato}{{\vec \nabla}}
\new{\be}{\beta}
\new{\Aa}{\mathcal{A}}
\new{\Dd}{\mathcal{D}}
\new{\fF}{\mathfrak{f}}
\new{\aA}{\mathfrak{a}}
\new{\MAss}{\mathrm{MAss}}
\new{\Mm}{\M}
\new{\Ee}{\mathcal{E}}
\new{\Ff}{\mathcal{F}}
\new{\Gg}{\mathcal{G}}
\new{\lan}{\langle}
\new{\ran}{\rangle}
\new{\LAlg}{\opnm{LAlg}}
\new{\comment}[1]{***\footnote{Temp: #1}\mar{see foot}}
\new{\oo}{$\infty$}
\title[Relative tensor products]{Relative tensor products and Koszul duality in monoidal $\infty$-categories}
\author{Ishai Dan-Cohen, Asaf Horev}
\thanks{This research was supported by the Israel Science Foundation (grants No. 726/17 and 621/21) and by ERC-2017-STG 75908.}
\date{\today}
\begin{document}
\maketitle
\begin{abstract}
This semi-expository work covers central aspects of the theory of relative tensor products as developed in \cite{HA}, as well as their application to Koszul duality for algebras in monoidal $\infty$-categories. Part of our goal is to expand on the rather condensed account of loc. cit. Along the way, we generalize various aspects of the theory. For instance, given a monoidal $\infty$-category $\Cc$, an $\infty$-category $\Mm$ which is left-tensored over $\Cc$, and an algebra $A$ in $\Cc$, we construct an action of $A$-$A$-bimodules $N$ in $\Cc$ on left $A$-modules $M \in \Mm$ by an \emph{external relative tensor product} $N \otimes_A M$. (Up until now, even the special (``internal'') case $\Cc = \Mm$ appears to have escaped the literature.)
As an application, we generalize the Koszul duality of loc. cit. to include modules. Our straightforward approach requires that we at this point assume certain compatibilities between tensor products and limits; these assumptions have recently been shown to be unnecessary in \cite[\S3]{BrantnerCamposNuiten}.
\end{abstract}
%\mar{no running title}
%\mar{Changed slash paragarph into subsection*'s. Debate.}
\setcounter{tocdepth}{1}
\tableofcontents
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
\section{Introduction}%%%
\label{SectionIntro}%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
% \input{KoszulIntro.tex}
Let $\C^\otimes$ be a monoidal $\infty$-category and let $A$ be an algebra object in $\C^\otimes$.
Koszul duality for algebras in monoidal $\infty$-categories aims to set up an adjunction
\[
\tag{A}
\Alg^{\opnm{aug}}(\C) \overset{\Ddual_\mathrm{Koszul}}
{\underset{\Ddual'_\mathrm{Koszul}} \rightleftarrows}
\opnm{coAlg}^{\opnm{aug}}(\C)
\]
between the category of augmented algebras in $\C$ and augmented coalgebras in $\C$ which generalizes the classical bar-cobar adjunction used, for instance, in delooping and recognition theorems in classical topology~\cite{MayLoops}, and developed in the setting of dga's, for instance, by Loday-Vallette in~\cite{LodayVallette}.
\footnote{More recent related works which should be compared to the present one include~\cite{calaque2020moduli},~\cite{pridham2018tannaka},~\cite{PositsTwoKinds}, ~\cite{BrantnerCamposNuiten}.}
\footnote{Let $A \in \Alg^{\opnm{aug}}(\C)$. We warn the reader that some authors, who restrict attention to situation where a colagebra can be turned into an algebra simply by taking linear duals, use the term ``Koszul'' to refer to the linear dual of our $\Ddual_\mathrm{Koszul}(A)$.}
In particular, if $A$ is an augmented algebra object in $\C$, then the object of $\C$ underlying $\DK(A)$ should be given by the relative tensor product $\one \otimes_A \one$.
%The construction, which we learned from Section 5.2.2 of Lurie \cite{HA}, is based heavily on the theory of relative tensor products, and many of the pages that follow are devoted to revisiting, and somewhat generalizing this theory.
The adjunction above can be upgraded to include modules. This generalizes the classical constructions which, indeed, include path-spaces (and not only loop-spaces) in their scope. It also relates to the Koszul duality for modules of Positselski \cite{PositsTwoKinds}, but in the general abstract setting of monoidal $\infty$-categories. For example, for a reasonably nice monoidal \oo-category $\C^\otimes$, we obtain adjoint functors
\footnote{In fact, we may work more generally with an $\LM$-monoidal category; see \cref{BarCobarAdjunction-XXXversion} for the precise statement.}
\[
\tag{M}
\LMod^{\opnm{aug}}(\C)
\overset{\DK}
{\underset{\DKpr} \rightleftarrows}
\opnm{coLMod}^{\opnm{aug}}(\C).
\]
Here $\LMod^{\opnm{aug}}(\C)$ is the $\infty$-category of pairs $(A,X)$ consisting of an augmented algebra $A \to \one$ and an $A$-module $X$,
and
$\opnm{coLMod}^{\opnm{aug}}(\C) = \LMod^{\opnm{aug}}(\C^\op)^\op$,
see \cref{cons:C_1} for the precise definition.
Moreover, recall that an object $(A,X)$ of $\LMod^{\opnm{aug}}(\C)$ witnesses a left-action of an augmented algebra $A$ on an object $X \in \C$. We show that in our construction
\[
\DK(A,X)
\]
witnesses a left coaction of the augmented coalgebra $\DK(A) = \one \otimes_A \one$ on the object $\one \otimes_A X \in \C$.
We learned how to construct the adjunction (A) from section 5.2.2 of Lurie \cite{HA}. Lurie's construction (and hence ours), revolves around an augmented algebra
\[
M = (A \to \one)
\]
in $\C$ (in which $\one$ is temporarily assumed to be terminal
\footnote{More precisely, we work with an $\LM$-monoidal category $\Cc^\otimes$ in which $\one$ is (temporarily) assumed to be terminal in $\Cc_\aA$.}),
regarded as an algebra object of the twisted arrow category $\M = \TwArr(\C)$.
Heavy use is made of (at least certain aspects of) a monoidal structure on the category $\BMod{M}{M}(\M)$ of $M$-$M$-bimodules in the twisted arrow category. In our approach, for the upgrade to modules, we also need a left action of this category on the category $\LMod_M(\M)$ of left $M$-modules in the twisted arrow category. Many of the pages below are devoted to the construction of this expected action.
As we learned from the work of Brantner--Campos--Nuiten \cite[\S3]{BrantnerCamposNuiten}, it is in fact possible to dodge this foundational issue, and to derive the Koszul duality for modules (M) from the Koszul duality for algebras (A). Moreover, in their indirect approach, it's possible to avoid certain technical assumptions concerning the compatibility of tensor products with limits, which we have been unable to avoid in our direct approach. Nevertheless, we hope that our foundational work, and our straightforward approach to the case of modules, helps to paint a pleasing and conceptually satisfying picture, even if one that becomes unavailable (or undesirable) beyond a certain level of generality.
Unfortunately, the main theorems here are somewhat too technical to include precise statements in the introduction.
Indeed, the very \textit{definition} of the functorial desiderata which are supposed to characterize the objects to be constructed (in Lurie's treatment, and hence in ours) require some work to formulate precisely.
Moreover, on the face of it, those say nothing about the bar construction or the relative tensor product.
Relative tensor products first appear in a far corner of the devissage that ensues, and when the construction is complete, comparison with the bar construction presents a further nontrivial task.
In short, the definitions are technical and the proofs are indirect.
To compensate for this, our paper includes two overviews.
One, which begins presently, explains the structure of the paper in broad outline: what are the main results, and how they fit together.
The second, in \cref{SectionOverview}, provides an informal overview of core aspects of Lurie's construction and of ours; this section functions as a second introduction and is not logically needed for what follows.
In \cref{sec:Morita_double_cat} we refine Lurie's treatment of the relative tensor product and its associativity structure.
Recall that when $\C^\otimes$ is a monoidal category in which $\otimes$ respects realizations, Lurie constructs a certain double $\infty$-category
\[
\Bmod(\C)^\circledast \to \Delta^\op
\]
whose
% higher vertical morphisms are, roughly speaking,
fiber over $[n]$ is the $\infty$-category of
sequences of $n$ algebras and bimodules between them.
We check that this construction can be refined in the following way: dropping the blanket assumption on compatibility with realizations, we show that one may restrict attention to the class $\A$ of algebras in $\C$ which are \emph{bar compatible}, in the sense that for any $A \in \A$ and $A$-bimodules $X,Y$, the geometric realization of the bar construction $\Bar_A(X,Y)_\bullet$ exists and is compatible with $\otimes$.\footnote{As we explain below, the need for this arrises from the fact that such blanket assumptions are not inherited by twisted arrow categories.}
In this way we obtain a double $\infty$-category
\[
\Bmod_\A(\C)^\circledast \to \Delta^\op
\]
whose higher vertical morphisms are ``$\A$-multimodules'' (sequences of algebras belonging to $\A$ and bimodules between them).
The main result of this section, which amounts to a mild refinement of~\cite[prop. 4.4.3.9]{HA}, is our \cref{link1}.
Given $A \in \A$, we use $\Bmod_\A(\C)^\circledast$ in \cref{sec:BLMod} to endow $\BMod{A}{A}(\C)$ with a monoidal structure given by relative tensor product over $A$. We also construct an $\LM$-monoidal category
\[
\BLMod_A(\C)^\otimes \to \LM^\otimes
\]
which witnesses a left action of the monoidal $\infty$-category $\BMod{A}{A}(\C)^\otimes$ of $A$-$A$-bimodules on the category $\LMod_A(\C)$ of left $A$-modules, the action being given on the level of individual objects by the relative tensor product. \footnote{Actually, our results in this section are somewhat more general: given an arbitrary double $\infty$-category and objects $A$ and $B$, we construct an action of the monoidal $\infty$-category of horizontal endomorphisms of $A$ on the $\infty$-category of horizontal morphisms from $B$ to $A$.}
\Cref{sec:External} concerns a variant of the results of sections \ref{sec:Morita_double_cat} and \ref{sec:BLMod} in which $\Cc^\otimes$, instead of being monoidal, is $\LM$-monoidal, and $A \in \Alg(\Cc_\a)$.
Under suitable assumptions on $A$, we construct a left-action of the monoidal $\infty$-category $\BMod{A}{A}(\Cc_\a)$ of $A$-$A$-bimodules in $\Cc_\a$ on the $\infty$-category $\LMod_A(\Cc)$ of left $A$-modules in $\Cc_\mM$.
Strictly speaking, this construction generalizes the analogous construction from the previous two sections, and it is this generalized version that is needed in the sequel.
Indeed, even if one is interested in applying Koszul duality for modules to a monoidal category
\[
\Cc^\otimes \to \Ass,
\]
if the unit object $\one \in \Cc$ is not terminal, the methods of \cref{SectionKoszLM} and \cref{sec:Twisted_arrow_bar_construction} necessitate that we work with an associated $\LM$-monoidal category which witnesses $\Cc$ as left-tensored over the monoidal slice category $\Cc^\otimes_{/\one}$.
\footnote{Thus, in some sense sections \ref{sec:Morita_double_cat} and \ref{sec:BLMod} treat a special case before moving on to the generality we need in section \ref{sec:External}.
This may not be logically efficient, but we feel that what we lose in logical efficiency we gain in clarity of exposition.
Additionally, our construction at the level of double $\infty$-categories in \cref{sec:Morita_double_cat}, does not have a counterpart in \cref{sec:External}, and may be of use elsewhere.}
In \cref{sec:LM_monoidal_pairings} we review $\LM$-monoidal algebras and $\LM$-monoidal pairings in preparation for \cref{SectionKoszLM}.
\Cref{LM52227}, which takes place in the setting of general $\LM$-monoidal pairings and generalizes Proposition 5.2.2.27 of~\cite{HA}, may reasonably be regarded as the main theorem on Koszul duality for modules, but in an abstract, axiomatic form. As hinted above, \cref{sec:Overview} is devoted to an overview of its proof, preceded by an overview of the proof of the analogous Theorem 5.2.2.27 of~\cite{HA}.
In \cref{sec:Twisted_arrow_bar_construction} we specialize from the generality of $\LM$-monoidal pairings to the case of the twisted arrow category.
We show that if $\C^\otimes$ is an $\LM$-monoidal $\infty$-category and $M$ is an algebra in the twisted arrow category of $\Cc_\aA$ which lies over algebras $A$ in $\C_\aA$ and $B$ in $\C^\op_\aA$ with $B$ trivial, then $\TwArr(\C)$ \emph{admits realizations of $M$-bar constructions $\otimes$-compatibly} (see \cref{def:admits_A_bar}).
We arrive at our $\LM$-monoidal version of~\cite[thm. 5.2.2.17]{HA} in our \cref{BarCobarAdjunction}.
This completes the construction of the $\LM$-monoidal bar-cobar adjunction under the assumption that the unit object of $\C$ is both initial and terminal.
It remains to dispense with this assumption and, more significantly, to compare the result with the relative tensor product $\one \otimes_A X$ mentioned above.
The final result is summarized in \cref{BarCobarAdjunction-XXXversion}.
Let us indicate how \cref{BarCobarAdjunction-XXXversion} may be applied, for instance, to the study of commutative algebras in motives. This is meant only to point in the direction of future applications --- more significant applications will require more work. Let $Z$ be a Noetherian scheme and let $\D^\otimes = \mathrm{DA}^{\mathrm{\acute{e}t}}(Z,\Q)^\otimes$ denote the monoidal derived $\infty$-category of \'etale motives over $Z$ with $\Q$ coefficients; see, for instance, Ayoub \cite[\S2.1.1]{ayoub2014algebre} for a model-categorical construction. The $\infty$-category $\D^\otimes$ is presentably symmetric monoidal; hence $ \C^\otimes = \CAlg \D$ with its coCartesian symmetric monoidal structure admits geometric realizations of bar constructions $\otimes$-compatibly, and \cref{BarCobarAdjunction-XXXversion} applies to produce a functor
\[
\Ddual_\mathrm{Koszul} =
\Ddual_{\LMod(\la)}^\op \colon
\LMod^{aug}(\C)
\to \opnm{coLMod}^{aug}(\C).
\]
Let $A \in \C$ be a commutative algebra in $\D$ and let
\[
x,y: A \rightrightarrows \one
\]
be two augmentations. In view of the equivalence
\[
\Alg \C \simeq \C,
\]
$(A,x)$ may be lifted to an object of $\Alg^{aug}(\C)$. We may then view $\one$ as a left module via $y$ --- we write $_y\one$ for this structure. Together, we obtain an object
\[
(A \xto{x} \one, {_y\one})
\]
of $\LMod^{aug}(\C)$. Applying $\Ddual_\mathrm{Koszul}$, we obtain an augmented coalgebra structure on $\one \otimes_{x,A,x} \one$ together with a coaction on $\one \otimes_{x,A,y} \one$ which makes the latter into a torsoric comodule in $\C = \CAlg \D$.
Suppose $A$ is the algebra associated to a smooth $Z$-scheme $X$ and $x,y$ are the augmentations associated to $Z$-points of $X$. Suppose, moreover, that all motives in sight belong to a triangulated subcategory possessing a \emph{motivic} t-structure (alternatively, replace motives with any realization). Then
\[
\pi_1^\mathrm{un}(X,x) = \opnm{Spec} H^0(\one \otimes_{x,A,x} \one)
\]
is the unipotent fundamental group of $X$ at $x$ and
\[
\pi_1^\mathrm{un}(X,x,y) = \opnm{Spec} H^0(\one \otimes_{x,A,y} \one)
\]
is the torsor of unipotent homotopy classes of paths from $x$ to $y$; see, for instance \cite{DCShRatMot}, \cite{iwanari2017motivic}.\foot{In this setting, following Deligne \cite{deligne1989groupe}, ``$\opnm{Spec}$'' just means that we view the given object as an object of the opposite Tannakian category.} Thus
\[
\Ddual_\mathrm{Koszul}(A \xto{x} \one, {_y\one})
\]
lifts the torsor structure of $\pi_1^\mathrm{un}(X,x,y)$ to the level of highly structured algebras in motives.
%We remark that in this setting, the tensor product does \textit{not} preserve totalizations, and hence our construction of the dual Koszul-dual functor $\Ddual'_\mathrm{Koszul}$ is not available. While the construction of \cite[\S3]{BrantnerCamposNuiten} \textit{is} available, this may not compare correctly with the expected totalization.
\subsection*{Acknowledgements}
We would like to thank Jonathan Beardsley, Lukas Brantner, Rune Haugseng, Marc Hoyois, Thomas Nikolaus, Joost Nuiten, Piotr Pstragowski, Dan Petersen, Jon Pridham, Tomer Schlank, and Lior Yanovski for helpful conversations and email exchanges concerning the subject of this paper.
%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
\section{Overview}%%%%%%
\label{sec:Overview}
%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
% \input{KoszulOverview.tex}
\label{SectionOverview}
Our goal in this section is to give an informal overview of the proof of Theorem 5.2.2.27 of Lurie \cite{HA}, as well as of our proof of our analogous \cref{LM52227}.
\subsection{Review: Koszul duality and bimodules}
\label{sec:review_duality_bimodules}
Let us first explain the relationship between the coalgebra structure of the Koszul dual and the monoidal structures on bimodules. Let $\C^\otimes$ be a symmetric monoidal $\infty$-category, and assume that $\C$ admits geometric realizations of simplicial objects and that the tensor product functor
\[
\otimes \colon \C \times \C \to \C
\]
preserves geometric realizations of simplicial objects separately in each variable.
Under these assumptions, bimodules in $\C$ admit relative tensor products (see~\cite[sec. 4.4.3]{HA}). It is then easy to describe the underlying object of $\DK(A)$; it is given by the relative tensor product
$\one \otimes_A \one$.
To see the coalgebra structure, consider
\[
\one \otimes_A \one \simeq \one \otimes_A A \otimes_A \one
\]
as the image of $A$ under the functor
\begin{equation}\label{eq:free_obj_on_A_bimodule}
\one \otimes_A - \otimes_A \one \colon \BMod{A}{A}(\C)^\op \to \C^\op.
\end{equation}
Being the unit of a monoidal category, $A \in \BMod{A}{A}(\C)^\op$ admits an essentially unique algebra structure.
If the functor~\eqref{eq:free_obj_on_A_bimodule} is lax monoidal then the induced functor
\[
\one \otimes_A - \otimes_A \one \colon \Alg \left( \BMod{A}{A}(\C)^\op \right) \to \Alg \left( \C^\op \right),
\]
equips the Koszul dual $\one \otimes_A A \otimes_A \one \simeq \one \otimes_A \one$ with a coalgebra structure.
Let us point out two crucial facts.
\begin{enumerate}
\item Being lax monoidal is additional \emph{structure} on the functor~\eqref{eq:free_obj_on_A_bimodule}, which depends on the choice of augmentation $ A \to \one$.
Its construction amounts to the main part of~\cite[sec. 5.2.2]{HA}.
\item It is not at all clear how to combine the above construction into a functor
\[
\DK \colon \Alg^{aug}(\C)^\op \to \Alg^{aug}(\C^\op),
\]
since different algebras require us to examine different bimodule categories.
To that end, it is better to describe each of the above constructions as solutions to representation problems.
% Lurie develops the theory of pairing of $\infty$-categories (\cite[sec. 5.2.1]{HA}) and its monoidal variants.
This is acheived via the theory of pairings of $\infty$-categories and its monoidal variants, developed in~\cite[sec. 5.2.1]{HA}.
\end{enumerate}
\subsection{Review: functorial characterization of Koszul duality for algebras}
Let $\C^\otimes$ be a monoidal $\infty$-category.
Lurie begins by formulating a functorial characterization of the coalgebra $\DK(A)$ associated to an algebra $A$ in $\C$, which may be summarized as follows. After possibly replacing $\C$ by $\C_{/\one}$ we may assume the unit object is terminal.
There's a right fibration
\[
\la: \TwArr(\C) \to \C \times \C^\op
\]
which classifies the Hom-functor $\la\inv(A,B) = \Hom_\C(A,B)$.
Informally, we think of an object of $\TwArr(\C)$ over $(A,B)\in \C \times \C^\op$ as classifying a map $A \to B$ in $\C$.
Formally, $\la$ is an example of a pairing, i.e. a right fibration of the form
\[
\M \to \C \times \D.
\]
The monoidal structure on $\C$ endows the twisted arrow category $\TwArr(\C)$ with a monoidal structure, and $\la$ may be upgraded to a pairing between categories of algebras
\[
\Alg(\la): \Alg \TwArr(\C)
\to
\Alg( \C) \times \Alg(\C^\op).
\]
The pairing $\Alg(\la)$ induces a functor
\[
\hat \Ddual_{\Alg(\la)}: \Alg(\C)^\op \to \PSh \Alg(\C^\op)
\]
to the category of presheaves, and the \emph{Koszul dual}
$\DK(A)$ of $A$ may be defined as \emph{the} object of $\Alg(\C^\op)$ representing $\hat \Ddual_{\Alg(\la)}(A)$ (unique up to essentially unique equivalence), provided that such an object exists.
If $\one \in \C$ is initial, we may reverse direction.
The pairing $\Alg(\la)$ also induces a functor
\[
\PSh \Alg(\C) \from \Alg(\C^\op)^\op: \hat \Ddual'_{\Alg(\la)},
\]
and the Koszul dual $\DKpr(B)$
of $B$ may be defined as the object of $\Alg(\C)$ representing $\hat \Ddual'_{\Alg(\la)}(B)$, provided that such an object exists.
If $\one \in \C$ is both initial and terminal, and if Koszul duals in both directions are representable, then it follows formally that $\DK^\op$ is left adjoint to $\DKpr$.
\subsection{Review: construction of Koszul duality for algebras} \label{sec:review_duality_algebras}
The construction of the functors $\DK$, $\DKpr$ departs from the confines of the twisted arrow category.
A pairing of $\infty$-categories
\[
\la: \M \to \C \times \D
\]
is \emph{left representable} if the associated functor
\[
\hat \Ddual_\la : \C^\op \to \PSh \D
\]
factors through the Yoneda embedding of $\D$.
% The functors $\la$ and $\la_\a$ above are examples.
For example, the functor $\la$ above is left representable.
Consider a general \emph{monoidal pairing} of monoidal $\infty$-categories
\[
\la^\otimes: \M^\otimes \to \C^\otimes \times_{\Ass} \D^\otimes
\]
(a right fibration of underlying categories subject to conditions which we suppress throughout the introduction), and assume that the induced pairing of underlying categories is left representable.
Then $\la^\otimes$ gives rise to a pairing $\Alg(\la)$
of categories of algebras and further, to a functor
\[
\hat \Ddual_{\Alg(\la)}: (\Alg \C)^\op \to \PSh (\Alg \D).
\]
Theorem 5.2.2.17 of~\cite{HA} states that under certain assumptions, $\hat \Ddual_{\Alg(\la)}(A)$ is representable for all $A$, hence $\hat \Ddual_{\Alg(\la)}$ factors as precomposition of the Yoneda embedding of $\Alg \D$ and a functor
\[
\Ddual_{\Alg(\la)}: (\Alg \C)^\op \to \Alg \D.
\]
A fortiori, the algebra $\Ddual_{\Alg(\la)}(A)$ in $\D$ will be determined by the Koszul dual $\DK(A)$ as follows: the pairing $\la^\otimes$ in fact gives rise to a lax-monoidal functor
\[
\Ddual_{\la^\otimes}: (\C^\op)^\otimes \to \D^\otimes
\]
and $\Ddual_{\Alg(\la)}(A) = \Ddual_{\la^\otimes}\big(\DK(A)\big)$.
One condition on $\la^\otimes$ ensures the existence of an essentially unique algebra $M \in \Alg(\M)$ lifting $(A, \one_\D)$.
% Roughly speaking, in the case of the twisted arrow category we are given an augmented algebra $A \to \one$, regarded as an algebra object of the overcategory $\C_{/\one}$ of the unit object.
% The object $M$ will then represent the augmentation.
In the case of the twisted arrow category, $M$ classifies the given augmentation (unique after replacing $\C$ with $\C_{/\one}$).
Continuing with Lurie (loc. cit.), there is then an induced pairing
\[
\la_M \colon {\BMod{M}{M}(\M)}^\otimes \to
{\BMod{A}{A}(\C)}^\otimes \times_{\Ass} \D^\otimes.
\]
If $F = A \otimes E \otimes A$ is the free $A$-$A$-bimodule generated by $E \in \C$, then its $\la_M$-dual $\hat \Ddual_{\la_M}(F) \in \Psh \D$ with respect to the pairing $\la_M$ is represented by
\[
\Ddual_{\la_M}(F) = \Ddual_{\la} (E).
\]
However, while $A$ is the unit object of ${\BMod{A}{A}}$, it is \emph{not free} as $A$-$A$-bimodule.
Using free resolutions, one constructs an $M$-$M$-bimodule $M'$ lying over a pair $(A,B)$ which witnesses the fact that $B \in \D$ represents the presheaf $\hat \Ddual_{\la_M}(A) \in \PSh(\D)$.
Since $A$ is the unit object and since $\hat \Ddual_{\la_M}$ is lax-monoidal, $B = \Ddual_{\la_M}(A) \in \D$ inherits an algebra structure, as witnessed by an algebra structure on $M'$.
Dispensing with the spent bimodule structures, we obtain an algebra object $M'$ of $\M^\otimes$ witnessing the fact that $B$ represents $\Ddual_{\Alg(\la)}(A)$.
\subsection{Review: comparison with the relative tensor product}
\label{comprev}
We now return to the case of the twisted arrow category, and relate the functor $\Ddual_{\Alg(\la)}$ to the description of \cref{sec:review_duality_bimodules}.
Suppose $\D = \C^\op$, $\M = \TwArr(\C)$ is the twisted arrow category, and $M \in \Alg(\M)$ witnesses an augmentation $A\to \one$.
Then there's a natural augmentation $M \to \one$.
Pulling back an object of $\M$ regarded as $\one$-$\one$-bimodule along the augmentation gives rise to a \textit{morphism $f$ of pairings}
\begin{equation*}
\begin{tikzcd}
\M \ar[d] \ar[r] & {\BMod{M}{M}} \ar[d] \\
\C \times \D \ar[r] & {\BMod{A}{A}} \times \D.
\end{tikzcd}
\end{equation*}
A certain compatibility with induced duality functors ($f$ is a ``right representable morphism of right representable pairings'') leads to a commuting square
\begin{equation*}
\begin{tikzcd}
\C \ar[d] & \D^\op \ar[l] \ar[d] \\
{\BMod{A}{A}} & \D^\op \ar[l,"D'_{\la_M}"].
\end{tikzcd}
\end{equation*}
This shows that $\Ddual'_{\la_M}$ is given by pulling back bimodules along the augmentation.
Hence its left adjoint $\Ddual_{\la_M}$ is given by
\[
\Ddual_{\la_M}(X) = \one \otimes_A X \otimes_A \one
\]
so $B = \one \otimes_A \one$.
\subsection{\texorpdfstring{$\LM$}{LM}-variant: functorial characterization of Koszul duals}
Recall that the $\infty$-operad $\LM^\otimes$ has two colors $\a$ and $\m$, that an $\LM$-monoidal category
\[
\C^\otimes \to \LM^\otimes
\]
witnesses the category $\C_\m$ as left-tensored over the monoidal category $\C_\a^\otimes$, and that an $\LM$-algebra $X$ is a morphism of $\infty$-operads
\[
X : \LM^\otimes \to \C^\otimes
\]
over $\LM^\otimes$ which models a pair $(X_\a, X_\m)$ consisting of an algebra object $X_\a$ in $\C_\a$ and an $X_\a$-module $X_\m$ in $\C_\m$.
Given $X \in \LMod(\C)$ we say that $X$ \emph{endows $X_\m$ with the structure of a left $X_\a$-module}.
Suppose given an \emph{$\LM$-monoidal pairing}
\begin{align}
\tag{*} \label{ast:LM_monoidal_pairing}
\la^\otimes \colon \M^\otimes \to \C^\otimes
\times_{\LM^\otimes} \D^\otimes
\end{align}
where the unit object of $\D_\a$ is initial.
We assume the underlying pairings $\la_\a$, $\la_\m$ give rise to duality functors
\[
\Ddual_{\la_\a}: \C_\a^\op \to \D_\a,
\quad
\Ddual_{\la_\m}: \C_\m^\op \to \D_\m.
\]
The pairing \eqref{ast:LM_monoidal_pairing} may be upgraded to a pairing of left-module categories
% \mar{Notation $\la^{\opnm{mod}}$?} AH: no, unless consistently throughout the paper.
\[
\LMod(\la) \colon \LMod(\M) \to \LMod(\C) \times \LMod(\D)
\]
which subsequently gives rise to a functor
\[
\hat \Ddual_{\LMod(\la)} \colon \LMod(\C)^\op \to \PSh \LMod \D
\]
to the category of presheaves on $\LMod \D$.
The functor $\hat \Ddual_{\LMod(\la)}$ has the expected compatibility with the functor
\[
\hat \Ddual_{\Alg(\la_\a)}: \Alg(\C_\a)^\op \to \PSh \Alg(\D_\a^\op)
\]
associated to the pairing
\[
\la_\a: \M_\a^\otimes \to \C_\a^\otimes
\times_{\Ass} \D_\a^\otimes
\]
so that if $X = (X_\a, X_\m)$ is a left-module object of $\C^\otimes$ and $\hat \Ddual_{\LMod(\la)}(X) = (Y_\a, Y_\m)$ is its candidate Koszul dual regarded as a left-module object in the category of presheaves,
then
\[
\hat \Ddual_{\Alg(\la_\a)}(X_\a) = Y_\a.
\]
Mirroring \cite[5.2.2.27]{HA}, our theorem \ref{LM52227} states that under certain assumptions, the functor $\hat \Ddual_{\LMod(\la)}$ factors through a functor
\[
\Ddual_{\LMod(\la)} \colon \LMod(\C)^\op \to \LMod \D.
\]
\subsection{\texorpdfstring{$\LM$}{LM}-variant: construction of Koszul duality functors}
We adapt Lurie's techniques from \cref{sec:review_duality_algebras} to the $\LM$-monoidal settings.
Let
\[
\M^\otimes \to \LM^\otimes
\]
be an $\LM$-monoidal category, and let $M$ be an algebra object of the monoidal category $\M_\a$.
In \cref{def:BLMod_A} we construct (under certain assumptions) an $\LM$-monoidal category $\BLMod_{M}(\M)^\otimes$ witnessing a left action of the category of bimodules
\[
\BLMod_{M}(\M)_\a^\otimes =
{_{M} \Bmod_{M}}(\M_\a)^\otimes
\]
on the category of left modules
\[
\BLMod_{M}(\M)_\m = \LMod_{M}(\M_\m).
\]
We show that an $\LM$-algebra
\[
Z = (Z_\a, Z_\m) \in \LMod \BLMod_{M}(\M)
\]
is nothing more than an $M$-algebra $Z_\a$ and a $Z_\a$-module $Z_\m$.\footnote{
%
So, while the construction of the $\LM$-monoidal category $\BLMod_{M}(\M)^\otimes$ is complicated, its category of $\LM$-algebras is predetermined.
%
}
We refer to such an object as an \emph{$\LM$-algebra over $M$}.
The characters above each play a role analogous to a character in the previous play as in the following table.
\begin{center}
\begin{tabular}{ c| c }
$\Ass$ & $\LM^\otimes$ \\
\hline
%
${\BMod{M}{M}}(\M)$ &
${\BMod{M}{M}}(\M_\a)$, ${\LMod_M}(\M_\m)$
\\ %
${\BMod{M}{M}}(\M)^\otimes$ &
$\BLMod_M(\M)^\otimes$
\\ %
${\Alg\left({\BMod{M}{M}}(\M)\right)}$ &
$\LMod \left( \BLMod_M(\M) \right)$
\end{tabular}
\end{center}
Returning to the $\LM$-monoidal pairing above, fix a left-module object $X = (X_\a, X_\m)$ of the $\LM$-monoidal category $\C^\otimes$.
To construct the left-module object $D_{\LMod(\la)}(X)$ of $\LMod \D$ (and hence prove the theorem), we first lift $X_\a$ to an algebra object $M$ of $\M_\a$ lying above the pair of algebras $(X_\a, \one_{\D_\a})$ just as in the monoidal case of \cite[sec. 5.2.2]{HA}.
We then construct an $\LM$-monoidal pairing
% \mar{Notation: $\la_M^\otimes$?}
\[
\la^\otimes_{M}: \BLMod_{M}(\M)^\otimes
\to
\BLMod_{X_\a}(\C)^\otimes
\times_{\LM^\otimes} \D^\otimes.
\]
The $\LM$-monoidal pairing $\la^\otimes_{M}$
plays the role of the monoidal pairing of bimodule categories in the monoidal case.
In fact, it includes a monoidal pairing
\[
{_{M}\Bmod_{M}}(\M_\a)^\otimes
\xto{\la_{M, \a}^\otimes}
{_{X_\a}\Bmod_{X_\a}}(\C_\a)^\otimes
\times \D_\a^\otimes,
\]
as well as a pairing of $\infty$-categories of left modules
\[
\LMod_{M}(\M_\m)
\xto{\la_{M, \m}}
\LMod_{X_\a}(\C_\m) \times \D_\m,
\]
and enables us to construct a pairing of $\infty$-categories
\[
\la_{M}: \LMod \BLMod_{M}(\M) \to
\LMod \BLMod_{X_\a}(\C)
\times
\LMod \D
\]
of left modules \textit{over}
\[
M \mapsto (X_\a, \one_{\D_\a}).
\]
Using free resolutions as above, we construct an $M$-$M$-bimodule $Z_\a$ lying over a pair
\[
(X_\a,Y_\a) \in
{_{X_\a}\Bmod_{X_\a}}(\C_\a) \times \D_\a
\]
witnessing the fact that $Y_\a \in \D_\a$ represents the presheaf $\hat \Ddual_{\la_{M, \a}}(X_\a) \in \PSh(\D_\a)$.
Similarly, if $F = X_\a \otimes E$ is the free left $X_\a$-module generated by $E \in \C_\m$, then its dual $\hat \Ddual_{\la_M, \m}(F) \in \PSh \D_\m$ with respect to the pairing $\la_{M, \m}$ is represented by the object
\[
\Ddual_{\la_M, \m}(F) = \Ddual_{\la_\m}(E).
\]
Applying this observation to a free resolution, one obtains a left $M$-module $Z_\m$ lying over a pair
\[
(X_\m,Y_\m) \in
{\LMod_{X_\a}}(\C_\m) \times \D_\m
\]
witnessing the fact that $Y_\m \in \D_\m$ represents the presheaf $\hat \Ddual_{\la_{M, \m}}(X_\m) \in \PSh(\D_\m)$.
Since $X_\a$ is the unit object of ${_{X_\a}\Bmod_{X_\a}}(\C_\a)$ and since $\hat \Ddual_{\la_{M}}$ is lax-$\LM$-monoidal, $Y = (Y_\a, Y_\m)$ inherits a left module structure, as witnessed by a left module structure on $Z = (Z_\a, Z_\m)$.
Dispensing with the spent $M$-algebra structure of $Z_\a$, we obtain a left module $Z$ in $\M^\otimes$ witnessing the fact that $Y$ represents $\Ddual_{\LMod(\la)}(X)$.
This completes our overview of the proof of \cref{LM52227}. Comparison with the bar construction in the case of the twisted arrow category is achieved similarly to \S \ref{comprev} above, and we refer the reader to the proof of \cref{BarCobarAdjunction} for the details.
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%%%%%
\section{Restricted double \texorpdfstring{$\infty$}{infinity}-categories of bimodules in a monoidal \texorpdfstring{$\infty$}{infinity}-category}%%%%%%%%
\label{sec:Morita_double_cat}
%%%%%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
% \input{KoszulDoubleInfty.tex}
In~\cite[lem. 4.4.3.9]{HA} Lurie constructs an $\infty$-categorical version of the double Morita category of algebras and bimodules in a monoidal $\infty$-category $\C$, under the assumption that tensor products in $\C$ are compatible with geometric realizations.
Our goal in this section is \cref{link1}, a modification of Lurie's construction which weakens the compatibility assumption: we only assume compatibility with a restricted collection of geometric realizations, prescribed by a class of algebras $\A$.
This section closely follows \cite[sec. 4.4.3]{HA} with needed modifications; no new ideas are required.
The results of this section will be used in \cref{sec:BLMod} to package the relative tensor product of an $A$-$A$-bimodule and a left $A$-module into an $\LM$-monoidal $\infty$-category.
\subsection{Multimodules}
We introduce some notation.
The combinatorics of the associativity of relative tensor products up to coherent higher homotopies are encoded by the $\Delta^\op$-family of $\infty$-operads
\[
\tag{*}
\Tens^\otimes \to \Delta^\op \times \Fin_*
\]
of \cite[Definition 4.4.1.1]{HA} or \cref{def:Tens}.
We refer to $\Tens^\otimes$ as the \emph{Morita $\infty$-operad family}.
If $\al: S \to \Delta^\op$ is a map of simplicial sets, we denote the pullback of (*) composed with the projection
\[
\Delta^\op \times \Fin_* \to \Delta^\op
\]
along $\al$ by $\Tens^\otimes_S$ or by $\Tens^\otimes_\al$ if we wish to emphasize the dependence on the map $\al$.
In particular, if $\al:s \to s'$ is a morphism in $\Delta^\op$, we write $\Tens^\otimes_\al$ for the pullback along the associated morphism
\[
\al: \Delta^1 \to \Delta^\op.
\]
Recall from \cite[Notation 4.4.1.9]{HA} that for each $n \ge 1$, the $\infty$-operad $\Tens^\otimes_{[n]}$ has colors
$\a_0 , \a_1 , \a_2 , \cdots , \a_n$ and $\m_{0,1} , \m_{1,2} , \cdots , \m_{n-1, n}$.
% \begin{equation*}
% \begin{tikzcd}[column sep= tiny, row sep=tiny]
% & \m_{0,1} && \m_{1,2} && \cdots && \m_{n-1, n}
% \\
% \a_0 && \a_1 && \a_2 && \cdots && \a_n.
% \end{tikzcd}
% \end{equation*}
If $M \colon \Tens^\otimes_{[n]} \to \Cc^\otimes$ is a $\Tens^\otimes_{[n]}$-algebra over $\Ass$ in a monoidal $\infty$-category $\C^\otimes$, then associated to each color $\a_i$ is an algebra $A_i$ in $\C$, and associated to each color $\m_{i,i+1}$ is an $A_i$-$A_{i+1}$-bimodule in $\C$.
\begin{terminology}[$\A$-multimodules] \label{29.1}
We refer to a $\Tens^{\otimes}_{[n]}$-algebra
\[
M \colon \Tens^\otimes_{[n]} \to \C^\otimes
\]
in a monoidal category $\C^\otimes$ over $\Ass$ as a \emph{multimodule} and denote it by
\[
M=
_{A_0}{M^{0,1}}_{A_{1}} M^{1,2}_{A_2}
\cdots
_{A_{n-1}} M^{n-1,n}_{A_n}
\]
with the algebras as subscripts and the bimodules between them placed on the line.
An \emph{$(A_0,\ldots,A_n)$-multimodule} (or a \emph{multimodule over $(A_0, \dots, A_n)$}), is simply a multimodule whose algebras are $(A_0,\ldots,A_n)$.
If we wish to specify the number $n$ we say \emph{$n$-module} instead of \emph{multimodule}.
Thus, for instance, a 2-module looks like so:
\[
_{A_0}M_{A_1}N_{A_2}.
\]
Let $\A \subset \Alg(C)$ be a class of algebras closed under equivalences.
By an \emph{$\A$-multimodule}, we mean a multimodule
\[
M=
_{A_0}{M^{0,1}}_{A_{1}} M^{1,2}_{A_2}
\cdots
_{A_{n-1}} M^{n-1,n}_{A_n}
\]
whose algebras $A_0, \dots, A_n$ belong to $\A$.
\end{terminology}
\begin{terminology} [Relative tensor product of $\A$-multimodules] \label{27.2}
Let
\[
q \colon \C^\otimes \to \Ass
\]
be a monoidal $\infty$-category, and let $\A \subset \Alg(\C)$ be a class of algebras closed under equivalences.
We say that $\C$ \emph{admits operadic left Kan extensions from $\A$-multimodules} if for every edge $\al: s\to s'$ in $\Delta^\op$ and every $\A$-multimodule $F_0 \in \Alg_{\Tens_s/\Ass}(\C)$
there exits an operadic $q$-left Kan extension
\[
F \in \Alg_{\Tens_\al/\Ass}(\C)
\]
of $F_0$, as in the following diagram:
\begin{equation*}
\begin{tikzcd}
\Tens^\otimes_s \ar[d] \ar[r,"F_0"] & \C^\otimes \ar[d] \\
\Tens^\otimes_\al \ar[r] \ar[ur, dashed, "F"] & \Ass.
\end{tikzcd}
\end{equation*}
We also say that \emph{$\C$ admits relative tensor products of $\A$-multimodules}; this generalizes~\cite[def. 4.4.2.3]{HA}.
\end{terminology}
\subsection{The Morita pre-\textit{double \texorpdfstring{$\infty$}{infinity}-category}} \label{27.1}
We will construct the Morita double $\infty$-category $\Bmod_\A(\C)$ as a simplicial subset of the Morita double $\infty$-category $\Bmod(\C)^\otimes$ \cite[cor. 4.4.3.2 and def. 4.4.3.10]{HA}:
\begin{mydef}\label{def:BMod_C_star}
For variable $[n] \in \Delta^\op$, the $\infty$-categories of $n$-multimodules in $\C$ arrange themselves into a map of simplicial sets
\begin{equation}\label{eq:BmodC_map}
{\Bmod(\C)}^\circledast \to \Delta^\op
\end{equation}
defined by the following universal property:
\begin{adjustwidth}{1cm}{1cm}
For every map of simplicial sets $K \to \Delta^\op$,
we have a bijection
% the set
\[
\Hom_{(\Set_\Delta)/\Delta^\op} (K, {\Bmod(\C)}^\circledast)
\= \Alg_{\Tens_K / \Ass}(\C)_{0}
\]
% is in bijection with
between the set of simplicial maps $K \to \Bmod(\C)^{\circledast}$ over $\Delta^\op$ and the set\footnote{We emphasize that the right hand side is considered as a set by adding the subscript 0}
of $\Tens_K^\otimes$-algebras in $\C^\otimes$ over $\Ass$, functorial in $K$.
\end{adjustwidth}
Functoriality in $K$ implies that a
% with the obvious functoriality in $K$, so that the
diagram of simplicial sets
% over $\Delta^\op$
\begin{equation*}
\begin{tikzcd}
L \ar[d] \ar[r] & {\Bmod(\C)}^\circledast \ar[d] \\
K \ar[r] \ar[ur] & \Delta^\op
\end{tikzcd}
\end{equation*}
commutes if and only if the corresponding diagram
\begin{equation*}
\begin{tikzcd}
\Tens_L^\otimes \ar[d] \ar[r] & \C^\otimes \ar[d] \\
\Tens_K^\otimes \ar[r] \ar[ur] & \Assoc
\end{tikzcd}
\end{equation*}
commutes.
We refer to ${\Bmod(\C)}^\circledast$ as the Morita pre-\textit{double $\infty$-category} of $\C$.\footnote{This is the same as~\cite[Definition 4.4.3.10]{HA}, except that we do not assume that the tensor product in $\C$ is compatible with geometric realizations (in the sense of~\cite[def. 3.1.1.18]{HA}).}
\end{mydef}
In the following paragraphs we assemble a few first properties of $\rm{BMod}(\C)^\circledast$.
\begin{lem} \label{link2}
Let $q \colon \C^\otimes \to \Ass$ be a monoidal $\infty$-category, and $p \colon {\Bmod(\C)}^\circledast \to \Delta^\op$ as above.
Then $p$ is an inner fibration.
\end{lem}
\begin{proof}
We verify that $p$ has the right lifting property with respect to all inner anodyne maps.
% We first verify that $p\colon {\Bmod(\C)}^\circledast \to \Delta^\op$ is an inner fibration.
By definition of ${\Bmod(\C)}^\circledast$ checking the lifting condition against an inner anodyne map $A \to B$ is equivalent to solving the following lifting problem
\begin{equation*}
\begin{tikzcd}
\Tens^\otimes_A \ar[d] \ar[r] & \C^\otimes \ar[d] \\
\Tens^\otimes_B \ar[r] \ar[ur, dashed] & \Ass.
\end{tikzcd}
\end{equation*}
By~\cite[thm. 4.4.3.1]{HA} (flatness of $\Tens^\otimes \to \Delta^\op$) and~\cite[prop. B.3.14]{HA} the monomorphism $\Tens^\otimes_A \to \Tens^\otimes_B$ is a trivial cofibration in the Joyal model structure (\cite[thm. 2.2.5.1]{HTT}).
It follows that the solution to the above lifting problem exists, as the right vertical morphism $\C^\otimes \to \Ass$ is a categorical fibration.
\end{proof}
\begin{mydef}
\label{666a}
Let $\C^\otimes$ be a monoidal $\infty$-category and let $\A \subset \Alg(\C)$ be a class of algebras closed under equivalences.
We say that
\[
{\Bmod(\C)}^\circledast \to \Delta^\op
\]
\emph{admits coCartesian lifts from $\A$-multimodules} if whenever $\al:s \to s'$ is an edge in $\Delta^\op$ and $F_0$ is an $\A$-multimodule,
there exits a $p$-coCartesian lift of $\al$ extending $F_0$.
\end{mydef}
\begin{prop} \label{2}
Let $q \colon \C^\otimes \to \Ass$ be a monoidal $\infty$-category.
Let $\al: s \to s'$ be an edge in $\Delta^\op$ and let $F_0$ be a vertex of $\Alg_{\Tens_s/\Ass}(\C)$.
The vertex $F_0$ corresponds to an element of\footnote{Here we consider $s$ as a map of simplicial sets
$s \colon \set{s}=\Delta^0 \xto{0} \Delta^1 \xto{\al} \Delta^\op$.}
\[
\Hom_{{\Set_\Delta}/\Delta^\op} (\set{s}, {\Bmod(\C)}^\circledast),
\]
and hence to a vertex of ${\Bmod(\C)}^\circledast$ lying over $s$.
Let $F$ be a vertex of $\Alg_{\Tens_\al/\Ass}(\C)$ extending $F_0$; equivalently, $F$ is an edge of ${\Bmod(\C)}^\circledast$ lying over $\al$ with source $F_0$.
If $F$, regarded as
\[
\Tens^\otimes_\al \to \C^\otimes,
\]
is an operadic $q$-left Kan extension of $F_0$, then $F$ regarded as an edge of
$
{\Bmod(\C)}^\circledast
$
is $p$-coCartesian.
In particular, if $\C$ admits operadic left Kan extensions from $\A$-multimodules (\cref{27.2}), then $\Bmod(\C)^\circledast$ admits coCartesian lifts from $\A$-multimodules (\cref{666a}).
\end{prop}
This is essentially Corollary 4.4.3.2 of \cite{HA}. We nevertheless repeat the proof here for the convenience of the reader, since we found the argument in loc. cit. a bit condensed.
\begin{proof}
It's enough to solve the lifting problem of~\cite[rem. 2.4.1.4]{HTT} (dualized):
\begin{equation}
\tag{*}
\text{For $n \ge 2$:} \quad \quad
\begin{tikzcd}
\Delta^{\{0,1\}}
\ar[dr,"F"]
\ar[d, hookrightarrow] \\
\Lambda^n_0 \ar[r] \ar[d, hookrightarrow] &
\Bmod(\C)^\circledast \ar[d,"p"] \\
\Delta^n \ar[r,"\sigma"] \ar[ur,dashed] & \Delta^\op.
\end{tikzcd}
\end{equation}
Base-changing $\Tens^\otimes$ along $\sigma$, we have a $\Delta^n$-family of $\infty$-operads
\[
r \colon \Tens^\otimes_\sigma \to \Fin_* \times \Delta^n.
\]
Let $\gamma$ be the composite map
\[
\Tens^\otimes_{\Delta^n} = \Tens_\sigma^\otimes \to \Tens^\otimes \to \Ass.
\]
Diagram (*) gives rise to a commuting diagram of $\infty$-operad family maps (solid-arrow diagram below).
\begin{equation*}
\tag{**}
\begin{tikzcd}
\Tens^\otimes_{\Delta^{\{0\}}}
\ar[ddr,"F_0"] \ar[d] \\
\Tens^\otimes_{\Delta^{\{0,1\}}}
\ar[dr,"F"] \ar[d]
\\
\Tens^\otimes_{\Lambda^n_0}
\ar[r] \ar[d]
&
\C^\otimes \ar[d,"p"]
\\
\Tens^\otimes_{\Delta^n}
\ar[r,"\gamma"] \ar[ur,dashed, "f"]
&
\Ass
\end{tikzcd}
\end{equation*}
By assumption, the functor $F$ appearing in diagram (**) is an operadic $q$-left Kan extension of $F_0$.
By~\cite[thm. 3.1.2.3 (B)]{HA} there exists a map $f$ of generalized operads making diagram (**) commute.
This solves the lifting problem (*).
\end{proof}
\subsection{Review of the bar construction}
We very briefly review~\cite[Construction 4.4.2.7]{HA}, mostly for the sake of establishing notation.
Following \cite[not. 4.4.2.1]{HA}, we denote the pullback of $\Tens^\otimes$ along the morphism
\[
\Delta^1 \to \Delta^\op
\]
which corresponds to $[1] \simeq \set{0,2} \cof [2]$ in $\Delta$ by $ \Tens^\otimes_{\succ}$. In~\cite[not. 4.4.2.4]{HA} Lurie constructs a functor
\[
{(\Delta_+)}^\op \to \Tens^\otimes_{\succ}
\]
which encodes the combinatorics of the bar construction; we denote this functor by $\text{bar}^+$ and
%we denote
its restriction to $\Delta^\op$ by
\[
\text{bar} \colon \Delta^\op \to {(\Delta_+)}^\op \xto{\text{bar}^+} \Tens^\otimes_{\succ}.
\]
Note that the image of $\text{bar}$ is contained in $\Tens^\otimes_{[2]} \subset \Tens^\otimes_{\succ}$.
\begin{mydef}\label{def:bar_const}
Let $q \colon \C^\otimes \to \Ass$ be a monoidal $\infty$-category.
Let $F_0 = {_{A}M_{B}N_{C}}$ be an $(A,B,C)$-module in $\C$.
% over an algebra $A$ in $\C$.
The \emph{operadic bar construction on $(M,N)$ over $B$} is given by
\[
{\Bar_B^\otimes(M,N)}_\bullet \colon %:= F_0 \circ \text{bar}.
\Delta^\op \xto{\text{bar}} \Tens^\otimes_{[2]} \xto{F_0} \C^\otimes.
\]
% Then $F_0$ fits in
The commuting diagram of simplicial sets
\begin{equation*}
\begin{tikzcd}
\Delta^\op \ar[r,"\text{bar}"] \ar[d, hookrightarrow]
& \Tens^\otimes_{[2]} \ar[d] \ar[r,"F_0"]
& \C^\otimes \ar[d,"q"] \\
\Delta_+^\op \ar[r,"\text{bar}^+"]
& \Tens^\otimes_{\succ} \ar[r]
& \Ass.
\end{tikzcd}
\end{equation*}
% The above diagram
gives rise to a commuting square of simplicial sets (solid arrow diagram)
\begin{equation*}
\begin{tikzcd}
\Delta^{\set{0}} \ar[rr,"{\Bar_B^\otimes(M,N)_\bullet}"]
\ar[d,hookrightarrow]
& & \Fun(\Delta^\op, \C^\otimes )
\ar[d,"q^{\Delta^\op}"] \\
\Delta^1 \ar[rr,"\sigma"] \ar[urr,dashed,"\beta"]
& & \Fun(\Delta^\op, \Ass).
\end{tikzcd}
\end{equation*}
By~\cite[prop. 3.1.3.1]{HTT}, $q^{\Delta^\op}$ is again a coCartesian fibration.
Hence the edge $\sigma$ in $\Fun(\Delta^\op, \Ass)$ admits a coCartesian lift $\beta$ as indicated, extending the vertex ${\Bar_B^\otimes(M,N)}_\bullet$ of $\Fun(\Delta^\op, \C^\otimes )$.
We define the \emph{(underlying) bar construction on $(M,N)$ over $B$} by
\[
{\Bar_B(M,N)}_\bullet := \beta(1).
\]
The construction provides a natural transformation
\[
\beta \colon {\Bar_B^\otimes(M,N)}_\bullet
\to
{\Bar_B(M,N)}_\bullet
\]
of functors $\Delta^\op \to \C^\otimes$.
\end{mydef}
\begin{mydef} \label{def:admits_A_bar}
Let $A\in \Alg(\C)$ be an algebra.
We say that \emph{ $\C$ admits realizations of $A$-bar constructions $\otimes$-compatibly} if the following conditions hold:
\begin{enumerate}
\item
$\C$ admits realizations of the bar complexes $\Bar_A(M,N)_\bullet$.
\item For every $X,Y\in \C$ the canonical map
\[
\left| \Bar_A(X \otimes M,N\otimes Y ) \right| \to X \otimes \left| \Bar_A(M,N) \right| \otimes Y
\]
is an equivalence.
\end{enumerate}
Let $\A$ be a class of algebras in $\C$.
We say that \emph{$\C$ admits realizations of $\A$-bar constructions $\otimes$-compatibly}
if $\C$ admits realizations of $A$-bar constructions $\otimes$-compatibly for every $A\in \A$. When $\A$ is the class of all algebras, we simply say that $\C$ \emph{admits realizations of bar constructions $\otimes$-compatibly}.
Dually, let $A \in \coAlg(\C) = \Alg(\C^\op)^\op$ be a coalgebra.
We say that \emph{$\C$ admits totalizations of $A$-cobar constructions $\otimes$-compatibly} if $\C^\op$ admits realizations of $A$-bar constructions $\otimes$-compatibly, and similarly for ``\emph{admits totalizations of $\A$-cobar constructions $\otimes$-compatibly}'' and ``\emph{admits totalizations of cobar constructions $\otimes$-compatibly}''.
\end{mydef}
\begin{prop}[Refinement of HA.4.4.2.8 (1)] \label{29.2}
Let
\[
q \colon \C^\otimes \to \Ass
\]
be a monoidal $\infty$-category (so in particular a coCartesian fibration).
Let $F_0 = {_AM_BN_C}$ be an $(A,B,C)$-module in $\C$.
Assume ${\Bar_B(M,N)}_\bullet$ admits a geometric realization compatibly with $\otimes$.
Suppose given a commutative diagram of generalized $\infty$-operads (solid arrow diagram below)
\begin{equation*}
\begin{tikzcd}
\Tens^\otimes_{[2]} \ar[r,"F_0"] \ar[d] & \C^\otimes \ar[d,"q"] \\
\Tens^\otimes_\succ \ar[r,"f"] \ar[ur,dashed,"F"] & \Ass.
\end{tikzcd}
\end{equation*}
Then there exists an operadic $q$-left Kan extension $F$ of $F_0$ (dotted arrow) making the diagram commute.
\end{prop}
In the situation of \cref{29.2} we say that $F$ exhibits $X = F|_{\Tens^\otimes_{[1]}}$ as a relative tensor product of $M$ and $N$ (see~\cite[def. 4.4.2.3]{HA}).
\begin{proof}
By assumption, the underlying bar construction ${\Bar_B(M,N)}_\bullet$ extends to a colimit diagram
\[
{\Bar_B(M,N)}_\bullet^+:
\Delta^\op_+ \to \C.
\]
Moreover, since the colimit is assumed to be compatible with tensor product, the composite
\[
\Delta^\op_+ \xto{{\Bar_B(M,N)}_\bullet^+} \C
\subset \C^\otimes
\]
is in fact an operadic colimit diagram in $\C^\otimes$, see~\cite[prop. 3.1.1.16]{HTT}.
Denote the colimit by $P \in \C$.
We now upgrade the \textit{augmented} underlying bar construction ${\Bar_B(M,N)}_\bullet^+$ to a diagram
\[
{\Bar_B^\otimes(M,N)}_\bullet^+: \Delta^\op_+ \to \C^\otimes
\]
with cone point $P$, such that
\[
{\Bar_B^\otimes(M,N)}_\bullet^+|_{\Delta^\op} =
{\Bar_B^\otimes(M,N)}_\bullet,
\]
along with a natural transformation
\[
\beta^+: {\Bar_B^\otimes(M,N)}_\bullet^+
\to {\Bar_B(M,N)}_\bullet^+
\]
extending the given natural transformation
\[
\beta \colon {\Bar_B^\otimes(M,N)}_\bullet
\to {\Bar_B(M,N)}_\bullet.
\]
The natural transformation $\beta^+$ will be used to verify that ${\Bar_B^\otimes(M,N)}^+_\bullet$ too is an operadic colimit diagram.
Let $\a = \langle 1 \rangle$ denote the unique color of $\Ass$.
The map
\[
\Delta^\op_+ \xto{\text{bar}^+} \Tens^\otimes_{\succ}
\to \Ass
\]
corresponds to a map
\[
\al^+_o \colon \Delta^\op \to \Ass_{/\a}.
\]
Since $\a$ is terminal in the overcategory (and since $\Ass$ is the nerve of a 1-category), there's a unique natural transformation
\[
\al^+ \colon \Delta^\op \times \Delta^1 \to \Ass_{/\a}
\]
from $\al^+_o = \al^+|_{\Delta^\op \times \{0\}}$ to the constant diagram $\al^+|_{\Delta^\op \times \{1\}}$ with value $\a$.
Direct verification shows that the square solid-arrow diagram of simplicial sets
\begin{equation*}
\begin{tikzcd}
\Delta^\op \times \set{1}
\ar[r,"{\Bar_B(M,N)}_\bullet^+"]
\ar[d,hookrightarrow,"\kappa"]
& \C^\otimes_{/P}
\ar[d,"\phi"] \\
\Delta^\op \times \Delta^1
\ar[r,"{(\beta,\al^+)}"]
% \ar[r,"(\beta,\al^+)"]
\ar[ur,dashed,"\beta^+"]
& \C^\otimes \times_{\Ass} \Ass_{/\a}
\end{tikzcd}
\end{equation*}
commutes.
By~\cite[prop. 2.1.2.1]{HTT}, $\phi$ is a right fibration.
By~\cite[cor. 2.1.2.7]{HTT} $\kappa$ is right anodyne.
Hence there exists a dotted arrow $\beta^+$ as indicated, making both triangles of simplicial sets commute.
This completes the construction of the promised natural transformation $\beta^+: \Delta^\op_+ \times \Delta^1 \to \C^\otimes$.
We now verify that ${\Bar_B^\otimes(M,N)}_\bullet^+$ is an operadic colimit diagram.
By construction, for every vertex $x \in \Delta^\op$, the restriction $\beta^+|_{\{x\} \times \Delta^1} = \beta|_{\{x\} \times \Delta^1}$ is a $q$-coCartesian edge in $\C^\otimes$.
Moreover, $\beta^+|_{\{[-1]\} \times \Delta^1}$ is equal to the identity morphism of $P$, hence is again $q$-coCartesian.
Hence~\cite[prop. 3.1.1.15]{HA} applies to show that the \textit{augmented} operadic bar construction ${\Bar_B^\otimes(M,N)}_\bullet^+$ is an operadic $q$-colimit diagram.
The theorem follows by applying~\cite[prop. 4.4.2.5]{HA}.
\end{proof}
\begin{prop}[Refinement of Lemma HA.4.4.3.9 (1)] \label{27.3}
Let $q: \C^\otimes \to \Ass$ be a monoidal $\infty$-category and let $\A$ be a class of algebra objects of $\C$ closed under equivalences.
Assume that $\C$ admits realizations of $\A$-bar construction $\otimes$-compatibly.
Let
\[
p \colon {\Bmod(\C)}^\circledast \to \Delta^\op
\]
be the associated Morita pre-\textit{double $\infty$-category} (\cref{def:BMod_C_star}).
Then ${\Bmod(\C)}^\circledast$ admits coCartesian lifts from $\A$-multimodules (\cref{666a}).
\end{prop}
\begin{proof}
By \cref{2} it will suffice to show that for every map
\[
\al \colon [n]\to[m]
\]
in $\Delta$ and every $\A$-multimodule $F_0 \in \Alg_{\Tens_{[m]}/\Ass}(\C)$,
there exists an operadic $q$-left Kan extension $F \in \Alg_{\Tens_\al/\Ass}(\C)$ of $F_0$.
For each $r \ge 0$, we define
\[
\al_i:[r] \to [r+1]
\]
to be the order-preserving map with image $[r+1] \setminus \{i\}$.
We can factor $\al$ as a composition
\[
[n] \xto{\beta} [k] \to [k+1] \to \cdots \to [m]
\]
where $\beta$ has convex image and the remaining maps are of the form
\[
\al_i:[p-1] \to [p]
\]
for some $0<i<p$.
Using~\cite[thm. 4.4.3.1]{HA} (flatness of $\Tens^\otimes \to \Delta^\op$) and~\cite[thm. 3.1.4.1]{HA} (transitivity of operadic left Kan extensions) it's enough to show that if $\al$ is of either of these forms,
then there exists an operadic $q$-left Kan extension $F$ as above such that the associated output multimodule
\[
F_1: \Tens^\otimes_{[n]} \to \Tens_{\al}^\otimes \xto{F} \C^\otimes
\]
is again an $\A$-multimodule.
When $\al$ has convex image this follows from~\cite[lem. 4.4.3.5.(1)]{HA}.
Indeed, let $f$ denote the map
\[
\Tens^\otimes_{[n]} \to \Ass.
\]
In the notation of that lemma, for every object $X \in \Tens_{[n]}$, there exists a map
\[
F_0(v_\al X) \to C
\]
in $\C^\otimes$ lying over the map
\[
\tag{*}
f(v_\al X) \to f(X)
\]
given by an operadic $q$-colimit diagram $\Delta^1 \to \C^\otimes$;
this holds trivially since the map (*) is necessarily the identity map of the unique color of $\Ass$.
Hence~\cite[lem. 4.4.3.5(1)]{HA} implies that there exists an operadic $q$-left Kan extension $F$ of $F_0$.
Moreover, by construction, if $F_0$ corresponds to an $A$-multimodule
\[
_{A_0}{M^{0,1}}_{A_{1}} M^{1,2}_{A_2}
\cdots
_{A_{n-1}} M^{n-1,n}_{A_n}
\]
then $F_1$ corresponds to a two-sided truncation of the above, and hence to an $\A$-multimodule.
When $\al$ is of the form $\al_i$ we construct the desired operadic $q$-left Kan extension $F$ using~\cite[lem 4.4.3.8]{HA}.
Conditions (a), (b) and (c) hold trivially (since in the notation of that lemma the maps $f(a_{\al(j)}) \to f(b_j), f(m_{j-1,j}) \to f(n_{j-1,j}), f(m_{j,j+1}) \to f(n_{j,j+1})$ are all the identity of the unique object of $\Ass_{<1>}$.)
Condition (d) holds by \cref{29.2}.
Condition ($a'$) shows that $F_1$ is again an $\A$-multimodule.
\end{proof}
\begin{cor} \label{link4}
In the situation and the notation of \cref{27.3}, let
\[
{\Bmod_{\A}(\C)}^\circledast \subset {\Bmod(\C)}^\circledast
\]
be the full subcategory supported on $\A$-multimodules.
Assume that $\C$ admits realizations of $\A$-bar constructions $\otimes$-compatibly.
Then the restriction of $p$ to
\[
{\Bmod_\A(\C)}^{\circledast} \to \Delta^\op
\]
is a coCartesian fibration.
\end{cor}
\begin{proof}
The restriction
\[
p' \colon {\Bmod_\A(\C)}^\circledast \to {\Bmod(\C)}^\circledast \xto{p} \Delta^\op
\]
is an inner fibration as a composition of inner fibrations.
Let $X \in {\Bmod_\A(\C)}^\circledast$ and let $\al \colon x \to y$ be a map in $\Delta^\op$ with $x=p(X)$.
By \cref{27.3} there exists a $p$-coCartesian lift $f \colon X \to Y$ of $\al$ in ${\Bmod_\A(\C)}^\circledast$.
By~\cite[prop. 2.4.1.3(3)]{HTT} the edge $f$ is $p'$-coCartesian.
\end{proof}
\subsection{The Morita double \texorpdfstring{$\infty$-}{infinity}category of \texorpdfstring{$\A$}{A}-multimodules}
\begin{terminology} \label{05192}
We say that a morphism $\al \colon [n] \to [m]$ in $\Delta^\op$ is \emph{convex} if the associated map of totally ordered sets $[n] \from [m]$ has convex image.
Noting that identity morphisms are convex, and that the composite of two convex morphisms is again convex, we define the \emph{convex ordinal category} $\Delta^\op_\text{Convex} \subset \Delta^\op$ to be the subcategory whose objects are the same as those of $\Delta^\op$ and whose morphisms are the convex morphisms in $\Delta^\op$.
\end{terminology}
\begin{prop}[or $\Bmod(\C)^\circledast$] \label{05191}
Let
\[
q \colon \C^\otimes \to \Ass
\]
be a monoidal $\infty$-category and let
\[
p \colon B^\circledast = {\Bmod(\C)}^\circledast \to \Delta^\op
\]
be the associated Morita pre-\textit{double $\infty$-category} (\cref{27.1}).
Then the pullback $p_\text{Convex}$ of $p$ to $\Delta^\op_\text{Convex}$ as in the following diagram
\begin{equation*}
\begin{tikzcd}
B^\circledast_\text{Convex} \ar[r] \ar[d,"p_\text{Convex}"] & B^\circledast \ar[d,"p"] \\
\Delta^\op_\text{Convex} \ar[r] & \Delta^\op
\end{tikzcd}
\end{equation*}
is a coCartesian fibration.
Moreover, for every $n>1$, the induced map
\[
B^\circledast_{[n]} \to
B^\circledast_{[1]} \times_{B^\circledast_{[0]}}
\cdots \times_{B^\circledast_{[0]}} B^\circledast_{[1]}
\]
is an equivalence of $\infty$-categories.
\end{prop}
\begin{proof}
Let $\al:[m] \to [n]$ in $\Delta^\op$ be convex, and let $p(X_0) = [m]$.
Together, $\al$ and $X_0$ give rise to a commuting square (solid arrow diagram)
\begin{equation*}
\begin{tikzcd}
\Tens^\otimes_{[m]} \ar[r,"X_0"] \ar[d] & \C^\otimes \ar[d] \\
\Tens^\otimes_\al \ar[r] \ar[ur,dashed,"X"] & \Ass.
\end{tikzcd}
\end{equation*}
The condition of~\cite[lem. 4.4.3.5(1)]{HA} applies trivially to show that there exists an operadic $q$-\textit{left Kan extension} $X$ of $X_0$ as indicated.
By~\cref{2}, $X$ corresponds to a coCartesian edge in $B^\circledast$ with source $X_0$ lifting $\al$.
By~\cite[prop. 2.4.1.3(2)]{HTT} it follows that $p_\text{Convex}$ is a coCartesian fibration.
Using~\cite[prop. 4.4.1.11]{HA} (Segal condition for $\Tens^\otimes$), we see that for each $n \ge 0$, the inclusions $[1] \simeq \{i-1, i\} \cof [n]$ induce an equivalence of $\infty$-categories as stated.
\end{proof}
\begin{terminology}
\label{capable}
We say a class $\A$ of algebras in a monoidal $\infty$-category $\C$ is \emph{capable of relative tensor products} if $\A$ is closed under equivalences and if $\C$ admits geometric realizations of $\A$-bar constructions $\otimes$-compatibly.
\end{terminology}
%\begin{mydef}[{\cite{def. 2.1.4}[Rune_operads_via_SymSeq]}]
\begin{mydef}[{\cite[def. 2.1.4]{Rune_operads_via_SymSeq} }] \label{def:double_inf_cat}
A \emph{double $\infty$-category} is a coCartesian fibration $\M \to \Delta^{op}$ such that for all $n > 1$, the induced functor of $\infty$-categories
\[
\M_{[n]} \xto{} \M_{[1]} \times_{\M_{[0]}}
\cdots \times_{\M_{[0]}} \M_{[1]}
\]
is an equivalence.
\end{mydef}
\begin{cor} \label{link1}
Let $q \colon \C^\otimes \to \Ass$ be a monoidal $\infty$-category, and let $\A$ be a class of algebras in $\C$ which is capable of relative tensor products. Let
\[
{\Bmod_\A(\C)}^\circledast \subset {\Bmod(\C)}^\circledast
\]
denote the full subcategory supported on the class of $\A$-multimodules.
Then
\[
p_\A: {\Bmod_\A(\C)}^\circledast \to \Delta^\op
\]
is a \emph{double $\infty$-category}.
\end{cor}
\begin{proof}
According to \cref{link4}, $p_\A$ is a coCartesian fibration.
According to \cref{05191}, $p_\A$ satisfies the Segal condition.
\end{proof}
In the situation of the above corollary, we refer to $ {\Bmod_\A(\C)}^\circledast$ as the \emph{Morita double $\infty$-category of $\C$ over $\A$}. We end this section with a remark which, we hope, will help to clarify its structure.
\begin{rem}
Let $q:\Cc^\otimes \to \Ass$ be a monoidal $\infty$-category, and assume for simplicity that $\Cc$ is capable of relative tensor products so that
\[
p: \Bmod(\Cc)^\circledast \to \Delta^\op
\]
is a double $\infty$-category and if
\[
\al:[m] \to [n]
\]
is a morphism in $\Delta^\op$, we have an induced functor
\[
\al_!: \Bmod(\Cc)^\circledast_{[m]}
\to
\Bmod(\Cc)^\circledast_{[n]}.
\]
Moreover, if the morphism $F_\to$ in the diagram
\begin{equation*}
\begin{tikzcd}
&
\Tens^\otimes_{[m]} \ar[r,"F"] \ar[d, "\iota_0"] & \C^\otimes \ar[d] \\
\Tens^\otimes_{[n]} \ar[r,"\iota_1"]
&
\Tens^\otimes_\al \ar[r, "f"] \ar[ur,dashed,"F_\to"] & \Ass
\end{tikzcd}
\end{equation*}
(in which $f$ is the composite $\Tens^\otimes_\al \to \Tens^\otimes \to \Ass$) is an operadic $q$-left Kan extension, then
\[
\al_! F = F_\to \circ \iota_1.
\]
Two cases are of particular interest.
\begin{enumerate}
\item
Suppose the morphism $\al^\op: [m] \from [n]$ in $\Delta$ has convex image. Then $\iota_0$ admits a natural section $V_\al$ and
\[
F_\to = F \circ V_\al
\]
is an operadic $q$-left Kan extension. Moreover,
\[
V_\al \circ \iota_1 = v_\al
\]
is given by composition with $\al$. It follows that the $n$-module $\al_! F$ is a projection of the $m$-module $F$ onto those components singled out by $\al$.
\item
Suppose $n = m-1$ and $\al^\op: [m] \from [n]$ is a face map. Then the operadic $q$-left Kan extension $F_\to$ is constructed via an associated operadic $q$-left Kan extension along
\[
\Tens^\otimes_{[2]} \to \Tens^\otimes_\succ
\]
which \textit{defines} the relative tensor product. In this case, the $n$-module $\al_! F$ is given by a relative tensor product of neighboring bimodules in the $m$-module $F$ as indicated by $\al$.
\end{enumerate}
To assemble these two building blocks into a natural \textit{formula} for general $\al$, it's useful to change notation. We denote the colors of $\Tens^\otimes_{[k]}$ by
\[
\fF_i =
\fF_{i,i} = \aA_i
\quad \mbox{and} \quad
\fF_{ij} = \mM_{ij}.
\]
If $F: \Tens^\otimes_{[k]} \to \Cc^\otimes$ is a $k$-module in the monoidal $\infty$-category $\Cc$, we denote the associated algebras and bimodules by
\[
F_{ij} = F(\fF_{ij})
\quad \mbox{and} \quad
F_i = F(\fF_i).
\]
Thus, for each $i = 1, \dots, k$, $F_{i-1, i}$ is an $F_{i-1}$-$F_{i}$-bimodule. Also, if
\[
\al:[m] \to [n]
\]
is a morphism in $\Delta^\op$ as above, and $i \in [n] = \{0, \dots, n\}$, we denote $\al^\op(i)$ by $\al_i$. In these notations, we have for $i = 0, \dots, m$,
\[
(\al_! F)_{i} = F_{\al_i},
\]
and for $0 \le i < i+1 = j \le m$,
\[
(\al_! F)_{ij} =
F_{\al_i, \al_i+1}
\otimes_{F_{\al_{i}+1}}
F_{\al_i+1, \al_i+2}
\otimes_{F_{\al_{i}+2}}
\cdots
\otimes_{F_{\al_j-1}}
F_{\al_j-1, \al_j}.
\]
\end{rem}
%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%
\section{Action of endomorphism categories on morphism categories in a double \texorpdfstring{$\infty$}{infinity}-category} \label{sec:BLMod}
%%%%%%%%%%%%
%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%
% \input{KoszulAction.tex}
In this section we construct the $\LM$-monoidal $\infty$-category $\BLMod_A(\C)$ (see \cref{def:BLMod_A}), which exhibits the $\infty$-category of left $A$-modules as left tensored over $A$-bimodules. We assume only that $\C$ admits bar constructions over $A$ which are compatible with tensor product.
In particular, we do not assume that $\C$ admits geometric realizations in general. As explained in the introduction, this level of generality is needed in order to handle relative tensor products in the twisted arrow category (see \cref{sec:Twisted_arrow_bar_construction}).
In fact, our construction takes place in the general setting of a double $\infty$-category. If $\M$ is a double $\infty$-category and $A$, $B$ are objects, we define the \emph{$\infty$-category $\Map_\M^h(B,A)$ of horizontal morphisms from $B$ to $A$ in $\M$} in \cref{lbl4}.
We then construct an $\LM$-monoidal category
$
{\opnm{LMap}^h_\M(B,A)}^\otimes
$
which exhibits the $\infty$-category $\Map_\M^h(A,B)$ as left-tensored over the monoidal $\infty$-category ${\Map^h_\M(A,A)}^\otimes$ (\cref{lb9}).
We then obtain the desired action of bimodules on left modules by applying this construction to the double $\infty$-category
\foot{We are indebted to Dan Petersen for suggesting that we work in the setting of double $\infty$-categories.}
\[
\M = {\Bmod_\A(\C)}^\circledast \to \Delta^\op
\]
of \cref{link2}.
\subsection{The $\infty$-category of horizontal morphisms}
\begin{mydef}\label{lbl2}%222222222
For $\Yy$ an $\infty$-category we let ${(\Set^+_\Delta)}_{/\Yy}$ denote the simplicial model category of marked simplicial sets over $\Yy$ with coCartesian model structure (\cite[prop. 3.1.3.7, rem. 3.1.3.9, cor. 3.1.4.4]{HTT}).
We let $\Cat_{\mathrm{coCart}/\Yy}$ be the simplicial nerve $N \big({(\Set^+_\Delta)}_{/\Yy}^\circ \big)$ of the full subcategory ${(\Set^+_\Delta)}_{/\Yy}^\circ$ of fibrant-cofibrant objects.
\end{mydef}
\begin{rem}\label{lbl3}%3333333333333
There is a natural bijection between vertices of $\Cat_{\mathrm{coCart}/\Yy}$ and coCartesian fibrations of simplicial sets $\Xx \to \Yy$.
Given two such, $\Xx$, $\Xx'$, the set of edges $\Xx \to \Xx'$ in $\Cat_{\mathrm{coCart}/\Yy}$ is in canonical bijection with the set of
morphisms of simplicial sets over $\Yy$
% functors of $\infty$-categories
which send coCartesian edges to coCartesian edges.
\end{rem}
\begin{rem}\label{lbl3.1}
The forgetful functor
\[
\Cat_{\mathrm{coCart}/\Yy} \to \Cat_\infty
\]
is a right adjoint, hence preserves limits.
To see this, use marked simplicial sets to model $\Cat_\infty$ (\cite[rem. 2.1.4.10]{HA}), and apply~\cite[cor. 6.2.1]{BS_Fibrations} with $\pi:\Yy \to \ast$ and $\rho=id_{\ast}$ to construct a right Quillen functor
\[
{\Set_\Delta}^+_{/\Yy} \to {\Set_\Delta}^+_{/\ast}
\]
modeling the forgetful functor.
\end{rem}
\begin{mydef}\label{lbl4}%444444444444444
Let $\M$ be a double $\infty$-category (\cref{def:double_inf_cat}).
Given objects $A,B \in \M_{[0]}$, we define the \emph{$\infty$-cat\-egory of horizontal morphisms $B \to A$ in $\M$},
\(
\Map_{\M}^h(B,A),
\)
by the pullback diagram
\[
\begin{tikzcd}
\Map_{\M}^h(B,A) \ar[r] \ar[d] \pbcorner &
\M_{[1]} \ar[d,"\delta_0 \times \delta_1"]
\\
\set{*} \ar[r,"{(B,A)}"] &
\M_{[0]} \times \M_{[0]}
\end{tikzcd}
%\xymatrix{
%\Map_{\M}^h(A,B) \ar[r] \ar[d] &
%\M_{[1]} \ar[d]^-{\delta_0 \times \delta_1}
%\\
%\{*\} \ar[r]_-{(A,B)} &
%\M_{[0]} \times \M_{[0]}
%}
\]
in $\Cat_\infty$, where the $\delta_i$ are induced by the two face maps $[0] \to [1]$.
\end{mydef}
\begin{ex}\label{lbl4.5}
Let $\C^\otimes \to \Ass$ be a monoidal $\infty$-category and let $\A$ be a class of algebras in $\Cc$ capable of relative tensor products (\cref{capable}); we denote the associated full subcategory of $\Alg \C$ again by $\A$.
Then
\[
{\Bmod(\C)}^{\circledast}_{[0]} = \A
\]
and given $A,B \in \A$ we have equivalences of $\infty$-categories
\[
\Map^h_{\Bmod(\C)}(B,A) \simeq {\BMod{A}{B}(\C)}.
\]
\end{ex}
%the $\infty$-category $\Map^h_\M(A,A)$ with a monoidal structure,
\subsection{Left actions of horizontal endomorphisms}
In \cref{lb9} we will endow $\Map^h_\M(B,A)$ with a left-action of $\Map^h_\M(A,A)$.
The monoidal structure of $\Map^h_\M(A,A)$ is constructed in~\cite[def. 3.4.2 and proof of prop. 3.4.8]{Rune_operads_via_SymSeq}.
We recall its construction after fixing some relevant notation.
%in \cref{lbl5}
% by recalling this construction.
\begin{notation} \label{bl1}%1111111111111
% Given a coCartesian fibration of simplicial sets $\Xx \to \Yy$, we denote the associated functor $\Yy \to \Cat_\infty$ obtained by the straightening construction of~\cite[thm. 3.2.0.1]{HTT} by $\overline \Xx$.
% Conversely, given a functor of $\infty$-categories
% \[
% \Xx_\bullet: \Yy \to \Cat_\infty,
% \]
% we denote the associated coCartesian fibration by $\widetilde {\Xx_\bullet} \to \Yy$.
Let $\Xx_\bullet$ be a simplicial object in an $\infty$-category $\C$ admitting limits.
Recall that the \emph{$0$-coskeleton} $\cosk_0 \Xx_\bullet$ is the simplicial object given by the right Kan extension
\[
\begin{tikzcd}
\set{*} \ar[r, "\Xx_0"] \ar[d, phantom, "\bigcap" description] & \C \\
\Delta^\op \ar[ur,"\cosk_0 \Xx_\bullet"'] &
\end{tikzcd}
%\xymatrix{
%\{*\} \ar[r]^-{\Xx_0} \ar@{}[d]|\bigcap & \C
%\\
%\Delta^\op \ar[ur]_-{\cosk_0 \Xx_\bullet} &
%}
\]
(see, e.g.,\cite[not. 6.5.3.1]{HTT}).
In particular this applies to a diagram of $\infty$-categories $\Xx_\bullet \colon \Delta^\op \to \Cat_\infty$.
We now use straightening/unstraightening (\cite[thm. 3.2.0.1]{HTT}) to define the $0$-coskeleton of a coCartesian fibration over $\Delta^\op$.
Given a coCartesian fibration
\[
\Xx \to \Delta^\op
\]
we let $\Xx_\bullet \colon \Delta^\op \to \Cat_\infty$ denote its straightening.
Define the coCartesian fibration
\[
\cosk_0 \Xx \to \Delta^\op
\]
as the un-straightening of $\cosk_0 \Xx_\bullet \colon \Delta^\op \to \Cat_\infty$.
Note that
\[
{(\cosk_0\Xx)}_{[n]} \simeq \Xx_{[0]} \times \cdots \times \Xx_{[0]}
\]
($n+1$ copies).
\end{notation}
\begin{construction}[{\cite[def. 3.4.2]{Rune_operads_via_SymSeq}}] \label{lbl5}%55555555555555
Let $\M \to \Delta^\op$ be a double $\infty$-category (\cref{def:double_inf_cat}).
By construction, $\cosk_0\M$ comes equipped with a canonical morphism of coCartesian fibrations over $\Delta^\op$
\[
\ka \colon \M \to \cosk_0 \M
\]
in which the map of fibers over $[n] \in \Delta^\op$ is the map
\[
\M_{[n]} \to \M_{[0]} \times \cdots \times \M_{[0]}
\]
induced by the $n+1$ face maps $[n] \from [0]$ in $\Delta$.
Given $A \in \M_{[0]}$, we construct a section
$A^* \colon \Delta^\op \to \cosk_0 \M$
which sends
\[
\Delta^\op \ni [n] \mapsto (A, \dots, A) \in {(\cosk_0 \M)}_{[n]}
\]
as follows.
Let $\opnm{Const}(\ast)$ denote the constant simplicial $\infty$-category
\[
\opnm{Const}(\ast) \colon \Delta^\op \to \Cat_\infty
\]
with value $\ast \in \Cat_\infty$, and let $\iota_{[0]}$ denote the functor $\ast \to \Delta^\op$ classified by $[0] \in \Delta^\op$.
The inclusion $A \in \M_{[0]}$ gives rise to a natural transformation
\[
\opnm{Const}(\ast) \cdot \iota_{[0]} \to \M_{[0]}
\]
of functors $\ast \to \Cat_\infty$, hence to a natural transformation
\[
\opnm{Const}(*) \to \cosk_0 \M_\bullet
\]
of functors $\Delta^\op \to \Cat_\infty$, since the right Kan extension $\cosk_0$ is right adjoint to
\[
\iota_{[0]}^* \colon \Fun(\ast,\Cat_\infty) \to \Fun(\Delta^\op,\Cat_\infty).
\]
Unstraightening defines a section $A^*$ as hoped.
We define ${\End^h_\M(A)}^\circledast$ by the pullback diagram
\[
\tag{*}
\begin{tikzcd}
\End^h_\M(A)^\circledast \ar[r] \ar[d,"{\ka_A}"] \pbcorner &
\M \ar[d,"{\ka}"]
\\
\Delta^\op \ar[r,"{A^*}"'] &
\cosk_0 \M.
\end{tikzcd}
\]
in the category $\Cat_{\mathrm{coCart}/\Delta^\op}$ of \cref{lbl2}.
The associated simplicial $\infty$-category
\[
% \overline{{\End_\M(A)}^\circledast}
{\End^h_\M(A)}^\circledast_\bullet \colon \Delta^\op \to \Cat_\infty
\]
is a monoid object in the sense of~\cite[def. 4.1.2.5]{HA}.
Hence by~\cite[rem. 4.1.2.6, prop. 2.4.2.5 and rem. 2.4.2.6]{HA} we obtain a monoidal $\infty$-category
\[
{\Map^h_\M(A,A)}^\otimes \to \Ass
\]
with underlying $\infty$-category equivalent to $\Map^{h}_\M(A,A)$.
\end{construction}
\begin{ex}\label{lb5.5}%5.5.5.5.5.5.5.5.
Let $\C^\otimes \to \Ass$ be a monoidal $\infty$-category and let $\A$ be a class of algebras in $\Cc$ capable of relative tensor products (\cref{capable}).
If $\M = {\Bmod_\A(\C)}^\circledast$ is the Morita double $\infty$-category of $\A$-multimodules constructed in \cref{link1}, then the map $\ka$ of \cref{lbl5} diagram (*) corresponds via straightening to a morphism of coherently commutative simplicial $\infty$-categories given on the level of objects and 1-morphisms by a diagram like so, in which $\A$ is regarded as a full subcategory of $\Alg \C$ (we omit degeneracy maps):
\[
\begin{tikzcd}
\vdots
\ar[d, shift left=3]\ar[d, shift left=1] \ar[d, shift right=1] \ar[d, shift right=3]
&
\vdots
\ar[d, shift left=3]\ar[d, shift left=1] \ar[d, shift right=1] \ar[d, shift right=3]
\\
\Bmod_\A(\C) \times_{\A} \Bmod_\A(\C)
\ar[d, shift left=2] \ar[d] \ar[d, shift right=2]
\ar[r]
&
\A \times \A \times \A
\ar[d, shift left=2] \ar[d] \ar[d, shift right=2]
\\
\Bmod_\A(\C)
\ar[d, shift left=1] \ar[d, shift right=1]
\ar[r]
&
\A \times \A
\ar[d, shift left=1] \ar[d, shift right=1]
\\
\A
\ar[r]
&
\A.
\end{tikzcd}
\]
%\[
% \begin{tikzcd}
% \vdots
% \ar[d, shift left=3]\ar[d, shift left=1] \ar[d, shift right=1] \ar[d, shift right=3]
% &
% \vdots
% \ar[d, shift left=3]\ar[d, shift left=1] \ar[d, shift right=1] \ar[d, shift right=3]
% \\
% \Bmod(\C) \times_{\Alg(\C)} \Bmod(\C)
% \ar[d, shift left=2] \ar[d] \ar[d, shift right=2]
% \ar[r]
% &
% \Alg(\C) \times \Alg(\C) \times \Alg(\C)
% \ar[d, shift left=2] \ar[d] \ar[d, shift right=2]
% \\
% \Bmod(\C)
% \ar[d, shift left=1] \ar[d, shift right=1]
% \ar[r]
% &
% \Alg(\C) \times \Alg(\C)
% \ar[d, shift left=1] \ar[d, shift right=1]
% \\
% \Alg(\C)
% \ar[r]
% &
% \Alg(\C).
% \end{tikzcd}
%%\xymatrix{
%%\vdots
%%\ar@<.9ex>[d]\ar@<.3ex>[d] \ar@<-.3ex>[d] \ar@<-.9ex>[d]
%%&
%%\vdots
%%\ar@<.9ex>[d]\ar@<.3ex>[d] \ar@<-.3ex>[d] \ar@<-.9ex>[d]
%%\\
%%\BMod(\C) \times_{\Alg(\C)} \BMod(\C)
%%\ar@<.7ex>[d] \ar[d] \ar@<-.7ex>[d]
%%\ar[r]
%%&
%%\Alg(\C) \times \Alg(\C) \times \Alg(\C)
%%\ar@<.7ex>[d] \ar[d] \ar@<-.7ex>[d]
%%\\
%%\BMod(\C)
%%\ar@<.5ex>[d] \ar@<-.5ex>[d]
%%\ar[r]
%%&
%%\Alg(\C) \times \Alg(\C)
%%\ar@<.5ex>[d] \ar@<-.5ex>[d]
%%\\
%%\Alg(\C)
%%\ar[r]
%%&
%%\Alg(\C).
%%}
%\]
Given $A \in \A$ then, $\End^h_{{\Bmod_\A(\C)}^\circledast}(A)$ corresponds to a coherently commutative simplicial $\infty$-category given on the level of objects and $1$-morphisms by
\[
\begin{tikzcd}
\vdots
%\ar@<.9ex>[d]\ar@<.3ex>[d] \ar@<-.3ex>[d] \ar@<-.9ex>[d]
\ar[d, shift left=3]\ar[d, shift left=1] \ar[d, shift right=1] \ar[d, shift right=3]
\\
\BMod{A}{A}(\C) \times \BMod{A}{A}(\C)
\ar[d, shift left=2] \ar[d] \ar[d, shift right=2]
%\ar@<.7ex>[d] \ar[d] \ar@<-.7ex>[d]
\\
\BMod{A}{A}(\C)
%\ar@<.5ex>[d] \ar@<-.5ex>[d]
\ar[d, shift left=1] \ar[d, shift right=1]
\\
\set{*}.
\end{tikzcd}
%\xymatrix{
%\vdots
%\ar@<.9ex>[d]\ar@<.3ex>[d] \ar@<-.3ex>[d] \ar@<-.9ex>[d]
%\\
%{\BMod{A}{A}(\C) \times {\BMod{A}{A}(\C)
%\ar@<.7ex>[d] \ar[d] \ar@<-.7ex>[d]
%\\
%{\BMod{A}{A}(\C)
%\ar@<.5ex>[d] \ar@<-.5ex>[d]
%\\
%\{*\}.
%}
\]
\end{ex}
We now turn to the construction of the action of the $\infty$-category
\(
\Map^{h}_\M(A,A)
\)
of horizontal endomorphisms of $A$ in $\M$ on the $\infty$-category $\Map^{h}_\M(B,A)$ of horizontal morphisms from $B$ to $A$.
We first import the classical construction of the d\'ecalage of a simplicial set to the context of coCartesian fibrations over $\Delta^\op$.
\begin{construction}\label{lb6}%666666666666666
Let $+^\op$ denote the functor $\Delta \to \Delta$ defined on objects by
\[
S \mapsto S_+ := S \coprod \{\infty\}
\]
and on morphisms in the obvious way.
Let $+$ denote the induced functor $\Delta^\op \to \Delta^\op$.
Suppose $\Yy \to \Delta^\op$ is a coCartesian fibration.
Then the \emph{d\'ecalage $\opnm{Dec} \Yy \to \Delta^\op$ of $\Yy$} is the coCartesian fibration obtained from $\Yy$ via pullback along the functor $+$.
We let
$\nato := \Delta^\op \times \Delta^1$.
Consider the two functors of 1-categories
\[
\begin{tikzcd}
\Delta^\op \ar[r, bend left, "{+}"] \ar[r, bend right, "{\Id}"']
& \Delta^\op.
\end{tikzcd}
\]
The natural inclusions $S \subset S_+$ give rise to a natural transformation
\(
+ \Rightarrow \Id,
\)
hence to a functor
\[
\delta \colon \nato \to \Delta^\op.
\]
Similarly, let $\ep^\op$ denote the composite functor
\[
\Delta \to \{*\} \to \Delta
\]
sending all objects to a one-element totally ordered set, and let $\ep$ denote the induced functor on opposite categories.
The maps of sets $\{*\} \to S_+$ sending $* \mapsto \infty$ give rise to a natural transformation $+ \Rightarrow \ep$, hence to a functor
\[
\pi \colon \nato = \Delta^\op \times \Delta^1
\to \Delta^\op.
\]
Returning to the coCartesian fibration $\Yy \to \Delta^\op$, the pullbacks
\[
\delta^* \Yy \to \nato,
\quad
\pi^* \Yy \to \nato
\]
correspond to morphisms
\[
\begin{tikzcd}
\Dec \Yy \ar[r] \ar[d] & \Yy \\
\Yy_{[0]} \times \Delta^\op
\end{tikzcd}
%\xymatrix{
%\Dec \Yy \ar[r] \ar[d] & \Yy \\
%\Yy_{[0]} \times \Delta^\op
%}
\]
of coCartesian fibrations over $\Delta^\op$.
\end{construction}
\begin{prop}\label{lb7}%7777777777
Let $\Yy \to \Delta^\op$ be a coCartesian fibration of simplicial sets.
Then the d\'ecalage of $\cosk_0 \Yy$ decomposes as a product
\[
\opnm{Dec} \cosk_0 \Yy \simeq
(\cosk_0 \Yy) \times_{\Delta^\op} (\Yy_{[0]} \times \Delta^\op)
\]
of coCartesian fibrations over $\Delta^\op$, where $\Yy_{[0]} \times \Delta^\op$ denotes the constant fibration with fiber $\Yy_{[0]}$.
\end{prop}
\begin{proof}
Applying \cref{lb6} to $\cosk_0 \Yy$, and noting that
\[
{(\cosk_0\Yy)}_{[0]} = \Yy_{[0]},
\]
we obtain a map $\psi$ from left to right.
Additionally, taking fibers over $[n] \in \Delta$, we find that both sides are equivalent to ${(\Yy_{[0]})}^{\times (n+2)}$ compatibly with $\psi$.
It follows that $\psi$ is an equivalence.
\end{proof}
\begin{ex}\label{lb8}%888888888
We apply \cref{lb6} and \cref{lb7} to the Morita double $\infty$-category ${\Bmod_\A(\C)}^\circledast \to \Delta^\op$ of \cref{link1}. % \cref{lbl4.5}.
The morphism of coCartesian fibrations
\[
\Dec {\Bmod_\A(\C)}^\circledast \to {\Bmod_\A(\C)}^\circledast
\]
corresponds via straightening to a diagram of $\infty$-categories
\[
%\tiny
\tag{D}
\begin{tikzcd}
\vdots
%\ar[d]\ar[d] \ar[d] \ar[d]
\ar[d, shift left=3]\ar[d, shift left=1] \ar[d, shift right=1] \ar[d, shift right=3]
&
\vdots
%\ar[d]\ar[d] \ar[d] \ar[d]
\ar[d, shift left=3]\ar[d, shift left=1] \ar[d, shift right=1] \ar[d, shift right=3]
\\
\Bmod_\A(\C) \times_{\A} \Bmod_\A(\C)
\times_{\A} \Bmod_\A(\C)
%\ar[d] \ar[d] \ar[d]
\ar[d, shift left=2] \ar[d] \ar[d, shift right=2]
\ar[r]
&
\Bmod_\A(\C) \times_{\A} \Bmod_\A(\C)
%\ar[d] \ar[d] \ar[d]
\ar[d, shift left=2] \ar[d] \ar[d, shift right=2]
\\
\Bmod_\A(\C) \times_{\A} \Bmod_\A(\C)
%\ar[d] \ar[d]
\ar[d, shift left=1] \ar[d, shift right=1]
\ar[r]
&
\Bmod_\A(\C)
%\ar[d] \ar[d]
\ar[d, shift left=1] \ar[d, shift right=1]
\\
\Bmod_\A(\C)
\ar[r]
&
\A
\end{tikzcd}
%\xymatrix{
%\vdots
%\ar@<.9ex>[d]\ar@<.3ex>[d] \ar@<-.3ex>[d] \ar@<-.9ex>[d]
%&
%\vdots
%\ar@<.9ex>[d]\ar@<.3ex>[d] \ar@<-.3ex>[d] \ar@<-.9ex>[d]
%\\
%\Bmod_\A(\C) \times_{\A} \Bmod_\A(\C)
% \times_{\A} \Bmod_\A(\C)
%\ar@<.7ex>[d] \ar[d] \ar@<-.7ex>[d]
%\ar[r]
%&
%\Bmod_\A(\C) \times_{\A} \Bmod_\A(\C)
%\ar@<.7ex>[d] \ar[d] \ar@<-.7ex>[d]
%\\
%\Bmod_\A(\C) \times_{\A} \Bmod_\A(\C)
%\ar@<.5ex>[d] \ar@<-.5ex>[d]
%\ar[r]
%&
%\Bmod_\A(\C)
%\ar@<.5ex>[d] \ar@<-.5ex>[d]
%\\
%\Bmod_\A(\C)
%\ar[r]
%&
%\A
%}
\]
in which the horizontal maps forget the rightmost algebra as well as the rightmost bimodule.
The morphism of coCartesian fibrations
\[
\Dec \cosk_0 {\Bmod_\A(\C)}^\circledast
\to \cosk_0 {\Bmod_\A(\C)}^\circledast
\]
corresponds via straightening to a diagram of $\infty$-categories
\[
%\tiny
\tag{DC}
\begin{tikzcd}
\vdots
%\ar@<.9ex>[d]\ar@<.3ex>[d] \ar@<-.3ex>[d] \ar@<-.9ex>[d]
\ar[d, shift left=3]\ar[d, shift left=1] \ar[d, shift right=1] \ar[d, shift right=3]
&
\vdots
%\ar@<.9ex>[d]\ar@<.3ex>[d] \ar@<-.3ex>[d] \ar@<-.9ex>[d]
\ar[d, shift left=3]\ar[d, shift left=1] \ar[d, shift right=1] \ar[d, shift right=3]
\\
\A \times \A \times \A \times \A
%\ar@<.7ex>[d] \ar[d] \ar@<-.7ex>[d]
\ar[d, shift left=2] \ar[d] \ar[d, shift right=2]
\ar[r]
&
\A \times \A \times \A
%\ar@<.7ex>[d] \ar[d] \ar@<-.7ex>[d]
\ar[d, shift left=2] \ar[d] \ar[d, shift right=2]
\\
\A \times \A \times \A
%\ar@<.5ex>[d] \ar@<-.5ex>[d]
\ar[d, shift left=1] \ar[d, shift right=1]
\ar[r]
&
\A \times \A
%\ar@<.5ex>[d] \ar@<-.5ex>[d]
\ar[d, shift left=1] \ar[d, shift right=1]
\\
\A \times \A
\ar[r]
&
\A.
\end{tikzcd}
\]
The proof of \cref{lb7} shows that, regarded as a morphism of simplicial objects, this is just projection from a product.
\end{ex}
We are now ready to construct the left action of $ \Map^h_\M (A,A)$ on $\Map^h_\M(B,A)$.
\begin{construction}\label{lb9}%99999999
Fix $\M \to \Delta^\op$ a double $\infty$-category and two objects $A,B \in \M_{[0]}$ as in \cref{lbl4}.
Let $A^* \colon \Delta^\op \to \cosk_0 \M$ denote the section of
\[
\cosk_0 \M \to \Delta^\op
\]
of \cref{lbl5}.
Combining $A^*$ with the constant section of
\[
\M_{[0]} \times \Delta^\op \to \Delta^\op
\]
determined by $B$, we obtain a section of
\[
(\cosk_0 \M) \times_{\Delta^\op}
(\M_{[0]} \times \Delta^\op)
\to \Delta^\op.
\]
Composing with the equivalence of \cref{lb7}, we obtain a section $(A^*,B)$ of
\[
\Dec \cosk_0\M \to \Delta^\op.
\]
Noting the Cartesian squares (solid arrow diagram)
\[
\begin{tikzcd}
\Dec \cosk_0 \M \ar[r] \ar[d] &
\delta^* \cosk_0 \M \ar[r] \ar[d] &
\cosk_0 \M \ar[d] \\
\Delta^\op \times \set{0}
\ar[r] \ar[rr, bend right=10, "+"'] \ar[u, dashed, bend right, "{(A^*,B)}"'] &
\Delta^\op \times \Delta^1
\ar[r] \ar[u, dashed, bend right, "{A^*B \ssearrow{A^*}}"'] &
\Delta^\op \ar[u, dashed, bend right, "{A^*}"']
\end{tikzcd}
\]
we obtain a section (denoted $A^*B \ssearrow A^*$) of the $\Delta^1$-family of coCartesian fibrations $\delta^* \cosk_0\M$ over $\Delta^\op$ with fibers $(A^*, B)$ over $\Delta^\op\times\{0\}$ (left-hand dotted arrow) and $A^*$ over $\Delta^\op \times \{1\}$ (right-hand dotted arrow = pullback of $A^*B \ssearrow A^*$ along the inclusion $\Delta^\op \times \{1\} \subset \Delta^\op \times \Delta^1 = \nato$).
We define ${\opnm{LMap}^h_\M(B,A)}^\circledast$ by the pullback diagram in $\Cat_{\mathrm{coCart} / \nato}$ (\cref{lbl2})
\[
\tag{*}
\begin{tikzcd}
\operatorname{LMap}^h_\M (B,A)^\circledast \pbcorner
\ar[d] \ar[r] &
\delta^* \M
\ar[d, "{\delta^*\ka}"]
\\
\nato
\ar[r,"{A^*B \ssearrow A^*}"']
&
\delta^* \cosk_0 \M.
\end{tikzcd}
\]
The associated natural transformation in $\Fun(\Delta^\op, \Cat_\infty)$ is a left-action object of $\Cat_\infty$ in the sense of~\cite[def. 4.2.2.2]{HA}.
The construction of \cite[prop. 4.2.2.9]{HA} provides us with an equivalence of $\infty$-categories
\[
\Mon_{\LM}(\Cat_\infty) \to \mathrm{LMon}(\Cat_\infty)
\]
from \emph{$\LM$-monoid objects} in $\Cat_\infty$ to left action objects in $\Cat_\infty$.
According to~\cite[prop. 2.4.2.5 and rem. 2.4.2.6]{HA}, $\LM$-monoid objects of $\Cat_\infty$ can be identified with $\LM$-algebra objects of $\Cat_\infty$, which, in turn, may be identified with $\LM$-monoidal categories.
Applying these constructions consecutively to the left action object of $\Cat_\infty$ constructed above, we obtain an $\LM$-monoidal category
\[
{\opnm{LMap}^h_\M(B,A)}^\otimes \to \LM^\otimes
\]
which exhibits $\Map_\M^h(B,A)$ as left-tensored over ${\Map^h_\M(A,A)}^\otimes$.
\end{construction}
\subsection{The $\LM$-monoidal category of bimodules and left modules}
\begin{ex}\label{lb10}%10101010101010
Applying \cref{lb9} to the double $\infty$-category ${\Bmod_\A(\C)}^\circledast$, we find that the straightening of ${\delta^*\Bmod_\A(\C)}^\circledast$ corresponds to a diagram of $\infty$-categories as in \cref{lb8}(D),
that $\delta^* {\cosk_0\Bmod_\A(\C)}^\circledast$ corresponds to a diagram of $\infty$-categories as in \cref{lb8} (DC), and so the map $\delta^*\ka$ corresponds to a morphism of diagrams
\[
\mathrm{\cref{lb8}(D)} \to \mathrm{\cref{lb8}(DC)}.
\]
Thus, if $\A$ is a class of algebras in $\Cc$ capable of relative tensor products and $A,B \in \A$
then ${\operatorname{LMap}^h_{\Bmod_\A(\C)^\circledast}(B,A)}^\circledast$ corresponds to a diagram like so:
\[
\begin{tikzcd}
\vdots
%\ar@<.9ex>[d]\ar@<.3ex>[d] \ar@<-.3ex>[d] \ar@<-.9ex>[d]
\ar[d, shift left=3]\ar[d, shift left=1] \ar[d, shift right=1] \ar[d, shift right=3]
&
\vdots
%\ar@<.9ex>[d]\ar@<.3ex>[d] \ar@<-.3ex>[d] \ar@<-.9ex>[d]
\ar[d, shift left=3]\ar[d, shift left=1] \ar[d, shift right=1] \ar[d, shift right=3]
\\
\BMod{A}{A}(\C) \times \BMod{A}{A}(\C)
\times \BMod{A}{B}(\C)
%\ar@<.7ex>[d] \ar[d] \ar@<-.7ex>[d]
\ar[d, shift left=2] \ar[d] \ar[d, shift right=2]
\ar[r]
&
\BMod{A}{A}(\C) \times \BMod{A}{A}(\C)
%\ar@<.7ex>[d] \ar[d] \ar@<-.7ex>[d]
\ar[d, shift left=2] \ar[d] \ar[d, shift right=2]
\\
\BMod{A}{A}(\C) \times \BMod{A}{B}(\C)
%\ar@<.5ex>[d] \ar@<-.5ex>[d]
\ar[d, shift left=1] \ar[d, shift right=1]
\ar[r]
&
\BMod{A}{A}(\C)
%\ar@<.5ex>[d] \ar@<-.5ex>[d]
\ar[d, shift left=1] \ar[d, shift right=1]
\\
\BMod{A}{B}(\C)
\ar[r]
&
\ast
% \Alg(\C)
\end{tikzcd}
\]
in which the horizontal maps are projections.
\end{ex}
\begin{construction}\label{def:BLMod_A}%11 11 11 11 11 11 11 11
Let $\C^\otimes \to \Ass$ be a monoidal category and let
$A\in \Alg(\C)$ be an algebra object.
Assume $\C$ admits realizations of $A$-bar construction $\otimes$-compatibly.
Let $\A$ denote the class of those algebras which are equivalent to $A$ or to $\one$.
Then $\A$ is capable of relative tensor products (\cref{capable}), so that by \cref{link1}, $\Bmod_{\A}(\C)^\circledast$ is a double $\infty$-category.
We define
\[
{\BLMod_A(\C)}^\otimes \to \LM^\otimes
\]
to be the $\LM$-monoidal category ${\opnm{LMap}^h_\M(\one,A)}^\otimes$ of \cref{lb9} applied to $\M = {\Bmod_{\A}(\C)}^\circledast$.
\end{construction}
\begin{rem}\label{lb12}%12 12 12 12 12 12 12 12
The $\LM$-monoidal category
\[
{\BLMod_A(\C)}^\otimes \to \LM^\otimes
\]
of \cref{def:BLMod_A}
exhibits $\LMod_A(\C)$ as left tensored over $ {\BMod{A}{A}(\C)}^\otimes$. Moreover, unwinding definitions, we find that the induced tensor product functor is given by the \emph{relative tensor product}
\begin{align*}
\otimes_A \colon & \BMod{A}{A}(\C) \times \LMod_A(\C) \to \LMod_A(\C) , \\
& (M,X) \mapsto M \otimes_A X := \left| (M \otimes A\otimes \cdots \otimes A) \otimes X \right|.
\end{align*}
\end{rem}
%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%
%%%%%%%%%%%%%
%%%%%%%%%%%%%
\section{External relative tensor products in \texorpdfstring{$\BM^\otimes$}{BM}-monoidal categories}
\label{sec:External}
%%%%%%%%%%%%%%
%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%
%%%%%%%%%%%%%%
%%%%%%%%%%%%%
%%%%%%%%%%%%%%
% \input{KoszulExternal.tex}
Let $\C^\otimes \to \LM^\otimes$ be an $\LM$-monoidal $\infty$-category exhibiting $\C_\m$ as left-tensored over $\C_\a$ and $A\in \Alg(\C_\a)$ an algebra.
Our goal in this section is to construct an $\LM$-monoidal $\infty$-category $\BLMod_A(\C)^\otimes \to \LM^\otimes$ exhibiting $\LMod_A(\C_\m)$ as left-tensored over $\BMod{A}{A}(\C_\a)$, see \cref{w9f2}.
In order to leverage the results of \cite[sec. 4.4.1]{HA} we consider the slightly more general context of $\BM$-monoidal $\infty$-categories. \Cref{LM_to_BM_monoidal_construction} will allow us to apply our $\BM$-monoidal constructions to $\LM$-monoidal categories. The reader who wishes to move on to the central constructions of Koszul duality and is willing to accept the action of bimodules on left modules on faith, will only need \cref{m24j0} (compatibility of tensor product with $\A$-bar constructions) for the sequel.
\subsection[Promoting LM-monoidal infinity-categories to BM-monoidal infinity-categories]{Promoting $\LM$-monoidal $\infty$-categories to $\BM$-monoidal $\infty$-categories}
We first recall the relevant notation from~\cite[sec. 4.3.1]{HA}.
\begin{notation}
Let $\BM^\otimes$ be the $\infty$-operad of~\cite[def. 4.3.1.6]{HA}.
We can describe $\BM^\otimes$ as the nerve of the following category (see \cite[ex. 4.4.1.7]{HA}):
\begin{enumerate}
\item An object of $\BM^\otimes$ is a tuple $(\angled{n}, c_-,c_+)$ where $\angled{n} \in \Fin_*$ is a finite pointed set and
\(
c_-,c_+ \colon \angled{n}^\circ \to [1]
\)
are a pair of maps satisfying $c_-(i) \leq c_+(i)$ for $i \in \angled{n}^\circ$.
\item Let $(\angled{n}, c_-,c_+)$ and $(\angled{n'}, c'_-,c'_+)$ be objects of $\BM^\otimes$.
A morphism from $(\angled{n}, c_-,c_+)$ to $(\angled{n'}, c'_-,c'_+)$ consists of a morphism $\al \colon \angled{n} \to \angled{n'}$ in $\Ass$ satisfying the following conditions:
for each $j\in \angled{n'}^\circ$ with fiber $\al^{-1}(j) = \set{ i_0 \prec \cdots \prec i_m}$:
\begin{align*}
& c_-(i_0) = c'_-(j), \quad c_+(i_m) = c'_+(j), \\
& c_-(i_0) \leq c_+(i_0) = c_-(i_1) \leq c_+(i_1) = c_-(i_2) \leq \cdots \leq c_+(i_{m-1}) = c_-(i_m) \leq c_+(i_m).
\end{align*}
\end{enumerate}
The $\infty$-operad $\BM^\otimes$ has three colors, given by objects $(\angled{1},c_-,c_+) \in \BM^\otimes_{<1>}$ with
\[
c_0=c_1=0, \quad
c_-=0, c_+=1 , \quad
c_-=c_+=1.
\]
We refer to these colors as $\a_-, \m$ and $a_+$ respectively.
\end{notation}
\begin{mydef}
A $\BM$-monoidal $\infty$-category is by definition a coCartesian fibration $\C^\otimes \to \BM^\otimes$.
We let $\C_- = \C_0, \C_\m, \C_+= \C_1$ denote the fibers over $\a_-, \m, \a_+$ respectively, so that $\C^\otimes$ exhibits $\C_\m$ as bitensored over $\C_-$ and $\C_+$ (\cite[def. 4.3.1.17]{HA}).
\end{mydef}
The following statement allows us to promote an $\LM$-monoidal $\infty$-category to a $\BM$-monoidal $\infty$-category.
\begin{notation}
Let $\Oo^\otimes$ be an $\infty$-operad.
Following~\cite[rem. 2.4.2.6]{HA}, write $\Cat_\infty^\Oo \subset (\operatorname{Op}_\infty)_{/\Oo^\otimes}$ for the subcategory spanned by $\Oo$-monoidal $\infty$-categories and $\Oo$-monoidal functors.
\end{notation}
\begin{rem}
The terminal $\infty$-operad $\Fin_* \xto{=} \Fin_*$ defines a symmetric monoidal structure on the terminal $\infty$-category $\ast \in \Cat_\infty$.
We can therefore consider it as an object of the $\infty$-category of monoidal $\infty$-categories $\ast \in \Cat_\infty^{\operatorname{Ass}}$.
\end{rem}
\begin{prop}\label{LM_to_BM_monoidal}
The forgetful functor induces an equivalence of $\infty$-categories
\[
\Cat_\infty^{\BM} \times_{ \Cat_\infty^{\operatorname{Ass}}} \set{\ast} \iso \Cat_\infty^{\LM}.
\]
\end{prop}
\begin{proof}
Endow $\Cat_\infty$ with the Cartesian monoidal structure of~\cite[prop. 2.4.1.5]{HA}.
The fiber product $ \Cat_\infty^\times \times_{\Fin_*} \BM^\otimes \to \BM^\otimes$ exhibits $\Cat_\infty$ as bitensored over itself, so we can consider $\Cat_\infty$ as a $\BM$-monoidal $\infty$-category.
Applying~\cite[cor.4.3.2.8]{HA} to the $\BM$-monoidal category $\M=\Cat_\infty$ and the trivial algebra $B=\ast \in \Alg(\Cat_\infty)$ shows that the forgetful functor
\[
\Bmod(\Cat_\infty) \times_{\Alg(\Cat_\infty)} \set{\ast} \to \LMod(\Cat_\infty)
\]
is an equivalence.
The result follows from the equivalences
\[
\Cat_\infty^{\operatorname{Ass}} \simeq \Alg(\Cat_\infty), \quad
\Cat_\infty^\LM \simeq \LMod(\Cat_\infty), \quad
\Cat_\infty^\BM \simeq \Bmod(\Cat_\infty),
\]
which are all cases of the equivalence $\Alg_\Oo (\Cat_\infty) \simeq \Cat_\infty^\Oo$ of~\cite[rem. 2.4.2.6]{HA}.
\end{proof}
\begin{ex} \label{LM_to_BM_monoidal_construction}
By choosing a homotopy inverse to the equivalence of \cref{LM_to_BM_monoidal} we can define a functor
\[
\Cat_\infty^\LM \iso \Cat_\infty^\BM \times_{\Cat_\infty^{\operatorname{Ass}}} \set{\ast} \to \Cat_\infty^\BM
\]
where the first functor is the chosen homotopy inverse and the second is the projection.
Informally this functor extends an $\LM$-monoidal $\infty$-category $\C$ to a $\BM$-monoidal $\infty$-category by defining a right action of the terminal category $\ast$ on $\C_\m$.
\end{ex}
% \subsection[Construction of BLMod(\C)]{Construction of $\BLMod(\C)$}
\subsection[The generalized infinity operad Tens_Nabla]{The generalized $\infty$-operad $\Tens_\nato$}
% We now focus on the main goal of this section.
% For $\C$ an $\LM$ monoidal $\infty$-category, we will construct an action of $\BMod{A}{A}(\C_\a)$ on $\LMod_A(\C_\m)$ via the relative tensor product.
% To this end we adapt the constructions of~\cite[sec. 4.4.3]{HA}.
% It turns out to be technically more convenient to assume that $\C$ is a $\BM$-monoidal $\infty$-category, which we can always assume by \cref{LM_to_BM_monoidal_construction}.
% Thus, throughout the remainder of this section, we fix a $\BM$-monoidal category
% \[
% \Cc^\otimes \to \BM^\otimes.
% \]
Recall that $\nato= \Delta^\op \times \Delta^1$.
In this subsection we construct a $\nato$-family of $\infty$-operads $\Tens_\nato \to \nato \times \Fin_*$ (\cref{def:Tens_nato}) and a functor $ \varphi \colon \Tens_\nato \to \BM^\otimes$ (\cref{const:Tens_S_to_BM}),
which will be used to construct a $\nato$-family $\BLMod_\A(\C)$ associated to a $\BM$-monoidal $\infty$-category $\C$ in the next subsection.
% In the next subsection we use $\Tens_\nato$ to construct the $\nato$-family $\BLMod_\A(\C)$ of a $\BM$-monoidal $\infty$-category $\C$.
We recall notation from \cref{lb6} associated to the d\'ecalage construction.
%%%%
\begin{notation} \label{def:plus_and_delta}
Let
$(-)_+ \colon \Delta \to \Delta$
be the functor sending a finite totally ordered set $I$ to
$I_+=I \cup \set{\infty}$,
where $i< \infty$ for all $i\in I$. The natural inclusion $I \to I_+$ defines a natural transformation $id_{\Delta} \Rightarrow (-)_+$ of functors $\Delta \to \Delta$, or equivalently a natural transformation $(-)_+ \Rightarrow id_{\Delta^\op}$ of functors $\Delta^\op \to \Delta^\op$.
Let
\[
\delta \colon \nato \to \Delta^\op, \quad (I,0) \mapsto I_+, \,(I,1) \mapsto I
\]
be the associated functor.
We often denote the objects of $\Delta^\op$ by $[k]= \set{0<1<\cdots<k}$.
The isomorphism $[k]_+ \= [k+1]$ identifies $\infty \in [k]_+ = \set{0<1<\cdots <k<\infty}$ with $k+1 \in [k+1]$.
Given $[k]\in \Delta$ we write
\[
0_+ \colon [k]_+ \to [0]_+ \= [1] , \quad 0_+(i) = \begin{cases}
0 & i \neq \infty \\
1 & i = \infty
\end{cases}
\]
for the map induced by applying $(-)_+$ to the zero map $[k] \to [0]$.
\end{notation}
\begin{rem}\label{delta_lambda_description}
A morphism in $\nato$ is of one of the forms
\[ (\lambda, id_0), (\lambda, id_1), (\lambda, 0 \to 1) \]
where $\lambda \colon [k'] \to [k] \in \Delta$ is a map of linearly ordered nonempty finite sets.
The functor $\delta$ sends $([k],0)$ to $[k]_+ \= [k+1]$, sends $([k],1)$ to $[k]$, and acts on morphisms as follows.
\begin{enumerate}
\item $\delta$ sends $(\lambda,id_0)$ to $\lambda \colon [k'] \to [k] \in \Delta$.
\item $\delta$ sends $(\lambda,id_1)$ to
\[
\lambda_+ \colon [k']_+ \to [k]_+ \in \Delta,
\quad \lambda_+ (i) = \begin{cases}
\lambda(i) & i\neq \infty \\
\infty & i= \infty.
\end{cases}
\]
\item $\delta$ sends $(\lambda,0 \to 1)$ to
\(
\lambda \colon [k'] \to [k] \subset [k]_+ \in \Delta.
\)
\end{enumerate}
\end{rem}
The following constructions make specific use of the $\Delta^\op$-family of $\infty$-operads $\Tens^\otimes$ from \cite[def. 4.4.1.1]{HA}.
We first review its definition.
\begin{mydef}
\label{def:Tens}
Let $\Ass$ be the $\infty$-operad of~\cite[def. 4.1.1.3]{HA}.
The category $\Tens^\otimes$ is defined as follows:
\begin{enumerate}
\item An object of $\Tens^\otimes$ is a tuple $(\angled{n},[k],c_-,c_+)$ where $\angled{n} \in \Fin_*, [k]\in \Delta^\op$ and the maps
\(
c_-, c_+ \colon \angled{n} \to [k]
\)
satisfy the following condition:
\[
\mbox{for all }i \in \angled{n}^\circ: \quad c_-(i) \leq c_+(i) \leq c_-(i)+1.
\]
In other words, either $c_+(i) =c_-(i)$\footnote{corresponding to $\a_{c_-(i)}$ of \cref{sec:Morita_double_cat}}
or $c_+(i)=c_-(i)+1$\footnote{corresponding to $\m_{c_-(i),c_+(i)}$}.
\item Let $(\angled{n},[k],c_-,c_+)$ and $(\angled{n'},[k'],c'_-,c'_+)$ be two objects of $\Tens^\otimes$.
A morphism from $(\angled{n},[k],c_-,c_+)$ to $(\angled{n'},[k'],c'_-,c'_+)$ is a tuple $(\al,\la)$ where
\[
\al \colon \angled{n} \to \angled{n'} \in \Ass,
\quad \la \colon [k'] \to [k] \in \Delta
\]
satisfy the following condition.
For every $j\in \angled{n'}^\circ$ with totally ordered fiber $\al^{-1}(j)= \set{i_0 \prec i_1 \prec \cdots \prec i_m}$ the following equalities hold:
\begin{align*}
& c_-(i_0) = \la(c'_-(j)), \quad c_+(i_m) = \la(c'_+(j)), \\
& c_-(i_0) \leq c_+(i_0) = c_-(i_1) \leq c_+(i_1) = \cdots = c_-(i_m) \leq c_+(i_m).
\end{align*}
\end{enumerate}
\end{mydef}
\begin{rem} \label{tau_ext_rel_tensor}
The category $\nato$ may be depicted as follows
\[
\tag{$\nato$}
\begin{tikzcd}
\vdots
\ar[d, shift left=3, dashed]\ar[d, shift left=1, dashed] \ar[d, shift right=1, dashed] \ar[d, shift right=3, dashed]
&
\vdots
\ar[d, shift left=3]\ar[d, shift left=1] \ar[d, shift right=1] \ar[d, shift right=3]
\\
([2],0)
\ar[d, shift left=2, dashed] \ar[d, dashed] \ar[d, shift right=2, dashed]
\ar[r, rightsquigarrow]
&
([2],1)
\ar[d, shift left=2] \ar[d] \ar[d, shift right=2]
\\
([1],0)
\ar[d, shift left=1, dashed, "\tau"] \ar[d, shift right=1, dashed]
\ar[r, rightsquigarrow]
&
([1],1)
\ar[d, shift left=1] \ar[d, shift right=1]
\\
([0],0)
\ar[r, rightsquigarrow]
&
([0],1).
\end{tikzcd}
\]
The functor $\delta: \nato \to \Delta^\op$ restricts to the identity on the right column, identifies the left column with the full subcategory of $\Delta^\op$ corresponding to the totally ordered sets $[k]$, $k\ge1$, and morphisms in $\Delta$ which preserve maximal elements (dashed arrows below)
\[
\tag{$\Delta^\op$}
\begin{tikzcd}
\vdots
\ar[d, shift left=3, dashed]\ar[d, shift left=1, dashed] \ar[d, shift right=1, dashed] \ar[d, shift right=3, rightsquigarrow]
\\
\left[ 2\right]
\ar[d, shift left=2, dashed] \ar[d, dashed] \ar[d, shift right=2, rightsquigarrow]
\\
\left[1\right]
\ar[d, shift left=1] \ar[d, shift right=1, rightsquigarrow]
\\
\left[0\right],
\end{tikzcd}
\]
and maps the horizontal arrows of $\nato$ to those face maps which do not preserve maxmial elements (squiggly arrows).
The arrow $\tau$ in $\nato$, which corresponds to the morphisms
\[
\{0\} \to \{0,1\} \quad 0 \mapsto 0
\quad
\mbox{in}
\quad \Delta,
\quad
1 \xto{id} 1
\quad
\mbox{in}
\quad
\Delta^1,
\]
will induce the \emph{external relative tensor product}
(see
%\cref{def:ext_bar_const},\cref{s23j11} and
\cref{def:external_relative_tensor_prod})
\[
\tau_* \colon \Bmod(\C_-) \times_{\Alg(\C_-)} \Bmod(\C_{\m}) \to \Bmod(\C_{\m})
\]
and hence deserves special attention.
\end{rem}
\begin{notation} \label{def:Tens_nato}
Let $\Tens^\otimes$ be the category of~\cite[def. 4.4.1.1]{HA}.
We denote by
\[
\Tens^\otimes_\nato \to \nato
\]
the pullback of $\Tens^\otimes \to \Delta^\op$ along $\delta$ (see~\cite[not. 4.4.1.15]{HA}).
By construction, we can identify $\Tens^\otimes_S|_{\Delta^\op \times \set{1} }$ with $\Tens^\otimes \to \Delta^\op$,
and $\Tens^\otimes_S|_{\Delta^\op \times \set{0} }$ with the pullback of $\Tens^\otimes \to \Delta^\op$ along $(-)_+ \colon \Delta^\op \to \Delta^\op$.
\end{notation}
\begin{rem} \label{Tens_nato_description}
We can unwind the definition of the category $\Tens^\otimes_\nato$ as follows.
\begin{enumerate}
\item An object of $\Tens^\otimes_\nato$ is a tuple $(b,\angled{n},[k],c_-,c_+)$ where $b\in \Delta^1$, $\angled{n}\in \Fin_*$, $[k]\in \Delta^\op$ and
\[
c_-, c_+ \colon \angled{n}^\circ \to \delta([k],b) = \begin{cases} [k]_+ & b=0 \\ [k] & b=1 \end{cases}
\]
are maps
satisfying $c_-(i) \leq c_+(i) \leq c_-(i)+1$ for every $i \in \angled{n}^\circ$.
\item Let $(b,\angled{n},[k],c_-,c_+)$ and $(b',\angled{n'},[k'],c'_-,c'_+)$ be two objects of $\Tens^\otimes_\nato$.
A morphism from $(b,\angled{n},[k],c_-,c_+)$ to $(b',\angled{n'},[k'],c'_-,c'_+)$ is a tuple $(\beta,\al,\la)$ where
\[
\beta \colon b \to b' \in \Delta^1,
\quad \al \colon \angled{n} \to \angled{n'} \in \Ass,
\quad \la \colon [k'] \to [k] \in \Delta
\]
satisfy the following condition.
For every $j\in \angled{n'}^\circ$ with totally ordered fiber $\al^{-1}(j)= \set{i_0 \prec i_1 \prec \cdots \prec i_m}$ the following equalities hold:
\begin{align*}
& c_-(i_0) = \delta(\la,\beta)(c'_-(j)), \quad c_+(i_m) = \delta(\la,\beta)(c'_+(j)), \\
& c_-(i_0) \leq c_+(i_0) = c_-(i_1) \leq c_+(i_1) = \cdots = c_-(i_m) \leq c_+(i_m),
\end{align*}
where in the first two equalities we consider $\delta(\la,\beta)$ as defining a morphism of totally ordered sets $\delta([k'],b') \to \delta([k],b)$.
\end{enumerate}
\end{rem}
Since $\Tens^\otimes_\nato$ and $\BM^\otimes$ are nerves of $1$-categories we will be able to define a functor $\Tens^\otimes_\nato \to \BM^\otimes$ by its action on objects and morphisms. In its construction we use a certain natural transformation $\eta$ from $\delta$ to the constant functor $\nato \to \Delta^\op$ with value $[1]$.
\begin{construction} \label{def:delta_to_[1]}
Let $\delta \colon \nato \to \Delta^\op$ be the map of \cref{def:plus_and_delta}.
The totally ordered set $\delta([k],b)$ admits a canonical map to $[1]= \set{0 <1}$, constructed as follows.
Note that $\delta$ carries the initial object $([0],0) \in \Delta^\op \times \Delta^1$ to $[0]_+ \= [1]$, and hence induces a map on the slice categories
\[
\Delta^\op \times \Delta^1 \= (\Delta^\op \times \Delta^1)_{([0],0)/} \xto{\delta} (\Delta^\op)_{[1]/} \= (\Delta_{/[1]})^\op.
\]
Given $([k], b) \in \nato$ on the left, we define
\[
\eta:\delta([k], b) \to [1]
\]
to be the image of $([k], b)$ in $(\Delta_{/[1]})^\op$ on the right. Explicitly the map $\eta$ is given by
\begin{align*}
\eta \colon & \delta([k],0) = [k]_+ \to [1] ,
\quad \eta(i) = \begin{cases}
0 & i \neq \infty \\
1 & i = \infty
\end{cases} \\
\eta \colon & \delta([k],1) = [k] \to [1] , \quad \eta(i)=0.
\end{align*}
\end{construction}
\begin{construction} \label{const:Tens_S_to_BM}
We define a functor
\[
\varphi \colon \Tens^\otimes_\nato \to \BM^\otimes
\]
by its action on objects and morphisms (see \cref{Tens_nato_description}).
\begin{enumerate}
\item
Let $\varphi$ send an object $(b,\angled{n},[k],c_-,c_+)$ of $\Tens^\otimes_\nato$ to $(\angled{n}, \eta \circ c_-, \eta \circ c_+)$,
where the maps
\[
\eta \circ c_- , \eta \circ c_+ \colon \angled{n}^\circ \to \delta([k],b) \xto{\eta} [1]
\]
are defined by composition with the canonical map $\eta$ of \cref{def:delta_to_[1]}.
\item
Let
\[
(\beta,\al,\la) \colon (b,\angled{n},[k],c_-,c_+) \to (b',\angled{n'},[k'],c'_-,c'_+)
\]
be a morphism in $\Tens^\otimes_\nato$.
% from $(b,\angled{n},[k],c_-,c_+)$ to $(b',\angled{n'},[k'],c'_-,c'_+)$.
Let $\varphi$ send $(\beta,\al,\la)$ to $\al \colon \angled{n} \to \angled{n'}$.
One has to verify that the conditions of~\cite[def. 4.3.1.5]{HA} are satisfied to ensure that $\al$ is a morphism of $\BM^\otimes$.
Indeed, by the description of morphisms in \cref{Tens_nato_description} we have
\[
c_-(i_0) = \delta(\la,\beta)(c'_-(j)), \quad c_+(i_m) = \delta(\la,\beta)(c'_+(j)),
\]
so by naturality of the canonical map $\eta$ we have
\[
\eta \circ c_-(i_0) = \eta \circ c'_-(j), \quad \eta \circ c_+(i_m) = \eta \circ c'_+(j).
\]
Finally, by the description of the object $(b,\angled{n},c_-,c_+) \in \Tens^\otimes_\nato$ we also have
\[
c_-(i_0) \leq c_+(i_0) = c_-(i_1) \leq c_+(i_1) = \cdots = c_-(i_m) \leq c_+(i_m).
\]
Applying the order preserving map $\eta \colon \delta([k],b) \to [1]$ verifies the remaining conditions.
\end{enumerate}
\end{construction}
% \subsection{The double infinity category of bimodules }
\subsection[Construction of the family BLMod_A(C)]{Construction of the $\nato$-family $\BLMod_\A(\C)$}
Let $\Cc^\otimes$ be a $\BM$-monoidal $\infty$-category which admits realizations of $\Aa$-bar constructions $\otimes$-compatibly for an appropriate class $\Aa$ of algebras in $\Cc_-$. Our goal in this subsection is to construct a certain coCartesian fibration
\[
p_\Aa: \BLMod_\Aa(\C)^\otimes
\to
\nato
\]
which will play a role similar to the role played by the Morita double $\infty$-category of \cref{lb5.5}. In \cref{extracting} we will fix a algebras $A$ in $\Cc_-$ and $B\in \C_+$ and use $\BLMod_\Aa(\C)^\otimes$ to extract a left action of $A$-$A$-bimodules in $\Cc_-$ on $A$-$B$-bimodules in $\Cc_\m$.
Throughout this subsection, we fix a $\BM$-monoidal category
\[
q \colon \Cc^\otimes \to \BM^\otimes.
\]
\begin{notation}
For any map of simplicial sets $f:K \to \nato$ we let
\[
\Tens^\otimes_f \to K
\]
denote the pullback of $\Tens^\otimes_\nato \to \nato$ along $f$. Equivalently, $\Tens^\otimes_f$ is the pullback of $\Tens^\otimes \to \Delta^\op$ along the composite
\[
K \to \nato \xto{\delta} \Delta^\op.
\]
We allow ourselves to use the notation
\[
\Tens^\otimes_f = \Tens^\otimes_K
\]
when we see no danger of confusion.
We consider $\Tens^\otimes_K$ as a simplicial set over $\BM^\otimes$ by the map
\[
\Tens^\otimes_K = \Tens^\otimes_f \to \Tens^\otimes_\nato \xto{\varphi} \BM^\otimes
\]
where $\varphi$ is the functor of \cref{const:Tens_S_to_BM}.
\end{notation}
\begin{construction} \label{cons:BLMod_C_star}
In terms of our fixed $\BM$-monoidal category $q \colon \C^\otimes \to \BM^\otimes$ we define a map of simplicial sets
\[
p \colon \BLMod(\C)^\circledast \to \nato
\]
by the following universal property:
\begin{itemize}
\item[(*)] For every map of simplicial sets $K \to \nato$ there is a canonical bijection\footnote{The subscript `0' on the right refers to the \textit{set} of 0-simpleces.}
\[
\Hom_{{\Set_\Delta}_{/\nato}}(K,\BLMod(\C)^\circledast) \= \Alg_{\Tens_K/\BM}(\C)_0.
\]
\end{itemize}
\end{construction}
In particular, a diagram of simplicial sets
\begin{equation*}
\begin{tikzcd}
L \ar[d] \ar[r] & {\BLMod(\C)}^\circledast \ar[d,"p"] \\
K \ar[r] \ar[ur] & \nato
\end{tikzcd}
\end{equation*}
commutes if and only if the corresponding diagram
\begin{equation*}
\begin{tikzcd}
\Tens_L^\otimes \ar[d] \ar[r] & \C^\otimes \ar[d,"q"] \\
\Tens_K^\otimes \ar[r] \ar[ur] & \BM^\otimes
\end{tikzcd}
\end{equation*}
commutes.
\begin{lem} \label{BTen_flat}
The
map of simplicial sets of \cref{cons:BLMod_C_star}
\[
p \colon {\BLMod(\C)}^\circledast \to \nato
\]
is an inner fibration.
\end{lem}
\begin{proof}
We verify that $p$ has the right lifting property with respect to all inner anodyne maps.
By definition of ${\BLMod(\C)}^\circledast$ checking the lifting condition against an inner anodyne map $A \to B$ is equivalent to solving the following lifting problem
\begin{equation*}
\begin{tikzcd}
\Tens^\otimes_A \ar[d] \ar[r] & \C^\otimes \ar[d,"q"] \\
\Tens^\otimes_B \ar[r] \ar[ur, dashed] & \BM^\otimes.
\end{tikzcd}
\end{equation*}
By~\cite[thm. 4.4.3.1]{HA} the functor $\Tens^\otimes \to \Delta^\op$ is a flat categorical fibration, and by~\cite[rem. B.3.12]{HA} so is its pullback $\Tens^\otimes_\nato \to \nato$.
By~\cite[prop. B.3.14]{HA} the monomorphism $\Tens^\otimes_A \to \Tens^\otimes_B$ is a trivial cofibration in the Joyal model structure (\cite[thm. 2.2.5.1]{HTT}).
It follows that the solution to the above lifting problem exists, as the right vertical morphism $\C^\otimes \to \BM^\otimes$ is a categorical fibration.
\end{proof}
Applying~\cite[cor. 4.4.3.2]{HA} to $\Oo^\otimes=\BM^\otimes$ and
\(
S=\nato \xto{\varphi} \BM^\otimes
\)
we get the following proposition.
%%
\begin{prop} \label{coCart_edges_in_BLMod}
Let $\al \colon s \to s'$ be an edge in $\nato=\Delta^\op \times \Delta^1$ and let $F_0$ be a vertex of $\Alg_{\Tens_s/\BM}(\C)$.
The vertex $F_0$ corresponds to an element of
\[
\Hom_{{\Set_\Delta}_{/\nato}} (\set{s}, {\BLMod(\C)}^\circledast),
\]
and hence to a vertex of ${\BLMod(\C)}^\circledast$ lying over $s$.
Let $F$ be a vertex of
$\Alg_{\Tens_\al/\BM}(\C)$
extending $F_0$; equivalently, $F$ is an edge of ${\BLMod(\C)}^\circledast$ lying over $\al$ with source $F_0$.
If $F$, regarded as a map of generalized $\infty$-operads
\[
\Tens^\otimes_\al \to \C^\otimes
\]
over $\BM^\otimes$,
is an operadic $q$-left Kan extension of $F_0$, then $F$ regarded as an edge of
$
{\BLMod(\C)}^\circledast
$
is $q$-coCartesian.
\end{prop}
\begin{proof}
Mutatis mutandis the same as \cref{2}.
\end{proof}
Our next goal is to introduce the notion of an $\A$-multimodule in a $\BM$-monoidal $\infty$-category (\cref{k1_A_multimodule} and \cref{k0_A_multimodule}).
\begin{notation}
For $[k]\in \Delta^\op$ and $i=0,\ldots,k$ let
\[
\epsilon_i \colon \Ass \to \Tens^\otimes_{[k]}
\]
be the map of~\cite[rem. 4.4.1.8]{HA}.
The map $\epsilon_i$ identifies $\Ass$ with the full subcategory of $\Tens^\otimes_{[k]}$ spanned by objects $(\angled{n},[k],c_-,c_+)$ where $c_-(j)=c_+(j)=i$ for every $j\in \angled{n}^\circ$.
Let $\mathrm{Ass}^\otimes_- \subset \BM^\otimes$ be the full subcategory of objects of the form $(\angled{n}, c_-,c_+)$ where $c_-(i)=c_+(i) = 0$ for every $i\in \angled{n}^\circ$.
The forgetful functor $\BM^\otimes \to \Ass$ restricts to an isomorphism $\mathrm{Ass}^\otimes_- \xto{\=} \Ass$, as in~\cite[rem. 4.3.1.10]{HA}.
\end{notation}
\begin{mydef}
\label{def:natomm}
Fix $s\in \nato = \Delta^\op \times \Delta^1$. An \emph{$s$-multimodule in $\C$} is a map of $\infty$-operads $\Tens^\otimes_s \to \C^\otimes$ over $\BM^\otimes$.
A \emph{multimodule in $\C$} is an $s$-multimodule in $\C$ for some $s\in \nato$.
\end{mydef}
\begin{rem}
\label{s23j1}
The $([k], i)$-multimodules of \cref{def:natomm} come in two varieties, depending on whether $i=0$ or $1$. Note that we have canonical equivalences
\[
\Tens^\otimes_{([k], 1)} \simeq
\Tens^\otimes_{[k]}
\quad
\mbox{and}
\quad
\Tens^\otimes_{([k], 0)} \simeq
\Tens^\otimes_{[k]_+}
\simeq
\Tens^\otimes_{[k+1]}.
\]
Starting with the case $i =1$, if $s=([k],1) \in \nato$ then
\[
\Tens^\otimes_s \to \Tens^\otimes_\nato \xto{\varphi} \BM^\otimes
\]
factors through $\mathrm{Ass}^\otimes_- \subset \BM^\otimes$. Therefore we can identify a $([k],1)$-multimodule in $\C$ with a $[k]$-multimodule in $\C_-$.
Turning to the case $i=0$, a $([k], 0)$-multimodule
\[
M: \Tens^\otimes_{([k],0)}
\to \Cc^\otimes
\]
in $\Cc$ corresponds to a $[k]$-multimodule
\[
\tag{*}
_{A_0}{M^{0,1}}_{A_{1}} M^{1,2}_{A_2}
\cdots
_{A_{k-1}} M^{k-1,k}_{A_k}
\]
in $\Cc_-$ and an $A_k$-$A_\infty$-bimodule $M^{k, \infty}$ in $\C_\m$, where $A_\infty$ is an algebra in $\C_+$. This correspondence is furnished as follows. The inclusion
\[
\al: [k] \subset [k]_+ = \{0 < \dots < k < \infty\}
\]
gives rise to a map of $\infty$-operads \cite[not. 4.4.1.10]{HA}
\[
v_\al: \Tens^\otimes_{[k]} \to
\Tens^\otimes_{[k]_+}
\]
given by
\[
v_\al \big(
\langle n \rangle, [k], c_-, c_+
\big)
=
\big(
\langle n \rangle, [k]_+, \al \circ c_-, \al \circ c_+
\big).
\]
The composition
\[
\Tens^\otimes_{[k]}
\xto{v_\al}
\Tens^\otimes_{[k]_+}
\simeq
\Tens^\otimes_{([k],0)}
\to \Tens^\otimes_\nato
\xto{\varphi}
\BM^\otimes
\]
factors through $\mathrm{Ass}^\otimes_- \subset \BM^\otimes$.
Therefore, we can identify the composition
\[
\Tens^\otimes_{[k]}
\xto{v_\al}
\Tens^\otimes_{([k],0)}
\xto{M} \C^\otimes
\]
with a $[k]$-multimodule in $\C^\otimes_-$ as in (*). On the other hand, the inclusion $\beta: [1] \simeq \{k < \infty\} \subset [k]_+$ gives rise to a map of $\infty$-operads
\[
v_\be: \BM^\otimes \to \Tens^\otimes_{[k]_+}
\]
whose composition with $\phi$ is the identity map of $\BM^\otimes$. Thus, the composition
\[
\BM^\otimes
\xto{v_\be}
\Tens^\otimes_{([k],0)}
\xto{M}
\Cc^\otimes
\]
may be identified with a bimodule in $\Cc_\m$ over algebras $A'$ in $\C_-$ and $A_\infty$ in $\C_+$. A straightforward verification shows that $A' = A_k$.
\end{rem}
\begin{mydef}\label{k1_A_multimodule}
Let $\A \subseteq \Alg(\C_-)$ be a full subcategory, closed under equivalences. We say that a $([k],1)$-multimodule in $\C$ is an \emph{$\A$-multimodule} if the corresponding $[k]$-multimodule in $\C_-$ is an $\A$-multimodule.
\label{k0_A_multimodule}
We say that a $([k],0)$-multimodule $F\in \Alg_{\Tens_{([k],0)}/\BM}(\C)$
is an \emph{$\A$-multimodule} if the corresponding $[k]$-multimodule in $\C_-$,
\[
\Tens^\otimes_{[k]}
\xto{v_\al} \Tens^\otimes_{([k],0)} \xto{F} \C^\otimes,
\]
is an $\A$-multimodule in $\C_-$.
\end{mydef}
\begin{mydef}
\label{aolkefamm}
Let $\A \subseteq \Alg(\C_-)$ be a full subcategory, stable under equivalences.
We say that \emph{$\C$ admits operadic left Kan extensions from $\A$-multimodules}
if for every edge $\al \colon s \to s'$ of $\nato$ and $\A$-multimodule $F_0 \in \Alg_{\Tens_s/\BM}(\C)$
there exists a $q$-operadic left Kan extension $F \in \Alg_{\Tens_\al/\BM}(\C)$ of $F_0$ as in the following diagram
\begin{equation*}
\begin{tikzcd}
\Tens^\otimes_s \ar[d] \ar[r,"F_0"] & \C^\otimes \ar[d,"q"] \\
\Tens^\otimes_\al \ar[r] \ar[ur,dashed,"F"] & \BM^\otimes.
\end{tikzcd}
\end{equation*}
We also say that \emph{$\C$ admits relative tensor products of $\A$-multimpdules}, generalizing~\cite[def. 4.4.2.3]{HA}.
\end{mydef}
In the terminology of \cref{coCart_edges_in_BLMod}, we imidiatly deduce the following statement from \cref{coCart_edges_in_BLMod}.
\begin{cor}
\label{acclfamm}
Let
\[
p \colon \BLMod(\C)^\circledast \to \nato
\]
be the map of \cref{cons:BLMod_C_star}. If $\C$ admits operadic left Kan extensions from left $\A$-multimodules, then $\BLMod(\C)^\circledast \to \nato$ admits coCartesian lifts from left $\A$-multimodules:
for any edge
\[
\al \colon s \to s'
\]
of $\Delta^\op \times \Delta^1$ and $\A$-multimodule $F_0 \in \Alg_{\Tens_s/\BM}(\C)$ over $\al$, there exists a lift $F$ of $\al$ extending $F_0$.
\end{cor}
\begin{mydef}
Let us temporarily use the alternative notation $\C_0 = \C_-$ and $\C_1 = \C_+$ for the two monoidal categories associated to our fixed $\BM$-monoidal category $\Cc$. If $A_{i_0}$, $A_{i_1}$ are algebras in $\Cc_{i_0}$, $\Cc_{i_1}$ with
$
0 \le i_0 \le i_1 \le 1
$,
then we may speak unambiguously of \emph{
$A_{i_0}$-$A_{i_1}$-bimodules in
$\Cc$
}; we denote the
$\infty$-category of such by
$_{A_{i_0}}\BMod{}{}_{A_{i_1}}(\Cc)$
or simply by $_{A_{i_0}}\BMod{}{}_{A_{i_1}}$.
More generally, given algebras
\[
A_{i_0}, A_{i_1}, \ldots, A_{i_n},
\quad
\mbox{with}
\quad
0 \le i_0 \le i_1 \le \cdots \le i_n \le 1,
\]
we refer to a tuple $(M_{01}, M_{12}, \ldots, M_{n-1,n})$ where $M_{k,k+1}$ is an $A_{i_k}$-$A_{i_{k+1}}$-bimodule as an \emph{$(A_{i_0}, A_{i_1}, \ldots, A_{i_n})$-module}.
% by an \emph{$(A_{i_0}, A_{i_1}, \ldots, A_{i_n})$-module} we mean a tuple $(M_{01}, M_{12}, \ldots, M_{n-1,n})$ where $M_{k,k+1}$ is an $A_{i_k}$-$A_{i_{k+1}}$-bimodule.
\end{mydef}
\begin{rem} \label{s23j2}
By \cref{s23j1}, a $([2],1)$-module consists of algebras $A$, $B$, $C$ in $\Cc_-$, an $A$-$B$-bimodule $M$ and a $B$-$C$-bimodule $N$, hence, in our terminology and notation from~\cref{LM_to_BM_monoidal_construction}, an $(A,B,C)$-module $_A M_B N_C$ in $\Cc_-$.
On the other hand, a $([1],1)$-module consists of algebras $A$, $B$ in $\Cc_-$, an algebra $C$ in $\Cc_+$, an $A$-$B$-bimodule $M$ in $\Cc_-$, and a $B$-$C$-bimodule $N$ in $\Cc_\mM$.
For fixed $A$, $B$, $C$, we refer to such an object again as an $(A,B,C)$-module and we again use the notation $_A M_B N_C$.
\end{rem}
\begin{notation} \label{phi_001_[2]_algebra}
Let $\tau: \Delta^1 \to \nato$ denote the functor associated to the morphism
\[
([1],0)\to ([0],0)
\]
denoted by the same symbol $\tau$ above (\cref{tau_ext_rel_tensor}).
Note that the composition $\Delta^1 \xto{\tau} \nato \xto{\delta} \Delta^\op$ corresponds to the morphism
$[1] \to [2]$ in $\Delta$ used to define $\Tens_{\succ}$ in~\cite[not. 4.4.2.1]{HA}.
Let $\tau$ also denote the induced morphism
\[
\Tens^\otimes_\succ \to \Tens^\otimes_\nato.
\]
Let $\phi_\succ^{001}$ and $\phi_{[2]}^{001}$ denote the composites
\[
\phi_\succ^{001} \colon
\Tens^\otimes_\succ \xto{\tau}
\Tens^\otimes_\nato
\xto{\varphi}
\BM^\otimes, \quad
\phi_\succ^{001} \colon
\Tens^\otimes_{[2]}
\to
\Tens^\otimes_\succ \xto{\tau}
\Tens^\otimes_\nato
\xto{\varphi}
\BM^\otimes.
\]
We define a $\phi_{[2]}^{001}$-algebra
to be a morphism of $\infty$-operads
\[
F: \Tens^\otimes_{[2]} \to \Cc^\otimes
\]
over $\BM^\otimes$, or equivalently a $([1],1)$-module, i.e.
an $(A,B,C)$-module where $A, B$ are algebras in $\C_-$ and $C$ is an algebra in $\C_+$.
\end{notation}
\begin{mydef} \label{def:ext_bar_const}
Let $F \colon \Tens^\otimes_{[2]} \to \Cc^\otimes$ be a $\phi^{001}_{[2]}$-algebra in $\Cc^\otimes$ with associated algebras and bimodules
\[
A^M B^N C.
\]
We define the \emph{operadic bar construction $\Bar^\otimes(F)_\bullet = \Bar_B^\otimes(M,N)_\bullet$} to be the composite functor
\[
\Delta^\op \xto{\rm{bar}} \Tens^\otimes_{[2]}
\xto{F} \Cc^\otimes.
\]
The associated \emph{underlying bar construction}
\[
\Bar(F)_\bullet = \Bar_B(M,N)_\bullet:
\Delta^\op \to \Cc^\otimes
\]
and the natural transformation
\[
\be: \Bar^\otimes(F)_\bullet \to \Bar(F)_\bullet
\]
are then constructed in the same way as for a monoidal category, see \cref{def:bar_const}.
\end{mydef}
\begin{mydef}
\label{m24j0}
Let $A \in \Alg(\Cc_-)$ be an algebra.
We say that $\Cc^\otimes \to \BM^\otimes$ \emph{admits realizations of $A$-bar constructions $\otimes$-compatibly} if (in the terminology of \cref{s23j2}) for any $(B,A,C)$-module $F: \Tens^\otimes_{[2]} \to \Cc^\otimes$ with $B \in \Alg(\Cc_-)$ and $C \in \Alg(\Cc_i)$ ($i = -$ or $+$) the following conditions hold:
\begin{enumerate}
\item
The appropriate $\infty$-category ($\Cc_-$ if $i = -$ and $\Cc_\mM$ if $i = +$) admits realizations of the bar constructions $\Bar_A(M,N)_\bullet$.
\item For every $X, Y$ (for which the tensor products below are defined) the canonical map
\[
\left| X \otimes \Bar_A( M,N )_\bullet \otimes Y \right| \to X \otimes \left| \Bar_A(M,N)_\bullet \right| \otimes Y
\]
is an equivalence.
\end{enumerate}
Let $\Aa$ be a class of algebras in $\Cc_-$.
We say that \emph{$\Cc$ admits realizations of $\Aa$-bar constructions $\otimes$-compatibly}
if $\Cc$ admits realizations of $A$-bar constructions $\otimes$-compatibly for every $A\in \Aa$.
Dually, let $A \in \coAlg(\Cc_-) = \Alg(\Cc_-^\op)^\op$ be a coalgebra.
We say that \emph{$\Cc$ admits totalizations of $A$-cobar constructions $\otimes$-compatibly} if $\Cc^\op$ admits realizations of $A$-bar constructions $\otimes$-compatibly, and similarly for ``\emph{admits totalizations of $\Aa$-cobar constructions $\otimes$-compatibly}''.
\end{mydef}
\begin{prop}(Generalization of \cref{29.2} and \cite[prop. 4.4.2.8(1)]{HA}.)
\label{s23j11}
Let $F_0 = {_AM_BN_C}$ be an $(A,B,C)$-module in $\Cc$ with $A,B \in \Alg \Cc_-$ and $C \in \Alg \Cc_+$.
Assume the underlying bar construction ${\Bar_B(M,N)}_\bullet$ admits a geometric realization compatibly with $\otimes$.
Suppose given a commutative diagram of generalized $\infty$-operads (solid arrow diagram below)
\begin{equation*}
\begin{tikzcd}
\Tens^\otimes_{[2]} \ar[r,"F_0"] \ar[d] & \C^\otimes \ar[d,"q"] \\
\Tens^\otimes_\succ \ar[r,"\phi^{001}_\succ"] \ar[ur,dashed,"F"] & \BM^\otimes.
\end{tikzcd}
\end{equation*}
Then there exists an operadic $q$-left Kan extension $F$ of $F_0$ (dotted arrow) making the diagram commute.
\end{prop}
\begin{proof}
In view of the generality in which \cite[prop. 4.4.2.5]{HA} is stated,
this is mutatis mutandis the same as \cref{29.2}.
\end{proof}
\begin{mydef} \label{def:external_relative_tensor_prod}
In the situation of \cref{s23j11} we say that $F$ exhibits $F_1 := F|_{\Tens^\otimes_{[1]}}$ as an \emph{external relative tensor product of $M$ and $N$ over $A$}.
\end{mydef}
We define the \emph{convex subcategory} of $\nato$ by
\[
\nato_\mathrm{convex} :=
\Delta^\op_\mathrm{convex} \times \Delta^1.
\]
\begin{prop}[Segal conditions for ${\BLMod(\C)}^\circledast$] \label{w26j3}
Let
\[
p \colon B^\circledast = {\Bmod(\C)}^\circledast \to \nato
\]
be the map of simplicial sets of \cref{cons:BLMod_C_star}.
Then the pullback $p_\text{Convex}$ of $p$ to $\nato_\text{Convex}$ as in the following diagram
\begin{equation*}
\begin{tikzcd}
B^\circledast_\text{Convex} \ar[r] \ar[d,"p_\text{Convex}"] & B^\circledast \ar[d,"p"] \\
\nato_\text{Convex} \ar[r] & \nato
\end{tikzcd}
\end{equation*}
is a coCartesian fibration.
Moreover, for every $n>1$, the induced maps
\[
B^\circledast_{( [n] , 1)} \to
B^\circledast_{( [1] , 1)} \times_{B^\circledast_{( [0], 1) } }
\cdots \times_{B^\circledast_{ ( [0] , 1) } } B^\circledast_{ ( [1], 1) }
\simeq
\Bmod(\Cc_-) \times_{\Alg (\Cc_-)}
\cdots
\times_{\Alg (\Cc_-)}
\Bmod(\Cc_-)
\]
and
\begin{align*}
B^\circledast_{([n],0)}
\to
B^\circledast_{([n],1)}
&
\times_{B^\circledast_{([0],0)}}
B^\circledast_{([0],0)}
\\
& \simeq
\Bmod(\Cc_-) \times_{\Alg (\Cc_-)}
\cdots
\times_{\Alg (\Cc_-)}
\Bmod(\Cc_-)
\times_{\Alg (\Cc_-)}
\Bmod(\Cc_\m)
\end{align*}
are equivalences of $\infty$-categories.
\end{prop}
\begin{proof}
Let $\al: \Delta^1 \to \nato$ denote the map of simplicial sets associated to the arrow $([k], 0\to1)$ in $\nato$, and consider a square of generalized $\infty$-operads
(solid arrow diagram)
\begin{equation*}
\begin{tikzcd}
\Tens^\otimes_{( [k ],0 ) } \ar[r,"X_0"] \ar[d] & \C^\otimes \ar[d] \\
\Tens^\otimes_\al \ar[r] \ar[ur,dashed,"X"] & \BM^\otimes.
\end{tikzcd}
\end{equation*}
An argument similar to \cite[4.4.3.5]{HA} shows that there exists an operadic $q$-left Kan extension as in the diagram. The remainder of the proof is similar to \ref{05191}.
\end{proof}
\begin{prop}\label{m24j1}
Let $\A$ be a class of algebra objects of $\C_-$ closed under equivalences. Assume that $\C$ admits realizations of $\A$-bar construction $\otimes$-compatibly (\cref{m24j0}).
Let
\[
p \colon {\BLMod(\C)}^\circledast \to \nato
\]
be the map of \cref{cons:BLMod_C_star}.
% be the associated map of simplicial sets (\cref{???}).
Then ${\BLMod(\C)}^\circledast$ admits coCartesian lifts from $\A$-multimodules (\cref{acclfamm}).
\end{prop}
\begin{proof}
In view of \cref{w26j3}, this is similar to \cref{27.3}.
\end{proof}
\begin{thm} \label{w26j1}
In the situation and the notation of \cref{m24j1}, let
\[
{\BLMod_{\A}(\C)}^\circledast \subset {\BLMod(\C)}^\circledast
\]
be the full subcategory supported on $\A$-multimodules.
Assume that $\C$ admits realizations of $\A$-bar constructions $\otimes$-compatibly.
Then the restriction of $p$ to
\[
p_\Aa: {\BLMod_\A(\C)}^\circledast \to \nato
\]
is a coCartesian fibration.
Moreover, $p_\Aa$ obeys the Segal conditions of \cref{w26j3}.
\end{thm}
\begin{proof}
Mutatis mutandis the same as \cref{link4}.
\end{proof}
In the situation of \cref{w26j1} with $\A =\Alg(\C_-)$ for simplicity, the coCartesian fibration
\[
p \colon \BLMod(\Cc)^\circledast \to \nato
\]
corresponds to a $\nato$-shaped diagram of $\infty$-categories which includes the vertices and arrows:
\[
\tag{D}
\begin{tikzcd}[column sep=0.5em]
\vdots
\ar[d, shift left=3]\ar[d, shift left=1] \ar[d, shift right=1] \ar[d, shift right=3]
&
\vdots
\ar[d, shift left=3]\ar[d, shift left=1] \ar[d, shift right=1] \ar[d, shift right=3]
\\
\Bmod(\C_-) \times_{\Alg(\Cc_-)} \Bmod(\C_-)
\times_{\Alg(\Cc_-)} \Bmod(\C)
\ar[d, shift left=2] \ar[d] \ar[d, shift right=2]
\ar[r]
&
\Bmod(\C_-) \times_{\Alg(\Cc_-)} \Bmod(\C_-)
\ar[d, shift left=2] \ar[d] \ar[d, shift right=2]
\\
\Bmod(\C_-) \times_{\Alg(\Cc_-)} \Bmod(\C_\m)
\ar[d, shift left=1] \ar[d, shift right=1]
\ar[r]
&
\Bmod(\C_-)
\ar[d, shift left=1] \ar[d, shift right=1]
\\
\Bmod(\C_\m)
\ar[r]
&
\Alg(\Cc_-).
\end{tikzcd}
\]
\subsection{Extracting the $\LM$-monoidal $\infty$-category $\BLMod_A(\C)$} \label{extracting}
We construct the $\LM$-monoidal $\infty$-category $\BLMod_A(\C)$ (\cref{w9f2}).
We will make use of a certain sub-family of $\infty$-operads $\MAss^\otimes \subset \Tens^\otimes$ which forgets those colors of $\Tens^\otimes$ which index bimodules.
\begin{mydef}
\label{20510a}
Let $\MAss^\otimes$ denote the full subcategory of $\Tens^\otimes$ whose objects
\[
c_\pm: \langle n \rangle^\circ \rightrightarrows [k]
\]
satisfy $c_- = c_+$. Thus, an object is a triple $c=(\langle n \rangle, [k], c)$ with $\lan n \ran \in \Ass$, $[k] \in \Delta$, and $c: \lan n \ran^\circ \to [k]$ a map of sets, and a morphism $c \to c'$ is simply a commuting square
\[
\begin{tikzcd}
\lan n \ran \ar[d,"c"] \ar[r,"\al"] & \lan n' \ran \ar[d,"c' "] \\
k & k' \ar[l,"\la"'].
\end{tikzcd}
\]
\end{mydef}
Our results concerning the generalized $\infty$-operad $\MAss^\otimes$ and the associated double $\infty$-categories (\cref{20510e} below) amount to an essentially trivial portion of the results concerning $\Tens^\otimes$ and the associated double $\infty$-categories $\Bmod(\Cc)^\circledast$ obtained in \cite[]{HA}; we limit ourselves here to an outline interspersed with references to loc. cit.
\begin{prop} \label{20510b}
The inclusion
\[
\ep: \MAss^\otimes \subset \Tens^\otimes
\]
is a morphism of $\Delta^\op$-families of $\infty$-operads. The composite
\[
\MAss^\otimes \to \Tens^\otimes \to \Delta^\op
\]
is flat \cite[]{HA}.
\end{prop}
\begin{proof}
The first statement is clear. Fix morphisms $\la = \la' \circ \la ''$
\[
[k] \xfrom{\la'} [k'] \xfrom{\la''} [k'']
\]
in $\Delta$ and a morphism
\[
(\al, \la): c \to c''
\]
in $\MAss^\otimes$ over $\la$. The category
\[
\tag{*}
\MAss^\otimes_{c'//c''}
\times_{(\Delta^\op)_{[k]//[k'']}}
\{(\la', \la'')\}
\]
may be described concretely as the category whose objects are tuples $(\lan n' \ran, \al', \al'', c')$ which fit into a commuting diagram like so
\[
\begin{tikzcd}
\lan n \ran^\circ
\ar[r, "\al' ", dashed]
\ar[rr, bend left = 30, " \al "]
\ar[d, " c "]
& \lan n' \ran^\circ
\ar[r,"\al'' " , dashed]
\ar[d, " c' ", dashed]
& \lan n'' \ran^\circ
\ar[d, " c'' "]
\\
k &k' \ar[l, " \la' "] &k'' \ar[l, " \la'' "],
\end{tikzcd}
\]
and whose morphisms
\[
(\lan n'_1 \ran, \al'_1, \al''_1, c'_1) \to
(\lan n'_2 \ran, \al'_2, \al''_2, c'_2)
\]
are those morphisms $\lan n'_1 \ran \to \lan n'_2 \ran$ in $\Ass$ which make the evident triangles commute.
The object $(\lan n'' \ran, id, \al, \la'' \circ c'')$ is terminal.
It follows that this category is weakly contractible\footnote{We recall that an ordinary (respectively $\infty$-category) is said to be \textit{weakly contractible} if the geometric realization of its nerve (respectively, of its underlying simplicial set) is contractible.}
The proposition follows by \cite[Remark B.3.9]{HA}.
\end{proof}
Given an object $I \in \Delta^\op$, we denote by $\MAss^\otimes_I$ the fiber of $\MAss^\otimes \to \Delta^\op$ over $I$. For any totally ordered finite set $I$, we have an equivalence of $\infty$-operads
\[
\MAss^\otimes_I \simeq (\Ass)^{\coprod I}.
\]
Indeed, this follows from the proof of \cite[Proposition 4.4.1.11]{HA} (Segal condition for $\Tens^\otimes$) and can also easily be checked directly.
We denote by
\[
\ep_\nato: \MAss^\otimes_{\nato}
\to
\Tens^\otimes_\nato
\]
the pullback of the inclusion $\ep: \MAss^\otimes \subset \Tens^\otimes$ along the map
\[
\delta: \nato \to \Delta^\op
\]
of \cref{def:plus_and_delta}. Given a map of simplicial sets $f: K \to \nato$ we denote by
\[
\MAss^\otimes_f = \MAss^\otimes_K
\]
the pullback of $\MAss^\otimes_\nato$ along $f$.
\begin{mydef} \label{20510d}
Let $q: \Cc^\otimes \to \BM^\otimes$ be a $\BM$-monoidal $\infty$-category.
We define a map of simplicial sets
\[
q_a \colon
\mathrm{LAlg}(\Cc)^\circledast
\to
\nato
\]
by the following universal property:
\begin{itemize}
\item[(*)] For every map of simplicial sets $K \to \nato$ there is a canonical bijection
\[
\Hom_{{\Set_\Delta}_{/\nato}}(K,\rm{LAlg}(\C)^\circledast) \= \Alg_{\MAss_K/\BM}(\C)_0.
\]
Here the subscript `0' on the right refers to the collection of 0-simpleces, and the subscript ``$\MAss_K/\BM$''
refers to the composite morphism of generalized $\infty$-operads
\[
\MAss^\otimes_{\nato}
\xto{\epsilon_\nato}
\Tens^\otimes_\nato
\xto{\phi}
\BM^\otimes
\]
where $\phi$ is the map constructed in \cref{const:Tens_S_to_BM}.
\end{itemize}
\end{mydef}
\begin{prop}
\label{20510e}
Let $q: \Cc^\otimes \to \BM^\otimes$ be a $\BM$-monoidal category.
Then the map $q_a \colon \mathrm{LAlg}(\Cc)^\circledast \to \nato$ of \cref{20510d} is a coCartesian fibration.
\end{prop}
\begin{proof}
The map $\MAss^\otimes_\nato \to \nato$ is flat since it is a pullback of the flat map
\[
\MAss^\otimes \to \Delta^\op,
\]
see \cref{20510b}.
As in \cref{BTen_flat}, it follows that $q_a$ is an inner fibration.
Fixing a square (solid arrow diagram below)
\[
\tag{*}
\begin{tikzcd}
\Delta^0
\ar[r, "F_0"] \ar[d, "\{0\}", swap] &
\LAlg(\Cc)^\circledast
\ar[d, "q_a"]
\\
\Delta^1
\ar[ur, "F", dashed]
\ar[r, "\la", swap]
&
\nato
\end{tikzcd}
\]
we must establish the existence of a coCartesian lift $F$ of $\la$ extending $F_0$ as indicated.
If we regard $\la$ also as a morphism $\la:s \to s'$ in $\nato$, the square diagram (*) corresponds to a diagram
\[
\tag{**}
\begin{tikzcd}
\MAss^\otimes_s
\ar[r, "F_0"] \ar[d, "\iota_0", swap] &
\Cc^\otimes
\ar[d, "q"]
\\
\MAss^\otimes_\la
\ar[ur, "F", dashed]
\ar[r]
&
\nato.
\end{tikzcd}
\]
In view of the flatness of $\MAss^\otimes_\nato \to \nato$, the proof of \cref{coCart_edges_in_BLMod} applies with little change to show that it suffices to establish the existence of an operadic $q$-\textit{left Kan extension} $F$ as in diagram (**).
If $\mu:[k]\to [k']$ is any morphism in $\Delta$ then $\MAss^\otimes_\mu$ regarded a correspondence of $\infty$-operads from $\MAss^\otimes_{[k']}$ to $\MAss^\otimes_{[k]}$ is associated with a map of $\infty$-operads
\[
v_\mu: \MAss^\otimes_{[k]} \to
\MAss^\otimes_{[k']}
\]
given by composition with $\mu$ (compare \cite[Notation 4.4.1.10]{HA}, where the analogous correspondences are nontrivial, except when $\mu$ has convex image).
Consequently, the map $\iota_0$ of diagram (**) admits a section $V_\la$ and (similarly to \cite[Remark 4.4.3.6]{HA}),
\[
F:= F_0 \circ V_\la
\]
is an operadic $q$-\textit{left Kan extension} as required.
\end{proof}
We remark that the diagram of $\infty$-categories associated to the coCartesian fibration of \cref{20510e} includes the vertices and arrows
\[
\tag{D}
\begin{tikzcd}
\vdots
\ar[d, shift left=3]\ar[d, shift left=1] \ar[d, shift right=1] \ar[d, shift right=3]
&
\vdots
\ar[d, shift left=3]\ar[d, shift left=1] \ar[d, shift right=1] \ar[d, shift right=3]
\\
\Alg(\Cc_-)^3 \times \Alg(\Cc_+)
\ar[d, shift left=2] \ar[d] \ar[d, shift right=2]
\ar[r]
&
\Alg(\Cc_-)^3
\ar[d, shift left=2] \ar[d] \ar[d, shift right=2]
\\
\Alg(\Cc_-)^2 \times \Alg(\Cc_+)
\ar[d, shift left=1] \ar[d, shift right=1]
\ar[r]
&
\Alg(\Cc_-)^2
\ar[d, shift left=1] \ar[d, shift right=1]
\\
\Alg(\Cc_-) \times \Alg(\Cc_+)
\ar[r]
&
\Alg(\Cc_-)
\end{tikzcd}
\]
The map $\ep_\nato:\MAss^\otimes_{\nato}
\to
\Tens^\otimes_\nato$ gives rise to a map $\rho$ of simplicial sets over $\nato$
\begin{equation*}
\begin{tikzcd}
\BLMod(\Cc)^\circledast
\ar[dr] \ar[rr, "\rho"]
&&
\rm{LAlg}(\Cc)^\circledast
\ar[dl, "q_a"]
\\
& \nato .
\end{tikzcd}
\end{equation*}
The map
\[
\varphi: \Tens^\otimes_\nato \to \BM^\otimes
\]
restricts to a map
\[
\varphi: \MAss^\otimes_\nato \to (\Ass)^{\coprod 2}
\subset \BM^\otimes.
\]
If $A$ is an algebra in $\Cc_-$ and $B$ is an algebra in $\Cc_+$, we let $A^*B$ be the section of $q_a$ associated to the object
\[
\MAss^\otimes_\nato
\xto{\varphi}
(\Ass)^{\coprod 2}
\xto{(A, B)}
\C_-^\otimes \coprod \C_+^\otimes
\subset
\Cc^\otimes
\]
of $\Alg_{\MAss^\otimes_\nato/\BM^\otimes}(\C)$.
\begin{construction} \label{w9f2}
Let $\C^\otimes \to \BM^\otimes$ be a $\BM$-monoidal $\infty$-category and let $A \in \Alg(\C_-)$, $B \in \Alg(\Cc_+)$ be algebra objects.
Let $\Aa \subset \Alg(\C_-)$ be the full subcategory spanned by all algebras equivalent to $A$ and assume $\Cc^\otimes$ admits realizations of $\Aa$-bar constructions $\otimes$-compatibly, so that by \cref{w26j1} we have an associated coCartesian fibration
\[
p_\Aa: \BLMod_\Aa(\Cc)^\circledast \to \nato
\]
which obeys the Segal conditions of \cref{w26j3}.
We define the coCartesian fibration
\[
_A \BLMod _B(\Cc)^\circledast
\to
\nato
\]
by the pullback
\begin{equation*}
\begin{tikzcd}
_A \BLMod_B(\C)^\circledast \pbcorner \ar[r] \ar[d] & \BLMod_\A(\C)^\circledast \ar[d,"\rho"] \\
\nato \ar[r,"A^*B"] & \rm{LAlg}(\C)^\circledast.
\end{tikzcd}
\end{equation*}
in $\Cat^{coCart}_\nato$.
Applying Propositions 4.2.2.9 and 2.4.2.5 of \cite{HA} as in \cref{lb9}, we obtain an $\LM$-monoidal category
\[
_A\BLMod_B(\Cc)^\otimes \to \LM^\otimes
\]
witnessing $\BMod{A}{B}(\C_\m)$ as left-tensored over $\BMod{A}{A}(\Cc_-)^\otimes$.
Now suppose given additional algebras $A\in \Alg(\C_-)$, $B\in \Alg(\C_+)$ and morphisms of algebras
\[
f: A' \to A
\quad
\mbox{and}
\quad
g:B' \to B.
\]
Then Remark 3.4.9 of Haugseng \cite{Rune_operads_via_SymSeq} applies \textit{mutatis mutandis} to provide a lax-monoidal functor
\[
_{A'}\BLMod_{B'}(\Cc)^\otimes
\from
_A\BLMod_B(\Cc)^\otimes
\]
given informally by restriction of scalars along $f$ and $g$.
\end{construction}
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%%%%%
\section{\texorpdfstring{$\LM$}{LM}-algebras and \texorpdfstring{$\LM$}{LM}-monoidal pairings}%%%%%%%%%%%%%%
\label{sec:LM_monoidal_pairings}%%%%
%%%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
% \input{LM_pairings.tex}
In this section we collect a few preliminaries in preparation for \cref{SectionKoszLM}.
%%%%%%%%%%
\subsection{\texorpdfstring{$\LM$}{LM}-monoidal $\infty$-categories and \texorpdfstring{$\LM$}{LM}-algebras}
We review $\LM$-monoidal $\infty$-categories, mainly in order to fix the notation.
The $\infty$-operad
$\LM^\otimes \to \Fin_*$
is constructed in ~\cite[def. 4.2.1.7]{HA}.
We denote the two objects of the underlying category $\LM^\otimes_{\angled{1}}$ by $\a,\m$.
An $\LM$-monoidal category $\C^\otimes$ is a coCartesian fibration $\C^\otimes \to \LM^\otimes$ of $\infty$-operads (see~\cite[def. 2.1.2.13]{HA}).
Following~\cite[sec. 4.2.1]{HA} we denote:
\begin{align*}
\C^\otimes_\a := \C^\otimes \times_{\LM^\otimes} \Ass ,
\quad \C_\a := \C^\otimes \times_{\LM^\otimes} \set{\a},
\quad \C_\m := \C^\otimes \times_{\LM^\otimes} \set{\m}.
\end{align*}
Note that
$\C^\otimes_\a \fib \Ass$
defines a monoidal structure on the $\infty$-category $\C_\a$ (see~\cite[rem. 4.2.1.10]{HA}).
Following~\cite[def. 4.2.1.19]{HA} we say that $\C^\otimes \to \LM^\otimes$ \emph{exhibits $\C_\m$ as left tensored over $\C_\a$}.
We denote the $\infty$-category of $\LM$-algebras in $\C$ by $\LMod(\C) = \Alg_{/\LM}(\C)$.
Explicitly, an object $X\in \LMod(\C)$ is a map of $\infty$-operads
\[
\LM^\otimes \to \C^\otimes
\]
over $\LM^\otimes$.
Precomposition with the inclusion $\Ass \to \LM^\otimes$ defines a functor
\[
\LMod(\C) \to \Alg(\C_\a).
\]
Given an algebra $A\in \Alg(\C_\a)$ we define the $\infty$-category $\LMod_A(\C_\m)$
of \emph{$A$-modules in $\C_\m$} as the fiber of
\[
\LMod(\C) \to \Alg(\C_\a)
\]
over $A$.
We call an object of $\LMod_A(\C_\m)$ a left \emph{$A$-module} in $\C_\m$. Given an $\LM$-algebra $X\in \LMod(\C)$, we denote by $X_\a \in \Alg(\C_\a)$ its image under
\[
\LMod(\C) \to \Alg(\C_\a)
\]
(so $X$ is a left $X_\a$-module) and we denote by $X_\m \in \C_\m$ the object corresponding to
\[
\set{\m} \to \LM^\otimes \xto{X} \C.
\]
% \subsection{$\LM$-algebras in $\BLMod_A(\C)$}
Let $\C^\otimes$ be an $\LM$-monoidal $\infty$-category and $A\in \Alg(\C_\a)$ an algebra. The $\infty$-category
\[
\Alg(\BLMod_A(\C)_\a) = \Alg( \BMod{A}{A}(\C_\aA) )
\]
of algebras in $A$-$A$-bimodules is equivalent to the category \( {\Alg(\C_\aA)}_{A/} \) of algebras under $A$.
In view of this fact (under the assumption that $\C$ admits realizations of $A$-bar constructions $\otimes$-compatibly), the following proposition provides a concrete interpretation of an $\LM$-algebra in the $\LM$-monoidal category $\BLMod_A( \C)^\otimes$ as a pair consisting of an $A$-algebra $B$ in $\Cc_\aA$ and a left $B$-module in $\Cc_\mM$.
\begin{prop} \label{LModBLMod_as_PB}
Let $\C^\otimes$ be an $\LM$-monoidal $\infty$-category and $A\in \Alg(\C_\aA)$ an algebra.
Assume $\C$ admits realizations of $A$-bar constructions $\otimes$-compatibly.
Then we have a pullback square of $\infty$-categories
\[
\begin{tikzcd}
\LMod( \BLMod_A( \C) )
\ar{d}{\mathrm{fgt}} \ar{r} \pbcorner
&
\Alg( \BMod{A}{A}(\C_\aA) )
\ar{d}{\mathrm{fgt}}
\\
\LMod(\C) \ar{r} & \Alg(\C_\aA).
\end{tikzcd}
\]
\end{prop}
\begin{proof}
By~\cite[def. 4.2.1.13]{HA} the forgetful functors
\[
\LMod( \BLMod_A( \C) )
\to
\Alg( \BMod{A}{A}(\C_\aA) ) ,
\quad
\LMod(\C)
\to
\Alg(\C_\aA)
\]
are categorical fibrations.
Therefore it is enough to prove that for every
\[
B \in \Alg(\BMod{A}{A}(\Cc_\aA))
\]
the induced functor between the fibers
\begin{align}
\label{eq:fiber_funct}
\LMod_B ( \BLMod_A( \C)_\m ) \to \LMod_B(\C_\m)
\end{align}
is an equivalence (we abuse notation by writing $B$ again for the projection of $B$ to $\Alg(\C_\aA)$ along the forgetful functor).
This will follow from a simple application of the Lurie-Barr-Beck theorem (\cite[cor. 4.7.3.16]{HA}).
Consider the commuting square
\[
\begin{tikzcd}
\LMod_B(\BLMod_A(\C)_\m) \ar[d] \ar[r]
&
\LMod_B(\C_\m) \ar[d]
\\
\BLMod_A(\C)_\m = \LMod_A(\C_\m) \ar[r]
&
\C_\mM ,
\end{tikzcd}
\]
where the top horizontal functor is the induced functor~\eqref{eq:fiber_funct}.
The vertical functors
and the bottom horizontal functor
are monadic by~\cite[Lurie-Barr-Beck, thm. 4.7.3.5]{HA}, and in particular conservative right adjoints. Therefore the composition
\[
\LMod_B(\BLMod_A(\C))
\to
\LMod_A(\C_\m) \to \C_\mM
\]
is a conservative right adjoint functor, with a left adjoint
\[
\C_\mM \to \LMod_A(\C_\m)
\to
\LMod_B(\BLMod_A(\C)),
\quad
X \mapsto
A \otimes X \mapsto
B \otimes_A (A \otimes X).
\]
Note that the canonical map
\[
B \otimes_A (A \otimes X) \to B \otimes X
\]
is an equivalence in $\C_\mM$. Therefore by~\cite[cor. 4.7.3.16 and rem 4.7.3.17]{HA} the functor~\eqref{eq:fiber_funct} is an equivalence, as claimed.
\end{proof}
% \subsection{Left representable pairings}
\subsection{LM-monoidal pairings}\label{DualityFromPairing}
We review the notion of a left representable pairing of $\infty$-categories from \cite[sec. 5.2.1]{HA}.
A \emph{pairing} of $\infty$-categories is a right fibration
\[
\la \colon \M \to \C \times \D.
\]
Let $\chi \colon \C^{op} \times \D^{op} \to \Ss$ be the associated functor.
We can view $\chi$ also as a contravariant functor from $\C$ to presheaves on $\D$,
\[
\hat{\Ddual}_\lambda \colon \C^{op} \to \Psh(\D).
\]
An object $M\in \M$ over $(X,Y) \in \C \times \D$ is \emph{left universal} if it is a terminal object of the fiber $\M \times_{\C} \set{X}$ (see \cite[def. 5.2.1.8]{HA}).
We say that $M\in \M$ is a left universal lift of $X \in \C$.
We say that the pairing $\lambda$ is \emph{left representable} if every $X\in \C$ has a left universal lift\footnote{loc. cit.}.
If the pairing $\lambda$ is left representable then $\hat{\Ddual}_\lambda$ factors through the Yoneda embedding, and hence defines a functor\footnote{loc. cit.}
\[
\Ddual_\lambda \colon \C^{\op} \to \D.
\]
% see \cite[const. 5.2.1.9]{HA}.
We refer to $\D_\lambda \colon \C^{op} \to \D$ as the \emph{left duality functor} associated to $\lambda$.
Similarly, the pairing $\lambda$ defines a functor \( \hat{\Ddual}'_\lambda \colon \D^{op} \to \Psh(\C) \).
An object $M\in \M$ over $(X,Y)\in \C \times \D$ is \emph{right universal} if it is terminal in $\M \times_\D \set{Y}$.
A pairing is \emph{right representable} if every $Y\in \D$ has a right universal lift.
If the pairing $\lambda$ is right representable then $\hat{\Ddual}'_\lambda$ factors through the Yoneda embedding $\C \to \Psh(\C)$, and defines a \emph{right duality functor}
\[
\Ddual'_\lambda \colon \D^{op} \to \C.
\]
Moreover, if the pairing $\lambda$ is both left and right representable then the duality functors associated to $\lambda$ define an adjunction
\begin{align*}
\Ddual_\lambda^{op} \colon & \C \adj \D^{op} \noloc \Ddual'_\lambda , \\
\Map_{\D} ( Y, \Ddual_\lambda(X) ) \simeq & \chi(X,Y) \simeq \M \times_{\C \times \D} \set{(X,Y)} \simeq \Map_{\C} ( X, \Ddual'_\lambda(Y)).
\end{align*}
% \subsection{\texorpdfstring{$\LM$}{LM}-monoidal pairings.}
Our definition of ``$\LM$-monoidal pairing'' is a special case of~\cite[def. 5.2.2.20]{HA}
\begin{mydef}\label{monpair}
A pairing of $\LM$-monoidal $\infty$-categories, or simply an $\LM$-monoidal pairing,
is given by three $\LM$-monoidal categories $\C^\otimes,\D^\otimes,\M^\otimes$ and an $\LM$-monoidal functor
\[
\la \colon \M^\otimes \to \C^\otimes \times_{\LM^\otimes} \D^\otimes
\]
which is a categorical fibration (best understood using~\cite[cor. 2.4.6.5]{HTT})
and which induces right fibrations
\[
\la_\a \colon M_\a \to \C_\a \times \D_\a, \quad \la_\m \colon M_\m \to \C_\m \times \D_\m
\]
after taking the fibers over $\a, \m \in \LM^\otimes_{\angled{1}}$.
We define the \emph{associated monoidal pairing}
\[
\la_\a^\otimes \colon
\M_\a^\otimes \to \C_\a^\otimes
\times_{\Ass} \D_\a^\otimes
\]
by the pullback of $\la$ along $\Ass \to \LM^\otimes$. If the underlying pairings $\la_\a$, $\la_\m$ are both left representable, we say the monoidal pairing $\la$ is \emph{left representable}.
\end{mydef}
\begin{rem}
If the pairing $\la_\a$ is left representable, then the duality functor
\[
\Ddual_{\la_a} \colon \C_\a^\op \to \D_\a
\]
is lax monoidal.
We can therefore view $\D_\m$ as left tensored over $\C_\a^\op$ via $\Ddual_{\la_\a}$.
If in addition the pairing $\la_\m$ is left representable (so that in the terminology of \cref{monpair} $\la$ itself is left representable),
then the duality functor
\[
\Ddual_{\la_\m} \colon \C_\m^\op \to \D_\m
\]
is ``lax left tensored over $\C_\a^\op$'':
for every $x\in \C_\a, y\in \C_\m$ there exists a natural morphism in $\D_\m$
\[
\Ddual_{\la_\a}(x) \otimes \Ddual_{\la_\m}(y) \to \Ddual_{\la_\m} ( x \otimes y),
\]
and these morphisms are coherently compatible.
\end{rem}
% \la:
% \M^\otimes \to \C^\otimes \times_{\LM^\otimes} \D^\otimes
% \]
% with associated monoidal pairing
% \[
% \la_\aA^\otimes:
% \M_\aA^\otimes \to \C_\aA^\otimes
% \times_{\Ass} \D_\aA^\otimes
% \]
% and underlying pairings of $\infty$-categories
% \[
% \la_\aA:
% \M_\aA \to \C_\aA \times \D_\aA,
% \quad
% \la_\mM:
% \M_\mM \to \C_\mM \times \D_\mM.
% \]
Let
\[
\la \colon \M^\otimes \to \C^\otimes \times_{\LM^\otimes} \D^\otimes
\]
be an $\LM$-monoidal pairing.
By~\cite[rem. 5.2.2.26]{HA} $\la$ induces a pairing of $\infty$-categories
\begin{align*}
\LMod(\lambda) \colon \LMod(\M) \to \LMod(\C) \times \LMod(\D).
\end{align*}
The goal of \cref{SectionKoszLM} is to show that $\LMod(\la)$ is left representable (under suitable assumptions), and hence defines a duality functor
\[
\Ddual_{\LMod(\la)} \colon \LMod(\C)^\op \to \LMod(\D).
\]
% In other words, we will show that every object $X\in \LMod(\C)$ has a left universal lift, i.e. the $\infty$-category $\LMod(M) \times_{\LMod(\C)} \set{X}$ has a terminal object.
We will produce left universal lifts by studying $\LM$-monoidal pairings of bimodules.
% \begin{mydef}
% An object $M\in \LMod(\M)$ over $(X,Y)\in \LMod(\C)\times \LMod(\D)$ is a \emph{left universal object} if it is a terminal object of $\LMod(\M) \times_{\LMod(\C)} \set{X}$.
% We say that $M$ is a left universal lift of $X$.
% The pairing
% \[
% \LMod(\lambda) \colon \LMod(\M) \to \LMod(\C) \times \LMod(\D)
% \]
% is \emph{left representable} if every object $X\in \LMod(\C)$ has a left universal lift, i.e. the $\infty$-category $\LMod(M) \times_{\LMod(\C)} \set{X}$ has a terminal object.
% \end{mydef}
\subsection{$\LM$-monoidal pairings of bimodules}
Let $\lambda^\otimes \colon \M^\otimes \to \C^\otimes \times_{\LM^\otimes} \D^\otimes$ be an $\LM$-monoidal pairing,
and let $M\in \Alg(\M_\mM)$ be an object over $(A,B)\in \Alg(\C_\mM)\times \Alg(\D_\mM)$.
Assume $\M$ admits geometric realizations of $M$-bar constructions $\otimes$-compatibly, and similarly for $A$ and $B$.
By its functoriality, construction \ref{w9f2} gives rise to a map of $\LM$-monoidal $\infty$-categories
\[
\la_M^\otimes:
{\BLMod_{M}(\M)}^\otimes
\to
{\BLMod_{A}(\C)}^\otimes
\times_{\LM^\otimes} {\BLMod_{B}(\D)}^\otimes.
\]
However, in that construction we lose track of individual simplices.
Consequently, we are unable to tell if $ \la_M^\otimes$ is a categorical fibration.
Thus, a direct analog of~\cite[lem. 5.2.2.29]{HA} is lacking.
Instead, in \cref{BLMod_construction} we take a fibrant replacement of $\la^\otimes_M$ in the model category of preoperads.
\begin{prop} \label{BLMod_construction}
In the situation and the notation described above, let $M \in \Alg(\M_\mM)$ be an object over $(A,B)\in \Alg(\C_\mM)\times \Alg(\D_\mM)$.
Assume $\M$ admits realizations of $M$-bar constructions $\otimes$-compatibly, and similarly for $A $ and $B$.
Then there exists an $\LM$-monoidal pairing
\[
\tilde\lambda_M^\otimes \colon
\widetilde {\BLMod_{M}(\M)}^\otimes
\to
{\BLMod_{A}(\C)}^\otimes
\times_{\LM^\otimes} {\BLMod_{B}(\D)}^\otimes,
\]
and an equivalence of $\LM$-monoidal categories
\[
\tau \colon {\BLMod_{M}(\M)}^\otimes \iso
\widetilde {\BLMod_{M}(\M)}^\otimes
\]
such that $ \tilde\lambda_M^\otimes \circ \tau = \lambda_M^\otimes$.
\end{prop}
\begin{proof}
We let $\POp$ denote the category of $\infty$-preoperads of~\cite[def. 2.1.4.2]{HA} endowed with the model structure of~\cite[prop. 2.1.4.6]{HA}.
Given an $\infty$-operad $\Oo^\otimes$ we let $\Oo^{\otimes, \natural}$ denote the associated $\infty$-preoperad of~\cite[not. 2.1.4.5]{HA}.
We recall that the overcategory
${\POp}_{/\LM^{\otimes, \natural}}$
inherits a model structure in which weak equivalences, fibrations, and cofibrations are precisely the morphisms that become such after forgetting the morphism to $\LM^{\otimes, \natural}$.
Proposition 2.1.4.6 of \cite{HA} shows that the object
\begin{align*}
{\BLMod_A(\C)}^{\otimes, \natural}
& \times_{\LM^{\otimes, \natural}}
{\BLMod_B(\D)}^{\otimes, \natural} \\
&=
\left(
{\BLMod_A(\C)}^{\otimes}
\times_{\LM^{\otimes}}
{\BLMod_B(\D)}^{\otimes}
\right)^\natural
\to
\LM^{\otimes, \natural}
\end{align*}
of
${\POp}_{/\LM^{\otimes, \natural}}$
is fibrant.
We factor the induced map $\lambda_M^{\otimes, \natural}$ as
\[
{\BLMod_M(\M)}^{\otimes, \natural}
\xto{\tau}
X
\xto{\mu}
{\BLMod_A(\C)}^{\otimes, \natural}
\times_{\LM^{\otimes, \natural}}
{\BLMod_B(\D)}^{\otimes, \natural}
\]
where $\tau$ is a trivial cofibration and $\mu$ is a fibration.
Referring again to~\cite[prop. 2.1.4.6]{HA}, we find that there exists a fibration of $\infty$-operads $\tilde \lambda_M^\otimes$ as in the lemma such that $\mu$ is induced by a weak equivalence
\[
X \simeq {\widetilde\BLMod_M(\M)}^{\otimes, \natural}
\]
in ${\POp}_{/\LM^{\otimes, \natural}}$.
In fact, ${\widetilde\BLMod_M(\M)}^{\otimes}$ is obtained from $X$ simply by forgetting the marked edges.
We will not distinguish notationaly between
\[
\tau \colon {\BLMod_{M}(\M)}^\otimes \iso
\widetilde {\BLMod_{M}(\M)}^\otimes
\]
and the induced map on marked simplicial sets. Composing with $\tau$ we obtain a weak equivalence
\[
{\BLMod_M(\M)}^{\otimes, \natural}
\simeq
{\widetilde\BLMod_M(\M)}^{\otimes, \natural}.
\]
By~\cite[prop. 2.1.4.6]{HA}, the map $\tilde \lambda_M^\otimes$ is a categorical fibration.
We claim that $\tau$ induces an equivalence of $\LM^\otimes$-monoidal categories as in the lemma.
By~\cite[prop. 2.1.4.6]{HA} a fibrant object in ${(\POp)}_{/\LM^{\otimes,\natural}}$ is given by an $\infty$-operad $\Oo^\otimes$ and a categorical fibration
\[
\Oo^{\otimes, \natural} \fib \LM^{\otimes,\natural}.
\]
If $\Oo^\otimes$, $\Oo'^{ \otimes}$ are $\infty$-operads over $\LM^\otimes$ then the Kan complex
\[
\Map_{{(\POp)}_{/\LM^{\otimes,\natural}}}
(\Oo^{ \otimes, \natural},\Oo'^{ \otimes, \natural})
\]
is a model for the mapping space
$
\Map_{\mathrm{Op}_{\infty_{/\LM^\otimes}}}
(\Oo^{ \otimes},\Oo'^{ \otimes}).
$
Therefore, by the Yoneda lemma, a weak equivalence
\[
f \colon \Oo^{\otimes, \natural} \to \Oo'^{\otimes, \natural}
\]
in ${(\POp)}_{/\LM^{\otimes, \natural}}$ is induced by an equivalence of $\infty$-operads $f \colon \Oo^\otimes \iso \Oo'^\otimes$ over $\LM^\otimes$.
If $\Oo^\otimes$ is an $\LM$-monoidal category (i.e $\Oo^\otimes \fib \LM^\otimes$ is a coCartesian fibration), then by the abstract characterization of coCartesian edges~\cite[prop. 2.4.4.3]{HTT} we see that $\Oo'^\otimes \fib \LM^\otimes$ is also an $\LM$-monoidal category.
Our claim follows by taking $f=\tau$.
In particular, $\tau$ induces equivalences of underlying $\infty$-categories
\begin{align*}
\BMod{M}{M}(\M_\a) = {\BLMod_{M}(\M)}^\otimes_{\a} \iso
\widetilde {\BLMod_{M}(\M)}^\otimes_{\a}, \\
\LMod_{M}(\M_\m) = {\BLMod_{M}(\M)}^\otimes_{\m} \iso
\widetilde {\BLMod_{M}(\M)}^\otimes_{\m}.
\end{align*}
Taking fibers over the two colors of $\LM^\otimes$, it remains to show that associated maps
\begin{small}
\begin{align*}
\tilde \lambda_{M, \a}^\otimes & \colon
{\widetilde\BLMod_{M}(\M)}^\otimes_{\a} \to
{\BLMod_{A}(\C)}^\otimes_{\a} \times {\BLMod_{B}(\D)}^\otimes_{\a} = \BMod{A}{A}(\C_\a) \times \BMod{B}{B}(\D_\a), \\
\tilde \lambda_{M, \m}^\otimes & \colon
{\widetilde\BLMod_{M}(\M)}^\otimes_{\m} \to
{\BLMod_{A}(\C)}^\otimes_{\m} \times {\BLMod_{B}(\D)}^\otimes_{\m} = \LMod_{A}(\C_\m) \times \LMod_{B}(\D_\m)
\end{align*}
\end{small}
are right fibrations.
It suffices to show that the compositions
\begin{align*}
\BMod{M}{M}(\M_\a)
& \iso
{\widetilde\BLMod_{M}(\M)}^\otimes_{\a} \xto{\tilde \lambda_{M, \a}^\otimes}
\BMod{A}{A}(\C_\a) \times \BMod{B}{B}(\D_\a), \\
\LMod_{M}(\M_\m)
& \iso
{\widetilde\BLMod_{M}(\M)}^\otimes_{\m} \xto{\tilde \lambda_{M, \m}^\otimes}
\LMod_{A}(\C_\m) \times \LMod_{B}(\D_\m)
\end{align*}
obtained using the factorization of $\lambda^{\otimes,\natural}_M$ above, are right fibrations.
The first is a right fibration by the proof of~\cite[lem. 5.2.2.29]{HA}.
The second is a right fibration by the same argument \textit{mutatis mutandis}; we nevertheless give the details.
The various categories of algebras and left modules at play form a diagram as follows,
\[
\begin{tikzcd}[ampersand replacement=\&]
\LMod_M(\M_\m)
\ar[d]{}{} \ar[r]
\&
\LMod(\M)
\ar[dd] \ar[dr]
\\
\LMod_A(\C_\m) \times \LMod_B(\D_\m)
\ar[d] \ar[rr]
\&\&
\LMod(\C) \times \LMod(\D)
\ar[d]
\\
\set{*}
\ar[r]
\&
\Alg(\M_\a)
\ar[r]
\&
\Alg(\C_\a) \times \Alg(\D_\a)
\end{tikzcd}
\]
in which the lower and left rectangles are Cartesian.
Consequently, the induced square
\[
\begin{tikzcd}[ampersand replacement=\&,column sep=1em]
\LMod_M(\M_\m)
\ar[d]{}{} \ar[r]
\&
\LMod(\M)
\ar[d]{}{\theta}
\\
\LMod_A(\C_\m) \times \LMod_B(\D_\m)
\ar[r]
\&
\Alg(\M_\a)
\times_{\Alg(\C_\a)\times\Alg(\D_\a)}
\big(
\LMod(\C) \times \LMod(\D)
\big)
\end{tikzcd}
\]
is Cartesian.
We will show that $\theta$ is a right fibration.
Let $\theta'$ be the projection
\[
\Alg(\M_\a)
\times_{\Alg(\C_\a)\times\Alg(\D_\a)}
\big(
\LMod(\C) \times \LMod(\D)
\big)
\to
\LMod(\C) \times \LMod(\D).
\]
Since $\theta$ is a categorical fibration, it will suffice to show that $\theta$ and
\[
\theta \circ \theta' = \LMod{}{}(\lambda)
\colon
\LMod{}{}(\M) \to \LMod{}{}(\C)\times \LMod{}{}(\D)
\]
are right fibrations.
The map $\theta'$ is a pullback of
\[
\Alg(\lambda_\a)\colon
\Alg(\M_\a) \to \Alg(\C_\a)\times \Alg(\D_\a).
\]
We are therefore reduced to showing that $\Alg(\lambda_\a)$ and $\LMod{}{}(\lambda)$ are right fibrations.
To fix ideas, let us focus on the latter.
Let us denote
\[
\E^\otimes := \C^\otimes \times \D^\otimes \quad \text{and} \quad q:= \LMod{}{}(\lambda).
\]
Since $\lambda_\a$ is by assumption a categorical fibration, it follows that $\Alg(\lambda_\a)$ is an inner fibration, and hence that $\theta'$ is an inner fibration.
Since $\theta$ is an inner fibration as well, it follows that
\[
q: \LMod{}{}(\M) \to \LMod{}{}(\E)
\]
is an inner fibration.
According to~\cite[prop. 2.4.2.4]{HTT}, to show that $q$ is a right fibration we must check two properties:
\begin{itemize}
\item[(A)] for any morphism in $\LMod{}{}(\E)$, any lift of the target may be extended to a Cartesian lift of the morphism,
\item[(B)] every morphism in $\LMod{}{}(\M)$ is $q$-Cartesian.
\end{itemize}
Recall the characterization of a Cartesian edge as relative colimit from~\cite[ex. 4.3.1.4.]{HTT}.
We apply~\cite[cor. 3.2.2.3]{HA} with $\Oo^\otimes := \LM^\otimes$,
\[
p := \lambda \colon \M^\otimes \to \E^\otimes,
\]
and $K := \Delta^0$ (noting that the objects $X \in \Oo$ considered there have as two possible values the two colors $\a, \m$ of the $\infty$-operad $\LM^\otimes$).
The condition of the Corollary holds because of our assumption that $\lambda_\a$ and $\lambda_\m$ are right-fibrations, and the conclusions (1) and (2) of the Corollary imply the two properties (A), (B) as required.
\end{proof}
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%%%%%
\section{Koszul duality for \texorpdfstring{$\LM$}{LM}-monoidal pairings}%%%%%%%%%%%%%%
\label{SectionKoszLM}%%%%
%%%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
% \input{KoszulKoszulPairings.tex}
Let
\[
\la \colon \M^\otimes \to \C^\otimes \times_{\LM^\otimes} \D^\otimes
\]
be a left-representable $\LM$-monoidal pairing (\cref{monpair}).
Our goal in this section is to prove that under certain assumptions, the induced pairing
\[
\LMod(\la) \colon
\LMod(\M)
\to
\LMod(\C) \times \LMod(\D)
\]
is left representable (\cref{LM52227}) --- our analog of \cite[5.2.2.27]{HA}. An outline of the proof was already given in \S\ref{SectionOverview}. However, armed as we are now with the constructions of sections \ref{sec:External} and \ref{sec:LM_monoidal_pairings}, we can be more precise.
The proof revolves around the commutative diagram\footnote{in fact, we will modify this diagram using \cref{BLMod_construction} to ensure that the vertical maps are categorical fibrations}
\begin{equation*}
\begin{tikzcd}
\LMod(\BLMod_M(\M)) \ar[d] \ar[r] & \LMod(\M) \ar[d,"\LMod(\la)"] \\
\LMod(\BLMod_A(\C)) \times \LMod(\BLMod_\one(\D)) \ar[r] & \LMod(\C) \times \LMod(\D),
\end{tikzcd}
\end{equation*}
where $A=X_\a \in \Alg(\C_\a) $ is the underlying algebra of $X$ and $M\in \Alg(\M_\a)$ a lift of $(A,\one)$, whose existence requires further assumptions on the pairing $\la_\a$.\footnote{for example, the assumption that the unit object $\one \in \D_\a$ is terminal.}
We start by lifting $X\in \LMod(\C)$ to $X' \in \LMod(\BLMod_A(\C))$ using \cref{triv_BL_mod_lift}.
% (which is an easy task, since $A$ is the underlying algebra of $X$).
The advantage of $X'$ over $X$ is that its underlying algebra is the unit object of $\BMod{A}{A}(\C)$.
This makes it is easy to find a left universal lift $Z' \in \LMod(\BLMod_M(\M))$ of $X'$, provided that the underlying pairings of
\[
\BLMod_M(\M)^\otimes \to \BLMod_A(\C)^\otimes \times_{\LM^\otimes} \BLMod_\one(\D)^\otimes
\]
are left representable, see \cref{LM52228}.
Showing the left representability of these underlying pairings is the main step of the proof.
The left representability of
\[
\BMod{M}{M}(\M) \to \BMod{A}{A}(\C) \times \BMod{\one}{\one}(\D)
\]
was proved in \cite[lem. 5.2.2.40]{HA} using free resolutions of bimodules.
In \cref{LM52240} we use free resolutions of left modules to show the left representability of
\[
\LMod_{M}(\M) \to \LMod_{A}(\C) \times \LMod_{\one}(\D).
\]
To complete the proof we show that the forgetful functor
\[
\LMod(\BLMod_M(\M)) \to \LMod(\M)
\]
preserves left representable objects, see \cref{LM52230}.
Applying the forgetful functor to $Z'\in \LMod(\BLMod_M(\M))$ produces the desired left universal lift $Z\in \LMod(\M)$ of $X$.
% }
\subsection{Lifting left modules to left modules over algebras in bimodules}
Let $\C^\otimes \to \LM^\otimes$ be an $\LM$-monoidal category and $A\in \Alg(\C_\aA)$ an algebra.
Let $\BLMod_{A}(\C)$ be the $\LM$-monoidal category of \cref{w9f2}.
Consider the forgetful functor
\begin{align*}
\LMod(\BLMod_{A}(\C)) \to \LMod(\C).
\end{align*}
\begin{prop}
\label{triv_BL_mod_lift}
Assume $\C^\otimes$ admits realizations of $A$-bar constructions $\otimes$-compatibly.
% Consider the $\LM$-monoidal category $\BLMod_{A}(\C)$ together with the forgetful functor
% \begin{align*}
% \LMod(\BLMod_{A}(\C)) \to \LMod(\C).
% \end{align*}
Then every object $X\in \LMod(\C)$ over $A\in \Alg(\C_\aA)$ admits a lift to $\LMod(\BLMod_{A}(\C))$ over the trivial algebra $A\in \Alg(\BMod{A}{A}(\C_\aA))$.
\end{prop}
\begin{proof}
The statement immediately follows from \cref{LModBLMod_as_PB} using the universal property of the pullback
\[
\begin{tikzcd}
\ast \ar["X"', bend right]{ddr} \ar["A", bend left=10]{drr} \ar[dr, dashed,"\exists!"]
\\
& \LMod( \BLMod_A( \C) ) \ar{d}{\mathrm{fgt}} \ar{r} \pbcorner
& \Alg( \BMod{A}{A}(\C_\aA) ) \ar{d}{\mathrm{fgt}}
\\
& \LMod(\C) \ar{r} & \Alg(\C_\aA). \qedhere
\end{tikzcd}
\]
\end{proof}
\subsection{Koszul duals of modules over trivial algebras.}
The next proposition, which is analogous to~\cite[prop. 5.2.2.28]{HA}, concerns the special case of our Koszul duality in which the algebra in question is trivial. In \cref{LM52227} we apply this to an arbitrary module $(A,X)$ by regarding $A$ as the trivial algebra in the category of $A$-$A$-bimodules.
Thus, we will apply \cref{LM52228} to an $\LM$-monoidal pairing of the form
\[
\BLMod_M(\M)^\otimes \to
\BLMod_A(\C)^\otimes
\times_{\LM^\otimes} \BLMod_{\one}(\D)^\otimes
\simeq
\BLMod_A(\C)^\otimes
\times_{\LM^\otimes}
\D^\otimes.
\]
\begin{prop} \label{LM52228}
Let
\[
\la \colon \M^\otimes \to \C^\otimes \times_{\LM^\otimes} \D^\otimes
\]
be an $\LM$-monoidal pairing.
Assume the underlying pairings
\[
\la_\a \colon \M_\a \to \C_\a \times \D_\a
\quad \mbox{and} \quad
\la_\m \colon \M_\m \to \C_\m \times \D_\m
\]
are left representable.
Consider the induced pairing of $\infty$-categories
\[
\LMod(\lambda) \colon \LMod(\M) \to \LMod(\C) \times \LMod(\D).
\]
Let $A\in \Alg(\C_\a)$ be a trivial algebra object of $\C_\a$.
Then:
\begin{enumerate}
\item Every left $A$-module
$ X\in \LMod(\C) $
over
$ A \in \Alg(\C_\a) $
has a left universal lift, i.e a left universal object $Y\in \LMod(\M)$ over $X\in \LMod(\C)$.
\item Let $X\in \LMod(\C)$ be a left module over $A\in \Alg(\C_\a)$ and
let $Y\in \LMod(\M)$ be an object over $X$.
Then $Y\in \LMod(\M)$ is a left universal lift of $X$ if its images $Y_\m \in \M_\m, Y_\a \in \M_\a$ are left universal lifts of $X_\m \in C_\m,\, A\in \C_\a$ respectively.
\end{enumerate}
\end{prop}
\begin{proof}
We have to show that $\LMod(\M) \times_{\LMod(\C)} \set{X}$ has a terminal object, and that an object $Y\in \LMod(\M) \times_{\LMod(\C)} \set{X}$ is terminal if and only if the objects
$Y_\m \in \M_\m \times_{\C_\m} \set{X_\m}$ and $ Y_\a \in \M_\a \times_{\C_\a} \set{A} $ are terminal.
Consider $\M^\otimes, \C^\otimes$ and $\LM^\otimes$ as coCartisian fibrations over $\LM^\otimes$.
Since $A$ is a trivial algebra, the functor $X \colon \LM^\otimes \to \C^\otimes$ carries coCartesian edges to coCartesian edges.
Define $\N^\otimes \to \LM^\otimes$ as the pullback
\[
\begin{tikzcd}
\N^\otimes \pbcorner \ar[d] \ar[r] & \M^\otimes \ar[d] \\
\LM^\otimes \ar[r, "X"] & \C^\otimes
\end{tikzcd}
\]
in ${(\Cat_{\infty})}^{coCart}_{/\LM^\otimes}$ (\cref{lbl2}).
Verification of the Segal conditions, which is straightforward, shows that $\N^\otimes \to \LM^\otimes$ is an $\LM$-monoidal category.
Note that the $\infty$-category $\N^\otimes$ is equivalent to the fibered product $\M^\otimes \times_{\C^\otimes} \LM^\otimes$, since the forgetful functor
\[
{(\Cat_\infty)}^{coCart}_{/\LM^\otimes} \to \Cat_\infty
\]
preserves limits (see \cref{lbl3.1}).
Unwinding definitions, we find that we have equivalences
\[
\LMod(\N) \= \LMod(\M) \times_{\LMod(\C)} \set{X} , \quad
\N_\a \= \M_\a \times_{\C_\a} \set{A}, \quad
\N_\m \= \M_\m \times_{\C_\m} \set{X_\m}.
\]
The categories $\N_\a \= \M_\a \times_{\C_\a} \set{A}$ and $\N_\m \= \M_\m \times_{\C_\m} \set{X_{\m}}$ each possess a terminal object by assumption.
Since the forgetful functor preserves and reflects limits \cite[cor. 3.2.2.5 applied with $K=\emptyset$]{HA}, $\LMod(\N)$ has a terminal object,
and, moreover, $Y\in \LMod(\N)$ is terminal if and only if
the underlying objects $Y_\m \in \M_\m \times_{\C_\m} \set{X_\m}$ and $ Y_\a \in \M_\a \times_{\C_\a} \set{A} $ are both terminal objects, as claimed.
\end{proof}
\subsection{Left representability for left modules}
\label{sec:left_rep_for_left_mod}
Let
\[
\la \colon
\M^\otimes \to
\Cc^\otimes \times_{\LM^\otimes}
\D^\otimes
\]
be an $\LM$-monoidal pairing and $M \in \Alg \M_\a$ be an algebra over
\[
(A,B) \in \Alg(\C_\a) \times \Alg(\D_\a).
\]
Consider the $\LM$-monodial pairing
\[
\tilde\la_M^\otimes \colon
\widetilde{\BLMod}_M(\M)^\otimes \to \BLMod_A(\C)^\otimes \times \BLMod_B(\D)^\otimes
\]
of \cref{BLMod_construction}.
Our next goal is to show that the underlying pairings of $\tilde\la_M^\otimes$ are left representable (see \cref{LM52240}).
We will need the following statement, which is an addendum to~\cite[lem. 5.2.2.32]{HA}.
%%%%
\begin{lem} \label{LM52232}
In the situation and the notation above, assume that $B$ is a trivial algebra, that $\M$ admits realizations of $M$-bar constructions $\otimes$-compatibly, and that $\C$ admits realizations of $A$-bar constructions $\otimes$-compatibly. Let
\[
F \colon \M_\mM \to \LMod_M (\M), \quad F \colon X \mapsto M \otimes X
\]
be a left adjoint to the forgetful functor. Then $F$ carries left universal objects of $\M_\mM$ with respect to the pairing of $\infty$-categories
\[
\lambda_\mM \colon \M_\mM \to \C_\mM \times \D_\mM
\]
to left universal objects of $\LMod_M(\M)$ with respect to the pairing of $\infty$-categories
\[
{(\lambda_M)}_\m \colon \LMod_M(\M) \to \LMod_A(\C) \times \LMod_B(\D).
\]
\end{lem}
The proof will require the following categorical lemma.
\begin{lem} \label{PullbackAdjunctionLemma}
Let
\[
\begin{tikzcd}
\overline{\C} \ar[r,"\overline{F}"] \ar[d,"p"] & \overline{\D} \ar[d,"q"] \\
\C \ar[r,"F"] & \D
\end{tikzcd}
\]
be a commutative diagram of $\infty$-categories.
Assume that $p,q$ are Cartesian fibrations, and that $F,\overline{F}$ have right adjoints $F \dashv U, \, \overline{F} \dashv \overline{U}$ such that $p\circ \overline{U} = U \circ q$.
Let $X\in \C$ be an object, and denote the fiber of $p$ over $X$ by $\overline{\C}_{X}$
and the fiber of $q$ over $FX$ by $\overline{\D}_{FX}$.
Then the restriction of $\overline{F}$ to the fibers over $X$ and $FX$,
\[
\overline{F}_X \colon \overline{\C}_X \to \overline{\D}_{FX} ,
\]
has a right adjoint given by the composition
\[
\overline{\D}_{FX} \xto{\overline{U}_{FX}} \overline{\C}_{UFX} \xto{\eta^*_X} \overline{\C}_X,
\]
where $\eta^*_X$ is the functor induced by the Cartesian fibration $p$ and the unit map $\eta_X \colon X \to UFX$.
\end{lem}
\begin{proof}
With $\overline X \in \overline \C_X$ and $\overline Y \in \ol \D_{FX}$ fixed, an elementary calculation with adjoints and Cartesian fibrations yields a homotopy equivalence of mapping spaces
\[
\tag{*}
\Map_{\overline \C_X} (\ol X, \eta_X^* \ol U_{FX} \ol Y)
\simeq
\Map_{\ol \D_{FX}}(F \ol X, \ol Y).
\]
A straightforward but tedious construction, based, for instance, on the twisted arrow category, upgrades (*) to an equivalence of coCartesian fibrations over $\ol \C_X^{op} \times \ol \D_{FX}$.
Alternatively (by interpreting $F$, $\ol F$ as a morphism of diagrams of $\infty$-categories), this is a special case of~\cite[prop. 2.1.7]{Arad}.
\end{proof}
\begin{proof}[Proof of \cref{LM52232}]
Let
\[
F' \colon \C_\mM \to \LMod_A(\C), \quad
F'' \colon \D_\mM \to \LMod_B(\D)
\]
be left adjoints to the forgetful functors
\[
G' \colon \LMod_A(\C) \to \C_\mM, \quad
G'' \colon \LMod_B(\D) \to \D_\mM.
\]
Modifying $F$ by a homotopy if necessary, we may assume that the diagram
\[
\begin{tikzcd}
\M_\mM \ar[r,"F"] \ar[d] & \LMod_M(\M) \ar[d] \\
\C_\mM \times \D_\mM \ar[r,"F' \times F''"] & \LMod_A(\C) \times \LMod_B(\D)
\end{tikzcd}
\]
is commutative.
For each
$X \in \C_\mM$, $F$ induces a functor
\begin{align*}
f \colon \M_\mM \times_{\C_\mM} \set{X}
\to
\LMod_M(\M) \times_{\LMod_A(\C)} \set{F'(X)},
\quad &
f \colon Z \mapsto M \otimes Z.
\end{align*}
We have to show that $F$ preserves left universal objects over $X$, or equivalently that $f$ preserves terminal objects.
We will show that $f$ is an equivalence of $\infty$-categories.
By \cref{PullbackAdjunctionLemma}, the functor $f$ has a right adjoint $g$, given by the composition
\[
g \colon
\LMod_M(\M) \times_{\LMod_A(\C)} \set{F'(X)}
\to
\M_\mM \times_{\C_\mM} \set{G' F' X}
\xto{\eta^*_X}
\M_\mM \times_{\C_\mM} \set{X}
\]
of the forgetful functor and the functor $\eta^*_X$ induced by the unit map $\eta_X \colon X \to G' F' X$.
We claim that the unit and counit of $f \dashv g$ are both natural equivalences.
Let $u \colon id \to g \circ f$ be the unit map of $f \dashv g$.
For every object
$
Z \in \M_\mM \times_{\C_\mM} \set{X}
$
with image $Y\in \D_\mM$, the unit map $u_Z \colon Z \to (g\circ f)(Z)$ has image in $\D_\mM$ equivalent to the unit map
\[
Y \to (G'' \circ F'') (Y) \simeq B \otimes Y.
\]
Since $B$ is a trivial algebra, the
latter is an equivalence.
Since $\M_\mM \times_{\C_\mM} \set{X} \to \D_\mM$ is a right fibration it follows from~\cite[prop. 2.1.1.5]{HTT} that $u_Z$ is an equivalence.
The same argument shows that the counit of $f \dashv g$ is an equivalence, proving our claim.
\end{proof}
With \cref{LM52232} at hand, we return to showing that the underlying pairings of $\tilde\la_M^\otimes$ are left representable.
This statement is an addendum to~\cite[lem. 5.2.2.40]{HA}.
\begin{prop} \label{LM52240}
Let $M\in \Alg(\M_\aA)$ be an object over $(A,B)\in \Alg(\C_\aA)\times \Alg(\D_\aA)$ and assume $\M$ admits realizations of $M$-bar constructions $\otimes$-compatibly, and similarly for $A$ and $B$.
Assume in addition that:
\begin{enumerate}
\item The object $B\in \Alg(\D_\aA)$ is a trivial algebra.
\item The underlying pairings $\la_\aA, \la_\mM$ are left representable.
\item The $\infty$-categories $\D_\aA, \D_\mM$ admit totalizations of cosimplicial objects.
\end{enumerate}
Then the induced pairings of $\infty$-categories
\begin{align*}
{(\lambda_M)}_\a & \colon \BMod{M}{M}(\M) \to \BMod{A}{A}(\C) \times \BMod{B}{B}(\D) , \\
{(\lambda_M)}_\m & \colon \LMod_{M}(\M) \to \LMod_{A}(\C) \times \LMod_{B}(\D)
\end{align*}
are both left representable.
\end{prop}
\begin{proof} % [Proof of \cref{LM52240}]
The right fibration ${(\lambda_M)}_\a$ is left representable by~\cite[prop. 5.2.2.40]{HA}.
We will prove that ${(\lambda_M)}_\m$ is left representable.
Our proof rests on the following facts:
\begin{enumerate}
\item~\cite[ex. 4.7.2.5]{HA}: Let
$ U \colon \LMod_A(\C_\m) \to \C_\m $
be the forgetful functor and let $X_\bullet\in \LMod_A(\C)$ be a $U$-split simplicial object.
Then $X_\bullet$ admits a colimit in $\LMod_A(\C)$ which is preserved by $U$.
\item~\cite[cor. 4.7.2.11]{HA}: Let \( q \colon \overline{\C} \to \C \) be a right fibration of $\infty$-categories and $X_\bullet$ a simplicial object of $\overline{\C}$.
If $q(X_\bullet)$ is split in $\C$ then $X_\bullet$ is split in $\overline{\C}$.
\end{enumerate}
Fix an object $X \in \LMod_A(\C)$. Let
\[
U_A \colon \LMod_A(\C_\m) \to \C_\mM
\]
denote the forgetful functor and $f$ its left adjoint.
By Lurie-Bar-Beck~\cite[thm. 4.7.3.5]{HA}, the functor $U_A$ exhibits \( \LMod_A(\C) \) as monadic over $\C_\mM$.
Invoking~\cite[prop. 4.7.3.14]{HA} we deduce that there exists a $U_A$-split simplicial object (in the sense of \cite[def 4.7.2.2]{HA}):
\begin{equation*}
\begin{tikzcd}[column sep=tiny]
\Delta_{+}^{op} \ar[d] \ar[r,equal,"\sim"] & (\Delta^{op})^\triangleright \ar[r,"{\overline{X}_\bullet}"] &[2em] \LMod_A(\C) \ar[d,"U_A"] \\
\Delta_{-\infty}^{op} \ar[rr] & & \C_\m
\end{tikzcd}
\end{equation*}
such that $\overline{X}_{-\infty} = X$ and $\overline X_\bullet$ is a colimit diagram witnessing an equivalence $X \simeq \colim X_\bullet $ between $X$ and the colimit of $X_\bullet := \overline{X}|_{\Delta^{op}_+}$,
and such that each $X_n \in \LMod_A(\C), \, n \neq -\infty$, belongs to the essential image of the functor $f$ (i.e. $X_\bullet$ is a free resolution of $X\in \LMod_A(\C)$).
The pairing ${(\lambda_M)}_\m$ is classified by functors
\begin{align*}
\chi \colon {\LMod_B(\D)}^{op} \to \PSh(\LMod_A(\C)) , \quad \chi \colon Y \mapsto \chi_Y \\
\chi' \colon {\LMod_A(\C)}^{op} \to \PSh(\LMod_B(\D)) , \quad \chi' \colon X \mapsto \chi'_X.
\end{align*}
In particular, $\chi_Y$ is classified by the right fibration
\begin{align}\label{chi_Y_right_fib}
(\lambda_M)_Y \colon \LMod_M(\M) \times_{\LMod_B(\D)} \set{Y} \to \LMod_A(\C) \times \set{Y}.
\end{align}
We claim that the augmented cosimplicial diagram
\begin{align} \label{Xop_ch'}
\Delta_{+} \xto{X_\bullet^{op}} {\LMod_A(\C)}^{op} \xto{\chi'} \PSh(\LMod_B(\D))
\end{align}
is a colimit diagram, witnessing an equivalence of presheaves
\begin{align}
\chi'_X \iso \invlim \chi'_{X_\bullet}.
\end{align}
Before establishing this claim, we explain how the proposition follows from the claim. We wish to prove that $\chi'_X$ is representable. Since $\D$ admits totalizations of cosimplicial objects, it is enough to show that each $\chi'_{X_n}$ is representable, which follows from condition (2) together with \cref{LM52232}.
To establish the claim, it will suffice to check that
for arbitrary $Y\in \LMod_B(\D)$
the induced map
\[
\chi'_X (Y) \to \invlim \chi'_{X_\bullet}(Y)
\]
is a homotopy equivalence.
Since \( \chi_Y(X) \) and \(\chi'_X(Y) \) are both equivalent to the fiber of ${(\lambda_M)}_\m$ over $(X,Y)$, we may equally show that
\begin{align} \label{resolution_comparison_map}
\chi_Y(X) \to \invlim \chi_Y (X_\bullet)
\end{align}
is a homotopy equivalence of spaces.
Therefore we fix $Y\in \LMod_B(\D)$ for the rest of the proof.
We will prove that \cref{resolution_comparison_map} is a homotopy equivalence using~\cite[prop 5.2.2.39]{HA}, which requires some preparation.
Write $Y_\m\in \D_\m$ for the image of $Y$ under the forgetful functor $\LMod_B(\D) \to \D_\m$.
We first construct an $\LM$-monoidal $\infty$-category $\M_Y$ exhibiting $\M_\m \times_{\D_\m} \set{Y_\m}$ as left tensored over $\M_\a \times_{\D_\a} \set{B}$.
% First, since $B$ is a trivial algebra we have an equivalence of $\infty$-categories
% \begin{align*}
% \LMod_B(\D) \iso \D ,
% \end{align*}
% see~\cite[prop 4.2.4.9]{HA}.
% Choose a lift $\overline{Y}\in \LMod_B(\D)$
% \footnote{ID: there seems to be a mistake here: $Y$ is already $\in \LMod_B(\Dd)$. I'm skipping the rest of this proof for now.}
% of $Y\in \D$.
% Consider the $\LM$-monoidal category $\D^\otimes \times_{\Ass} \LM^\otimes$ exhibiting $\D$ as left tensored over itself (see~\cite[ex. 4.2.1.16]{HA}).
Let $\M^\otimes_Y$ % \to \LM^\otimes$
be the pullback
\begin{equation*}
\begin{tikzcd}
\M_Y^\otimes \ar[d] \ar[r] \pbcorner & \M^\otimes \ar[d] \\
\LM^\otimes \ar[r,"Y"] & \D^\otimes.
\end{tikzcd}
\end{equation*}
% of the $\LM$-monoidal functor $\M^\otimes \to \D^\otimes \times_{\Ass} \LM^\otimes$ along $\sigma_{B,Y}$.
% The left $B$-module $Y$ defines an $\LM$-monoidal functor $\sigma_{Y} \colon \LM^\otimes \to \D^\otimes$.
Since $B$ is a trivial algebra we see that $\M^\otimes_Y \to \LM^\otimes$ is a coCartesian fibration.
%, exhibiting $\M_\a \times_{\D_\a} \set{Y_\a}$ as left tensored over $\M_\a \times_{\D_\a} \set{B}$.
Also, note that the horizontal top morphism $\M_Y \to \M$ is an $\LM$-monoidal functor.
Next we express the source of \eqref{chi_Y_right_fib} as a category of left modules in $\M_Y$.
Regard $M$ as an algebra in $(\M_Y)_\a \simeq \M_\a \times_{\D_\a} \set{B}$, and consider the $\infty$-category
\begin{align*}
\LMod_M(\M_Y)
\simeq
\LMod_M(\M) \times_{\LMod_B(\D)} \set{Y}.
\end{align*}
% Consider the $\infty$-category
% \begin{align*}
% \LMod_M \left( \M_Y )
% \simeq
% \LMod_M(\M) \times_{\LMod_B(\D)} \set{Y},
% \end{align*}
% where we regard $M$ as an algebra in $\M_\a \times_{\D_\a} \set{B}$.
% Consider $M$ as an algebra in $\M_\a \times_{\D_\a} \set{B}$.
% Define
% \begin{align*}
% \N :=
% \LMod_M \left( \M \times_{\D} \set{Y} \right)
% \simeq
% \LMod_M(\M) \times_{\LMod_B(\D)} \set{\overline{Y}}.
% \end{align*}
We have a commuting square
\begin{align*}
\begin{tikzcd}[ampersand replacement=\&]
\LMod_M(\M_Y) \ar[d,"q"] \ar[r,"U_{\M_Y}"] \& \M_\m \times_{\C_\m} \set{Y_\m} \ar[d,"q'"] \\
\LMod_A(\C) \ar[r,"U_A"] \& \C_\m
\end{tikzcd}
\end{align*}
where
\begin{align*}
U_{\M_Y} \colon \LMod_M (\M_Y) \to (\M_Y)_\m = \M_\m \times_{\D_\m} \set{Y_\m}
% U_{\M_Y} \colon \LMod_M(\M_Y) = \LMod_M \left( \M \times_{\D} \set{Y} \right) \to \M \times_{\D} \set{Y}
\end{align*}
is the forgetful functor,
and $q', q$ are the compositions
\begin{align*}
& q' \colon \M_\m \times_{\C_\m} \set{Y_\m} \to \M_\m \xto{\lambda_\m} \C_\m \times \D_\m \to \C_\m , \\
& q \colon \LMod_M(\M_Y) \to \LMod_M(\M) \xto{{(\lambda_M)_\m}} \LMod_A(\C) \times \LMod_B(\C) \to \LMod_A(\C).
\end{align*}
Moreover, the right fibration $q$ is equivalent to the right fibration $(\lambda_M)_Y$ of~\eqref{chi_Y_right_fib} and hence classifies the presheaf $\chi_Y$.
To see this, consider the following diagram:
\begin{equation*}
\begin{tikzcd}
\LMod_M(\M_Y) \ar[d,"(\lambda_M)_Y"] \ar[r] \pbcorner & \LMod_M(\M) \ar[d,"(\lambda_M)_\m"] \\
\LMod_A(\C) \times \set{Y} \pbcorner \ar[d] \ar[r] & \LMod_A(\C) \times \LMod_B(\D) \ar[d] \ar[r] & \LMod_A(\C) \\
\set{Y} \ar[r] & \LMod_B(\D).
\end{tikzcd}
\end{equation*}
and note that the composition of the middle row is the identity, and that $q$ is given by the composition of the top path from $\LMod_M(\M_Y)$ to $\LMod_A(\C)$.
We are therefore in the situation of~\cite[cor. 5.2.2.39]{HA}, i.e. the following conditions are equivalent:
\begin{enumerate}
\item The map~\eqref{resolution_comparison_map} is a homotopy equivalence.
\item For every simplicial object $N_\bullet$ in $\LMod_M(\M_Y)$ making the following solid diagram commute
\[
\begin{tikzcd}
\Delta^{op} \ar[d] \ar[r]{}{N_\bullet} & \LMod_M(\M_Y) \ar[d]{}{q} \\
(\Delta^{op})^{\triangleright} \ar[ru, dashed]{}{\exists N^+_\bullet} \ar[r]{}{\ol{X}_\bullet} & \LMod_A(\C)
\end{tikzcd}
\]
there exists an extension to a $q$-colimit diagram $N^+_\bullet$ as indicated.
Equivalently (since $\ol{X}_\bullet$ itself is a colimit diagram) there exists a geometric realization $|N_\bullet|$ which is preserved by the forgetful functor $q$.
\end{enumerate}
Observe that $U_{\M_Y}(N_\bullet)$ is a simplicial object in $\M_\m \times_{\C_\m} \set{Y_\m}$ and the functor $q' \colon \M_\m \times_{\C_\m} \set{Y_\m} \to \C_\m$ is a right fibration.
Since the image
\[
q'(U_{\M_Y}(N_\bullet)) = U_A ( q(N_\bullet)) = U_A(X_\bullet|_{\Delta^{op}})
\]
is a split simplicial object and $q'$ is a right fibration, it follows from~\cite[cor. 4.7.2.11]{HA} that $U_{\M_Y}(N_\bullet)$ is a split simplicial object in $\M \times_{\C} \set{Y}$.
We therefore have a $U_{\M_Y}$-split simplicial object $N_\bullet$ of
\[
\LMod_M(\M_Y)= \LMod_M \left( \M \times_{\D} \set{Y} \right),
\]
so~\cite[ex. 4.7.2.5]{HA} implies that $N_\bullet$ admits a colimit in $\LMod_M(\M_Y)$ which is preserved by $U_{\M_Y}$.
We claim that the colimit of $\LMod_M(\M_Y)$ is preserved by $q$.
To see this, note that $U_{\M_Y}(N_\bullet)$ is split, so the colimit of $N_\bullet$ is preserved by $ U_{\M_Y} \circ q' = q \circ U_A$.
Applying~\cite[cor. 4.7.2.11]{HA} again, we conclude that the colimit of $N_\bullet$ is preserved by the right fibration $q$.
It follows that the augmented cosimplicial diagram~\eqref{Xop_ch'} is a colimit diagram, as claimed. This completes the proof of the proposition.
\end{proof}
\subsection{Forgetting left module structures and left universal objects}
Let $\C^\otimes$ be an $\LM$-monoidal category and let $A$ be an algebra in $\C_\aA$.
Assume $\C^\otimes$ admits realizations of $A$-bar constructions $\otimes$-compatibly.
Then the unit map $ \one \to A $ gives rise to a lax $\LM$-monoidal map of $\LM$-monoidal categories
\[
\BLMod_A(\C)^\otimes \to
\BLMod_\one(\C)^\otimes \simeq
\C^\otimes
\]
(\cref{w9f2}), hence to a functor
\[
\LMod\left(\BLMod_A(\C)\right)
\to
\LMod(\C)
\]
which corresponds under the equivalence of \cref{LModBLMod_as_PB} to forgetting $A$.
We return to the situation of \cref{sec:left_rep_for_left_mod}
given by al $\LM$-monoidal pairing
\[
\lambda^\otimes \colon \M^\otimes
\to
\C^\otimes \times_{\LM^\otimes} \D^\otimes,
\]
and an algebra $M\in \Alg(\M_\aA)$ over algebras $(A,B)\in \Alg(\C_\aA)\times \Alg(\D_\aA)$. Assume $\M$ admits realizations of $M$-bar constructions $\otimes$-compatibly, and similarly for $A$.
Applying functorial fibrant replacement in the model category ${\POp}_{/\LM^{\otimes, \natural}}$ of $\infty$-preoperads over
$\LM^{\otimes, \natural}$
as in the proof of \cref{BLMod_construction}, we obtain an equivalence of $\LM$-monoidal pairings
\[
\begin{tikzcd}
\M^\otimes \ar[rr, "\simeq"]
\ar[dr]
&& \widetilde \M^\otimes
\ar[dl]
\\
&\C^\otimes \times_{\LM} \D^\otimes
\end{tikzcd}
\]
(in the sense of~\cite[Construction 5.2.1.14]{HA}) and a functor
\[
\widetilde
{\BLMod_M(\M)}^\otimes
\to
\widetilde \M^\otimes,
\]
giving rise to a morphism of pairings
\[
\begin{tikzcd}
\LMod \left(\widetilde{\BLMod_M(\M)} \right)
\ar[r] \ar[d]
&
\LMod (\widetilde{\M} )
\ar[d]
\\
\LMod \left( \BLMod_A(\C) \right)
\times
\LMod \left( \BLMod_B(\D) \right)
\ar[r]
&
\LMod(\C)
\times
\LMod(\D).
\end{tikzcd}
\]
The following proposition, concerning this map of pairings, mirrors~\cite[prop. 5.2.2.30]{HA}.
\begin{prop} \label{LM52230}
Let $M \in \Alg(\M_\aA)$ be an object over $(A,B)\in \Alg(\C_\aA)\times \Alg(\D_\aA)$.
Assume that $B\in \Alg(\D_\aA)$ is a trivial algebra.
Assume $\M$ admits realizations of $M$-bar constructions $\otimes$-compatibly, and similarly for $A$.
Assume that for every $C \in \C_\aA$, the Kan complex
\[
\lambda_\aA^{-1} \set{ (C, B) } \subseteq \M
\]
is contractible.
Then (with tilde denoting functorial fibrant replacement in the model category of $\infty$-preoperads as above) the forgetful functor
\[
\LMod \left(\widetilde{\BLMod_M(\M)} \right) \to \LMod (\widetilde{\M} )
\]
carries left universal objects to left universal objects.
\end{prop}
\begin{proof}
In order to lighten notation, we drop the tildes throughout the proof. Let $X\in \LMod( \BLMod_A(\C))$ and let $X_0 \in \LMod(\C)$ be its image under the forgetful functor
\(
\LMod \left( \BLMod_A(\C) \right) \to \LMod( \C ).
\)
Consider the commutative diagram
\[
\begin{tikzcd}
\LMod \left( \BLMod_M(\M) \right) \times_{\LMod(\BLMod_A(\C))} \set{X} \ar{r} \ar[d] & \LMod ( \M ) \times_{\LMod(\C)} \set{X_0} \ar[d] \\
\LMod \left( \BLMod_B(\D) \right) \times \set{X} \ar[r] & \LMod_B ( \D ) \times \set{X_0}.
\end{tikzcd}
\]
We have to show that the top horizontal functor preserves terminal objects.
We will show it is an equivalence.
Since $B\in \Alg(\D_\aA)$ is a trivial algebra, the bottom horizontal map is an equivalence.
Since the vertical maps are right fibrations, it will suffice to show that for each $Y \in \LMod (\BLMod_B(\D))$ with image $Y_0 \in \LMod_B(\D)$, the induced map
\begin{align}
\label{LM30_induced_map}
\begin{tikzcd}
\LMod \left( \BLMod_M(\M) \right) \times_{\LMod(\BLMod_A(\C)) \times \LMod(\BLMod_B(\D))} \set{(X,Y)} \ar{d} \\
\LMod ( \M ) \times_{\LMod(\C) \times \LMod(\D)} \set{(X_0,Y_0)}
\end{tikzcd}
\end{align}
is a homotopy equivalence.
We leverage Lurie's proof of~\cite[prop. 5.2.2.30]{HA} to verify this claim.
By \cref{LModBLMod_as_PB} we have an equivalence of $\infty$-categories
\[
\LMod(\BLMod_A(\C)) \simeq
\LMod(\C) \times_{\Alg(\C_\aA)} {\Alg(\C_\aA)}_{A/},
\]
and similarly for $\LMod(\BLMod_B(\D))$ and $\LMod(\BLMod_M(\M))$.
Let
\[
A' \in {\Alg(\C_\aA)}_{A/}, \quad B' \in {\Alg(\D_\aA)}_{B/}
\]
be the images of
\[
X \in \LMod(\C) \times_{\Alg(\C_\aA)} {\Alg(\C_\aA)}_{A/}, \quad Y \in \LMod(\D) \times_{\Alg(\D_\aA)} {\Alg(\D_\aA)}_{B/},
\]
respectively, and let \( A'_0 \in \Alg(\C_\aA), \, B'_0 \in \Alg(\D_\aA) \) be the images of $A',B'$, respectively.
Thus for instance,
\[
A' = (A \to A_0')
\]
is an $A$-algebra, and $X_0$ records the action of $A_0'$ on a left module.
With this notation, we can identify the domain of~\eqref{LM30_induced_map} with the pullback of the diagram
\[
\begin{tikzcd}
& \LMod(\M) \times_{\Alg(\M_\aA)} \Alg(\M_\aA)_{M/}
\ar{d}
\\
\set{(X',Y')} \ar{r}
&
\left(\LMod(\C) \times_{\Alg(\C_\aA)} \Alg(\C_\aA)_{A/} \right) \times \left( \LMod(\D) \times_{\Alg(\D_\aA)} \Alg(\D_\aA)_{B/} \right).
\end{tikzcd}
\]
The above pullback may be constructed from the following nine-object diagram
\[
\begin{tikzcd}
\LMod(\M) \ar{d} \ar{r}
&
\Alg(\M_\aA) \ar{d}
&
\ar{l} \Alg(\M_\aA)_{M/} \ar{d}
\\
\LMod(\C) \times \LMod(\D) \ar{r}
&
\Alg(\C_\aA) \times \Alg(\D_\aA)
&
\ar{l} \Alg(\C_\aA)_{A/} \times \Alg(\D_\aA)_{B/}
\\
\ast \ar{r}{=} \ar{u}{(X_0, Y_0)}
&
\ast \ar{u}{(A'_0, B'_0)}
&
\ar[l, "="'] \ast \ar{u}{(A',B')} ,
\end{tikzcd}
\]
by first taking pullbacks along the rows. Reversing the order of the limits,
we obtain a homotopy
pullback square
\begin{equation*}
\begin{tikzcd}[column sep=-10em]
\LMod \left( \BLMod_M(\M) \right) \underset{\LMod(\BLMod_A(\C)) \times \LMod(\BLMod_B(\D))}\times \set{(X,Y)} \ar{dd} \ar{dr}
\\
& \Alg(\M_\aA)_{M/} \underset{\Alg(\C_\aA)_{A/} \times \Alg(\D_\aA)_{B/} }\times \set{(A',B')} \ar{dd}
\\
\LMod ( \M ) \underset{\LMod(\C) \times \LMod(\D)}\times \set{(X_0,Y_0)} \ar{dr}
\\
& \Alg(\M_\aA) \underset{\Alg(\C_\aA) \times \Alg(\D_\aA)}\times \set{(A',B')},
\end{tikzcd}
\end{equation*}
where the left vertical map is equivalent to~\eqref{LM30_induced_map}.
By the proof of~\cite[prop. 5.2.2.30]{HA}, the right vertical map is a homotopy equivalence.
It follows that~\eqref{LM30_induced_map} is a homotopy equivalence, as claimed.
\end{proof}
\subsection{Koszul duality for $\LM$-monoidal pairings}
The following proposition corresponds to~\cite[prop. 5.2.2.27]{HA}.
\begin{thm} \label{LM52227}
Let
\[
\lambda^\otimes \colon
\M^\otimes \to
\C^\otimes \times_{\LM^\otimes} \D^\otimes
\]
be an $\LM$-monoidal pairing which
satisfies the following properties:
\begin{enumerate}
\item
If $\one$ denotes the unit object of $\D_\aA$, then the right fibration \( \M_\aA \times_{\D_\aA} \set{\one} \to \C_\aA \) is a categorical equivalence.
\item
The underlying pairings $\la_\aA$, $\la_\mM$ are left representable.
\item
The $\infty$-categories $\D_\aA, \D_\mM$ admit totalizations of cosimplicial objects.
\item
If $B\in \Alg(\D_\aA)$ is a trivial algebra and $M\in\Alg(\M_\aA)$ lies over $(A,B) \in \Alg(\C_\aA) \times \Alg(\D_\aA)$, then $\C$ admits realizations of $A$-bar constructions $\otimes$-compatibly and $\M$ admits realizations of $M$-bar constructions $\otimes$-compatibly.
\end{enumerate}
Then the induced pairing
\[
\LMod(\lambda) \colon \LMod(\M) \to \LMod(\C) \times \LMod(\D)
\]
is left representable.
\end{thm}
\begin{proof}
Fixing $X\in \LMod(\C)$ a left module over \( A \in \Alg(\C_\aA) \), our goal is to show that that there exists a left universal object in $\LMod(\M)$ lying over $X$.
By \cref{triv_BL_mod_lift}, we can lift $X\in \LMod(\C)$ to a left module $X' \in \LMod \left(\BLMod_A(\C)\right)$ over the trivial algebra $A\in \Alg \big(\BMod{A}{A}(\C_\aA) \big)$.
Let $B$ be a trivial algebra object of $\D_\aA$. Then the fiber \( \M_\aA \times_{\D_\aA} \set{B} \) has an induced monoidal structure and condition (1) implies that the right fibration
\[
\M_\aA \times_{\D_\aA} \set{B} \to \C_\aA,
\]
which upgrades naturally to a monoidal functor, is an equivalence of monoidal $\infty$-categories.
It follows that the pair $(A,B)$ can be lifted to an object $M \in \Alg(\M_\aA)$ in an essentially unique way.
By \cref{w9f2} and \cref{BLMod_construction}, we then have an $\LM$-monoidal category $ \widetilde \BLMod_{M}(\M)^\otimes$ which witnesses the action of the monoidal $\infty$-category
\[
\widetilde \BLMod_{M}(\M)^\otimes_\a
\simeq
{_M \mathrm{BMod}_M(\M)^\otimes}
\]
on the $\infty$-category
\[
\widetilde \BLMod_{M}(\M)_\m
\simeq
\mathrm{LMod}_M(\M)
\]
by relative tensor products, as well as an $\LM$-monoidal pairing
\[
\lambda_{M} \colon
\widetilde \BLMod_{M}(\M)^\otimes
\to
\BLMod_A(\C)^\otimes
\times_{\LM^\otimes}
\BLMod_B(\D)^\otimes.
\]
By \cref{LM52240}, the underlying pairings
\begin{align*}
{(\lambda_{M})}_\a & \colon \BMod{M}{M}(\M) \to \BMod{A}{A}(\C) \times \BMod{B}{B}(\D) , \\
{(\lambda_{M})}_\m & \colon \LMod_{M}(\M) \to \LMod_{A}(\C) \times \LMod_{B}(\D)
\end{align*}
are both left-representable.
Since $A$ is a trivial algebra of ${_A \mathrm{BMod}_A(\C)^\otimes}$, we may therefore apply \cref{LM52228} by substituting the $\LM$-monoidal pairing denoted $\la_M$ here for the $\LM$-monoidal pairing denoted $\la$ there.
In this way, we obtain a left universal object
\[
Z' \in \LMod \left( \widetilde {\BLMod_{M}(\M)} \right)
\]
lying over $X'$.
Let
\[
\M^\otimes \to \widetilde{\M}^\otimes
\to
\C^\otimes \times_{\LM^\otimes} \D^\otimes
\]
denote the factorization induced by functorial fibrant replacement in the model category of $\infty$-operads as in the preamble to \cref{LM52230}.
By \cref{LM52230}, the forgetful functor
\[
\LMod \big( \widetilde {\BLMod_{M}(\M)} \big)
\to \LMod( \widetilde{\M})
\]
carries $Z'$ to a left universal object $\widetilde{Z} \in \LMod( \widetilde{\M})$ over $X \in \LMod(\C)$.
Since the induced functor
\[
\mathrm{LMod}(\widetilde{\M})
\to
\mathrm{LMod}({\M})
\]
over $\mathrm{LMod}(\C) \times \mathrm{LMod}(\D)$ is an equivalence of pairings, it follows that $\widetilde{Z}$ lifts to a left universal object $Z \in \mathrm{LMod}({\M})$ over $X$, as hoped.
\end{proof}
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%
\section{The case of the twisted arrow category}%%%%%
\label{sec:Twisted_arrow_bar_construction}
%%%%%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
%%%%%%%%%%%%
% \input{KoszulTwistedArrow.tex}
\Cref{LM52227} applies in a straightforward way to the twisted arrow category of a suitable symmetric monoidal category in which the unit object is terminal. Our first goal in this section (\cref{BarCobarAdjunction}) is to compare the underlying objects of the resulting Koszul duals with the bar construction. Our second goal is to dispense with the assumption regarding the unit object. The final result is stated in \cref{BarCobarAdjunction-XXXversion}.
\subsection{The right duality functor}
As mentioned in \cref{SectionOverview}, we use the right duality functor to identify the underlying objects produced by the left duality functor. Our results concerning the right duality functor are best developed in the general setting of $\LM$-monoidal pairings. We thus continue with $\LM$-monoidal pairings in this subsection before specializing to the twisted arrow category in the next subsection. We begin with an $\LM$-monoidal addendum to~\cite[lem. 5.2.2.33]{HA}.
\begin{lem} \label{LM52233}
Let $\lambda^\otimes \colon \M^\otimes \to \C^\otimes \times_{\LM^\otimes} \D^\otimes$ be an $\LM$-monoidal pairing
and let $M \in \Alg(\M_\a)$ be an algebra over $(A,B)\in \Alg(\C_\a) \times \Alg(\D_\a)$, where $B$ is a trivial algebra object of $\D_\a$.
Let $\one$ denote the unit object of $\M_\a$, and suppose we are given an augmentation $\epsilon \colon M \to \one$.
Then the induced map
\begin{align*}
\M_\m \simeq \LMod_\one(\M_\m) \to \LMod_M(\M_\m)
\end{align*}
carries right universal objects of $\M_\m$ to right universal objects of $\LMod_M(\M_\m)$.
\end{lem}
\begin{proof}
Fix an object $D\in \D_\m$.
Let $\M = \M_\a \coprod \M_\m$ denote the fiber of $ \M^\otimes \to \LM^\otimes \to \Fin_*$ over $\langle 1 \rangle \in \Fin_*$, and consider the full subcategory\foot{Here we identify the trivial algebra $B\in \Alg(\D_\a)$ with its underlying object $B \simeq \one_{\D_a}\in\D_\a$.}
\[
\M_D \subseteq \M, \quad \M_D := \M_\a \times_{\D_\a} \set{B} \coprod \M_\m \times_{\D_\m} \set{D}.
\]
By~\cite[Proposition 2.2.1.1]{HA} the $\infty$-category $\M_D$ is the underlying $\infty$-category of an $\LM$-monoidal subcategory $\M_D^\otimes \subseteq \M^\otimes$, which exhibits $\M_\m \times_{\D_\m} \set{D}$ as left tensored over $\M_\a \times_{\D_\a} \set{B}$.
We are interested in the restriction of the induced map $\M_\m \to \LMod_M(\M_\m)$ to the fibers over $D$.
Note that $M$ is an algebra object of $\M_\a \times_{\D_\a} \set{B}$, and we have an equivalence
\[
\LMod_M (\M_D) \simeq \LMod_M( \M_\m) \times_{ \LMod_{B}(\D_\m)} \set{D}.
\]
Moreover, the following diagram commutes
\[
\begin{tikzcd}[column sep=0.7em]
\M_\m \ar[no head, "\simeq"]{r} & \LMod_\one (\M_\m) \ar[r] & \LMod_M(\M_\m) \\
\M_\m \times_{\D_\m} \set{D} \ar[hook]{u} \ar[no head, "\simeq"]{r} & \LMod_\one (\M_\m) \times_{\LMod_{B}(\D_\m)} \set{D} \ar[hook]{u} \ar[r] & \LMod_M (\M_\m) \times_{\LMod_{B}(\D_\m)} \set{D} \ar[hook]{u} \\
& \LMod_\one (\M_D) \ar[no head, "\simeq"]{u} \ar[r] & \LMod_M ( \M_D) \ar[no head, "\simeq"]{u}.
\end{tikzcd}
\]
The bottom map is the map induced by the augmentation $\epsilon \colon M \to \one$, considered as a map of associative algebras in the fiber $\M_\a \times_{\D_\a} \set{B}$.
By~\cite[cor. 4.2.3.3]{HA}, this map preserves all limits, and in particular terminal objects.
\end{proof}
Following~\cite[variant 5.2.1.16]{HA}, we say that a morphism of right representable pairings
\[
\begin{tikzcd}
\M \ar[r,"\gamma"] \ar[d, "\la"] & \M' \ar[d, "\la' "]
\\
\C \times \D \ar[r] & \C' \times \D'
\end{tikzcd}
\]
is right representable, if $\gamma$ carries right universal objects to right universal objects.
We recall from~\cite[Proposition 5.2.1.17]{HA} that under this assumption, the induced diagram of $\infty$-categories
\[
\begin{tikzcd}
\C \ar[d] & \D^\op \ar[d] \ar[l]
\\
\C' & \D'^{\op} \ar[l]
\end{tikzcd}
\]
commutes up to canonical homotopy.
The following proposition mirrors~\cite[cor. 5.2.2.34]{HA}.
\begin{cor}\label{lm52234}
In the situation and the notation of \cref{LM52233}, if
\[
\lambda_\m \colon \M_\m \to \C_\m \times \D_\m
\]
is right representable, then the induced pairing
\[
\LMod(\lambda) \colon \LMod_M (\M_\m) \to \LMod_A(\C_\m) \times \LMod_B(\D_\m)
\]
is right representable, and the duality functor $\Ddual'_{\LMod(\lambda)}$ can be identified with the composition
\[
{\LMod_B(\D_\m)}^\op \simeq \D_\m^\op \xto{\Ddual'_\lambda} \C_\m \to \LMod_A(\C_\m) ,
\]
where the last map is induced by the augmentation $\epsilon$.
\end{cor}
\begin{proof}
We begin with the first statement.
Consider the morphism of pairings given by
\[
\tag{*}
\begin{tikzcd}
\M_\m \ar[d,"\lambda_\m"] \ar[r] & \LMod_M(\M_\m) \ar[d,"\LMod(\lambda)"] \\
\C_\m \times \D_\m \ar[r] & \LMod_A(\C_\m) \times \LMod_B(\D_\m) ,
\end{tikzcd}
\]
where the horizontal maps are induced by the augmentation $\epsilon$.
Given arbitrary $D \in \D_\m$, there exists a right universal object $Z \in \M_\m$ lying over $D$ by assumption.
By \cref{LM52233} the image of $Z$ is a right universal object in $\LMod_M(\M_\m)$.
Since $B\in \Alg(\D_\a)$ is a trivial algebra, the map $\D_\m \to \LMod_B(\D_\m)$ is an equivalence.
It follows that $\LMod(\lambda)$ is right representable, as stated.
Moreover, it follows that diagram (*) is a right representable morphism of right representable pairings, hence by~\cite[prop. 5.2.1.17]{HA} the diagram
\[
\begin{tikzcd}
\D_\m^{\op} \ar[d] \ar[r,"\Ddual'_\lambda"] & \C_\m \ar[d] \\
\LMod_B(\D_\m)^{\op} \ar[r,"\Ddual'_{\LMod(\lambda)}"] & \LMod_A(\C_\m)
\end{tikzcd}
\]
commutes up to canonical homotopy.
Since $B\in \Alg(\D_\a)$ is a trivial algebra, the left vertical map is an equivalence, and the proof is complete.
\end{proof}
% \begin{rem}
% % If the pairing
% \[
% \LMod(\la) \colon \LMod_M(\M_\m) \to \LMod_A(\C_\m) \times \LMod_B(\D_\m)
% \]
% of \cref{lm52234} is also left representable, then its associated duality functor
% \[
% \Ddual_{\LMod(\la)} \colon \LMod_A(\C_\m) \to \LMod_B(\D_\m)
% \]
% is given by the one sided bar construction $\Ddual_{\LMod(\la)}(X') = \Ddual_\la( \Bar(A,X'))$, as its right adjoint is given by restriction along the augmentation.
%
% \end{rem}
% \begin{rem}
% % Consider the pairing
% \[
% \LMod(\la) \colon \LMod_M(\M_\m) \to \LMod_A(\C_\m) \times \LMod_B(\D_\m)
% \]
% of \cref{lm52234}.
% If $\LMod(\la)$ is also left representable then we can identify the (opposite of the) associated duality functor $\Ddual_{\Lmod(\la)}$ as left adjoint to $\Ddual'_{\LMod(\la)}$ of \cref{lm52234},
% \[
% \Ddual_{\LMod(\la)} \colon \LMod_A(\C_\m) \to \C_\m \to \xto{\Ddual'_\la} \D_\m \simeq \LMod_B(\D_\m).
% \]
% If $\C$ admits realizations of $A$ bar constructions $\otimes$-compatibly, then
% \[
% \Ddual_{\LMod(\la)} \colon
% X \mapsto \Ddual_\la( \one \otimes_A X)
% \]
%
% \end{rem}
\subsection{The \texorpdfstring{$\LM$}{LM}-monoidal twisted arrow category}
%Let $\C_\m$ be an $\infty$-category left-tensored over a monoidal $\infty$-category $\Cc_\a^\otimes$. Then $\TwArr(\C_\m)$ is left tensored over $\TwArr(\C_\a)$. This gives rise to an $\LM$-monoidal category
Let $\C$ be an $\infty$-category and $\TwArr(\C)$ the twisted arrow category of~\cite[sec. 5.2.1]{HA}.
In order to apply \cref{LM52227} we construct an $\LM$-monoidal structure on the twisted arrow category, extending~\cite[ex. 5.2.2.23]{HA}.
\begin{prop}
\label{lmtw}
Let $\C^\otimes \to \LM^\otimes$ be an $\LM$-monoidal $\infty$-category.
Then there exists an $\LM$-monoidal pairing
\[
{\TwArr(\C)}^\otimes \to \C^\otimes \times_{\LM^\otimes} {(\C^\op)}^\otimes,
\]
where the $\LM$-monoidal category ${\TwArr(\C)}^\otimes$ witnesses $\TwArr(\C_\m)$ as left tensored over the mo\-noi\-dal category $\TwArr(\C_\a)$.
\end{prop}
\begin{proof}
Identify the $\LM$-monoidal categroy $\C^\otimes$ with with a left action object in the $\infty$-category $\Cat_\infty$, exhibiting the left action of $\C_\a$ on $\C_\m$.
As in~\cite[ex. 5.2.2.23]{HA}, we can apply the functor
\[
\Cat_\infty \to CPair^\mathrm{perf}, \quad \E \mapsto \left( \TwArr(\E) \to \E \times \E^\op \right)
\]
of~\cite[rem. 5.2.1.20]{HA} to the underlying $\infty$-categories $\C_\a$ and $\C_\m$.
Following~\cite[prop. 5.2.1.10]{HA}, we see that the pairing $\TwArr(\C_\m) \to \C_\m \times \C_\m^\op$, considered as an object of $CPair^\mathrm{perf}$, admits a left action of $\TwArr(\C_\a) \to \C_\a \times \C_\a^\op$, considered as a monoid object in $CPair^\mathrm{perf}$.
We can now identify this left action object with the desired $\LM$-monoidal pairing
\(
{\TwArr(\C)}^\otimes \to \C^\otimes \times_{\LM^\otimes} {(\C^\op)}^\otimes.
\)
\end{proof}
\begin{rem}
The coCartesian fibration \( {(\C^\op)}^\otimes \to \LM^\otimes \) appearing in the previous proposition can be identified with the ``fiberwise opposite'' of $\C^\otimes \to \LM^\otimes$.
Explicitly, the fiberwise opposite is given by applying the dualizing construction of~\cite{DualizingCarFibs} to the coCartesian fibration $\C^\otimes \to \LM^\otimes$, then taking the opposite functor.
\end{rem}
\subsection{Bar constructions in the twisted arrow category}
% If $\C$ is an $\infty$-category, we denote by $\TwArr(\C)$ the twisted arrow category of~\cite[sec. 5.2.1]{HA}.
Denote by $s$ and $t$ the \emph{source} and \emph{target} maps
\[
s \colon \TwArr(\C) \to \C \times \C^\op \to \C, \quad
t \colon \TwArr(\C) \to \C \times \C^\op \to \C^\op
\]
of the twisted $\infty$-category.
\begin{prop}\label{prop:colimits_in_TwArr}
Let $\C$ be an $\infty$-category, and let $K$ be a weakly contractible simplicial set.
\begin{enumerate}
\item
Let
\[
p \colon K \to \TwArr(\C)
\]
be a diagram in the twisted arrow category.
If $sp$ has a colimit in $\C$ and $tp$ is equivalent to a constant diagram, then $p$ admits a colimit in $\TwArr(\C)$.
\item
Let
\[
\overline p: K^\triangleright \to \TwArr(\C)
\]
be a diagram in the twisted arrow category.
If $s \overline p$ is a colimit diagram and $t \overline p$ is equivalent to a constant diagram, then $\overline p$ is a colimit diagram.
\end{enumerate}
\end{prop}
\begin{proof}
We begin with part (2).
Without loss of generality, assume that $t\overline p$ is constant with value $E$.
We can therefore consider
\[
\ol p \colon K^\triangleright \to {\TwArr(\C)} \times_{\C^\op} \set{E}.
\]
as a diagram in the fiber of $t$ over $E$.
% $\overline p$ as a diagram in the fiber ${\TwArr(\C)} \times_{\C^\op} \set{E}$ of $t$ over $E$,
% \[
% \ol p \colon K^\triangleright \to {\TwArr(\C)} \times_{\C^\op} \set{E}.
% \]
By~\cite[prop. 5.2.1.8]{HA} applied to $id_E \in \TwArr(\C)$ and~\cite[prop. 4.4.4.5]{HTT}, ${\TwArr(\C)} \times_{\C^\op} \set{E}$ is equivalent to the slice category $\C_{/E}$.
Therefore, by~\cite[prop. 1.2.13.8]{HTT}, $\ol p$ is a colimit diagram in the fiber ${\TwArr(\C)} \times_{\C^\op} \set{E}$.
By~\cite[prop. 5.2.1.3]{HA}, $t$ is a right fibration.
So by~\cite[cor. 4.3.1.16]{HTT} $\ol{p}$ is a $t$-colimit diagram in $\TwArr(\C)$.
Since $K$ is weakly contractible, the constant diagram $t \circ \ol{p}$ is a colimit diagram (see~\cite[cor. 4.4.4.10]{HTT}).
Therefore $\ol{p}$ is a colimit diagram in $\TwArr(\C)$ by combining~\cite[prop. 4.3.1.5 (2)]{HTT} with~\cite[ex. 4.3.1.3]{HTT}.
We now show (1).
The projection $s \circ p$ has a colimit in $\C$ by assumption, which by~\cite[prop. 1.2.13.8]{HTT} lifts to
\[
\ol{p} \colon K^\triangleright \to \TwArr(\C) \times_{\C^\op} \set{E},
\]
a colimit of $p$ in $\C_{/E} \simeq {\TwArr(\C)} \times_{\C^\op} \set{E}$.
By (2), $\ol{p}$ is also a colimit diagram in $\TwArr(\C)$.
\end{proof}
\begin{cor}\label{prop:Bar_const_in_TwArr}
Let $\C^\otimes \to \LM$ be an $\LM$-monoidal $\infty$-category, and let
\[
M \in \Alg(\TwArr(\C_\aA))
\]
be an algebra lying over $(A,B)\in \Alg(\C_\aA) \times \Alg(\C_\aA^\op)$.
Assume $B$ is a trivial algebra and $\C^\otimes$ admits realizations of $A$-bar constructions $\otimes$-compatibly (\cref{m24j0} applied to $\C^\otimes$ regarded as a $\BM$-monoidal category as in \cref{LM_to_BM_monoidal_construction}).
Then $\TwArr(\C)^\otimes$ admits realizations of $M$-bar constructions $\otimes$-compatibly.
\end{cor}
\begin{proof}
We regard all $\LM$-monoidal categories as $\BM$-monoidal (\cref{LM_to_BM_monoidal_construction}).
In order to simplify the ensuing division into cases, we introduce some notation. We define a partial composition law on the set $C=\{0,\mM, 1\}$ of colors of $\BM^\otimes$ by
\[
0^2 = 0
\quad
0 \mM = \mM
\quad
\mM 1 = \mM
\quad
1^2 = 1
\]
and a relation by $i <j$ if the product $ij$ is defined.
We first verify condition (1) of \cref{m24j0} (existence of realizations).
Let $(X,Y)$ be an $(L,M,R)$-module in $\TwArr(\Cc)^\otimes$ with $L \in \Alg \TwArr(\Cc_0)$ and $R \in \Alg \TwArr(\Cc_
r)$ ($r = 0$ or $1$).
There's a unique color $i \in C$ with $0<i<r$.
Moreover, $Y$ belongs to $\TwArr(\Cc_i)$ and $0i=i$ so that for all $n \ge 0$, $X \otimes M^{\otimes n} \otimes Y$ belongs again to $\TwArr(\Cc_i)$.
Consider the diagrams
\[
\Delta^\op \xto{{\Bar_M(X,Y)}_\bullet} \TwArr(\Cc_i) \xto{s} \Cc_i,
\quad
\Delta^\op \xto{{\Bar_M(X,Y)}_\bullet} \TwArr(\Cc_i) \xto{t} \Cc_i^\op.
\]
The diagram $t \circ \Bar_M(X,Y)_\bullet$ is equivalent to a constant diagram since $B\in \Alg(\C_\aA^\op)$ is trivial. On the other hand, the diagram $s \circ \Bar_M(X,Y)_\bullet$ admits a colimit in $\Cc_i$ by assumption, since it is equivalent to an $A$-bar construction in $\Cc_i$. Therefore $\Bar_M(X,Y)_\bullet$ has a colimit in $\TwArr(\Cc_i)$ by \cref{prop:colimits_in_TwArr}
Next we verify condition (2) (realizations of $M$-bar constructions are compatible with tensor products). We continue to work with an $(L,M,R)$-module $(X,Y)$ with $R \in \Cc_r$ and $Y \in \Cc_i$ as above. Let $j>i$ and fix $X' \in \TwArr(\C_\aA)$, $Y' \in \TwArr(\C_j)$ so that the tensor product $Y \otimes Y'$ is defined and lies in $\Cc_{ij}$. Let
\[
{\Bar_M(X,Y)}_\bullet^+
\colon
\Delta^\op_+
\to
\TwArr(C_i)
\]
be a colimit diagram extending the bar construction $\Bar_M(X,Y)_\bullet$. Consider the diagram
\[
\ol p \colon
\Delta^\op_+ \xto{{\Bar_M(X,Y)}_\bullet^+} \TwArr(\C_i)
\xto{X' \otimes - \otimes Y'}
\TwArr(C_{ij})
\]
defined by applying the functor $X' \otimes - \otimes Y'$ to ${\Bar_M(X,Y)}_\bullet^+$.
We claim that $\ol p$ is a colimit diagram. Since $B$ is a trivial algebra, the diagram
\(
{\Bar_B(t(X),t(Y))}_\bullet^+
\)
is equivalent to a constant diagram with value $t(X) \otimes t(Y)$, hence $t \circ \ol{p}$ is equivalent to the constant diagram with value $t(X') \otimes t(X) \otimes t(Y) \otimes t(Y')$. Since realizations of $A$-bar constructions in $\C$ are by assumption $\otimes$-compatible, $s \circ \ol p$ is a colimit diagram. By \ref{prop:colimits_in_TwArr}(2), $\ol p$ is a colimit diagram, as desired.
\end{proof}
In the proof of \cref{BarCobarAdjunction} below, we compare the Koszul dual $\Ddual_\mathrm{Koszul}(A,X)$ with the relative tensor product $\one \otimes_A X$ by showing that (after forgetting the comodule structure on the former) both fulfill the same universal mapping property in $\C_\mM$. For this purpose, following \cite[Def. 5.2.2.1]{HA}, we define the ``bar object'' $\Bar(A,X)$ purely in terms of the universal mapping property. As noted by Lurie, the bar object can exist even in the absence of relative tensor products.
\begin{mydef}\label{DefBar}
Let $\C^\otimes$ be an $\LM$-monoidal category with unit object $\one \in \C_\a$ and let
\[
\ep: A \to \one
\]
be a morphism in $\Alg(\C_\a)$. Then there are induced functors
\[
\rho^\ep_\a: \C_\a \simeq
\BMod{\one}{\one}(\C_\a)
\to
\BMod{A}{A}(\C_\a),
\quad
\rho^\ep_\m:
\C_\m \simeq
\LMod_\one(\C_\m) \to \LMod_A(\C_\m).
\]
Let $C\in \C_\a$.
A morphism $f: A \to \rho^\ep_\a(C)$ in $\BMod{A}{A}(\C_\a)$ is said to \emph{exhibit $C$ as the bar object on $A\to \one$} (or simply \emph{on $A$}) if, for every object $D \in \C_\a$, composition with $f$ induces a homotopy equivalence
\[
\Map_{\C_\a}(C,D) \xto{\sim}
\Map_{\BMod{A}{A}(\C_\a)}(A, \rho^\ep_\a(D)).
\]
When such an object $C$ exists it is uniquely determined up to equivalence and denoted by $\Bar(A)$.
Similarly, if $X \in \LMod_A(\C_\m)$ and $Y\in \C_\m$,
we say that a morphism $g: X \to \rho^\ep_\m(Y)$ in $\LMod_A(\C_\m)$ \emph{exhibits $Y$ as the bar object on $(A,X)$} if, for every object $Z \in \C_\m$, composition with $g$ induces a homotopy equivalence
\[
\Map_{\C_\m}(Y,Z) \xto{\sim}
\Map_{\LMod_{A}(\C_\m)}(X, \rho^\ep_\m(Z)).
\]
When such a $Y$ exists it is uniquely determined up to equivalence and we denote it by $\Bar(A,X)$.
\end{mydef}
\begin{rem}
\label{Bar_def_as_Bar_construction}
Let $\C^\otimes$ be an $\LM$-monoidal $\infty$-category which admits realizations of bar constructions $\otimes$-compatibly.
It follows from~\cite[prop. 4.6.2.17]{HA} that if $\ep:A \to \one$ is an augmented associative algebra object of $\C_-$, then the forgetful functor
\[
\rho^\ep_\m: \C_\mM \simeq \LMod_\one(\C)
\to
\LMod_A(\C)
\]
admits a left adjoint, given by the relative tensor product
\[
X \mapsto \one \otimes_A X.
\]
It follows that the \textit{bar object} $\Bar(A,X)$ exists and is given by the relative tensor product
\[
\Bar(A,X) = \one \otimes_A X.
\]
\end{rem}
The next theorem mirrors~\cite[thm. 5.2.2.17]{HA}.
\begin{thm} \label{BarCobarAdjunction}
Let $\C^\otimes \to \LM^\otimes$ be an $\LM$-monoidal $\infty$-category. According to \cref{lmtw} that there is an associated $\LM$-monoidal pairing
\[
{\lambda: \TwArr(\C)}^\otimes \to \C^\otimes \times_{\LM^\otimes} {(\C^\op)}^\otimes.
\]
Then:
\begin{enumerate}
\item
The induced map
\[
\LMod(\la) \colon
\LMod(\TwArr(\C)) \to
\LMod(\C) \times \LMod(\C^\op)
\]
is a pairing of $\infty$-categories.
\item
Assume that the unit object $\one \in \C_\aA$ is final and that $\C_\aA, \C_\mM$ admit geometric realizations of simplicial objects.
Assume, moreover, that $\C^\otimes$ admits realizations of bar constructions $\otimes$-compatibly (\cref{m24j0}).
Then the pairing $\LMod(\la)$ is left representable, and therefore determines a functor
\[
\Ddual^\op_\mathrm{Koszul}:=\Ddual_{\LMod(\la)}: {\LMod(\C)}^\op \to \LMod(\C^\op).
\]
Moreover, the composition with the forgetful functor
\[
{\LMod(\C)}^\op \xto{ \Ddual^\op_\mathrm{Koszul} } \LMod(\C^\op) \to
\C^\op_\a \times \C^\op_\m
\]
is given by the bar objects
\[
(A,X) \mapsto (\Bar(A), \Bar(A,X))
\]
as defined in \cref{DefBar}.
\item
Dually, assume that the unit object $\one \in \C_\aA$ is initial and that $\C$ admits totalizations of cosimplicial objects.
Assume, moreover, that $\C$ admits totalizations of cobar constructions $\otimes$-compatibly (\cref{m24j0}).
Then the pairing $\la$ is right representable, and therefore determines a functor
\[
\Ddual^{'\op}_\mathrm{Koszul}:=\Ddual'_{\LMod(\la)}: {\LMod(\C^{\op})}^{\op} \to \LMod(\C).
\]
Moreover, the composition with the forgetful functor
\[
{\LMod(\C^{\op})}^{\op} \xto{ \Ddual^{'\op}_\mathrm{Koszul} } \LMod(\C) \to
\C_\a \times \C_\m
\]
is given by
\[
(C,Y) \mapsto ( \opnm{CoBar}(Y), \opnm{CoBar}(C,Y) ),
\]
where $\opnm{CoBar}(Y)$ and $\opnm{CoBar}(C,Y)$ denote bar objects in $\C^{\op}$.
\end{enumerate}
\end{thm}
\begin{proof}[proof of \cref{BarCobarAdjunction}]
(1) is a special case of~\cite[rem. 5.2.2.26]{HA}.
We turn to (2).
Let $\D = \C^\op$. We claim that the $\LM$-monoidal pairing
\[
\la^\otimes \colon
{\TwArr(\C)}^\otimes \to
\C^\otimes \times_{\LM} {\D}^\otimes
\]
satisfies the hypotheses of \cref{LM52227}:
\begin{description}
\item[\ref{LM52227}(1)]
The map \( \M_\aA \times_{\D_\aA} \set{\one} \to \C_\aA \) is an equivalence since $\one \in \C_\aA$ is terminal by assumption.
\item[\ref{LM52227}(2)]
The underlying pairings $\la_\aA$, $\la_\mM$ are left representable by~\cite[prop. 5.2.1.10]{HA}.
\item[\ref{LM52227}(3)]
The $\infty$-categories $\D_\aA, \D_\mM$ admit totalizations by assumption.
\item[\ref{LM52227}(4)]
Let $B \in \Alg(\D_\aA)$ be a trivial algebra and $M \in \Alg(\M_\aA)$ an algebra lying over $(A,B) \in \Alg(\C_\aA) \times \Alg(\D_\aA)$.
By assumption, $\C$ admits realizations of $A$-bar constructions $\otimes$-compatibly.
Since $B\in \Alg(\C_\aA^\op)$ is a trivial algebra, \cref{prop:colimits_in_TwArr} implies that $\TwArr(\C)$ admits realizations of $M$-bar constructions $\otimes$-compatibly.
\end{description}
We thus have a duality functor $\Ddual_{\LMod \la}$ as above.
Let $(A,X)$ be a left module in $\C$ and let
\[
(B,Y) = \Ddual_{\LMod \la}(A,X) \in \LMod(\C^{\op}).
\]
By~\cite[thm. 5.2.2.17 (2)]{HA}, the image of $B$ in $\C_\a$ is equivalent to $\Bar(A)$. We must show that the image of $Y$ in $\C_\m$ is equivalent to $\Bar(A,X)$.
Since the unit object $\one \in \C_\a$ is final, there exists an essentially unique augmentation
\[
\ep:A \to \one.
\]
We can then identify $\ep$ with an algebra object of the monoidal $\infty$-subcategory
\[
{(\C_\a)}_{/\one} \simeq
\TwArr(\C_\a) \times_{\C_\a^{\op}} \set{ \one }
\subset \TwArr(\C_\a).
\]
Let $M$ denote the associated algebra object in $\TwArr(\C_\a)$:
\[
\TwArr(\C_\a) \to \C_\a \times \C_\a^\op, \quad M \mapsto (A, \one).
\]
By \cref{LM52240} and \cref{lm52234}, the induced pairing $\LMod_M(\la)$:
\[
\LMod_M(\TwArr(\C_\m)) \to
\LMod_A(\C_\m) \times
\LMod_\one(\C^{\op}_\m)
\simeq
\LMod_A(\C_\m) \times
\C^{\op}_\m
\]
is both left and right representable, hence induces adjoint duality functors
\[
\Ddual^\op_{\LMod_M (\la)}:
\LMod_A(\C_\m) \leftrightarrows
{(\C_\m^{\op})}^{\op} \simeq \C_\m
:\Ddual'_{\LMod_M (\la)}
\]
as in \cref{DualityFromPairing}.
By \cref{lm52234}, $\Ddual'_{\LMod_M (\la)}$ is the functor induced by the augmentation of $A$.
It follows that its left adjoint $\Ddual_{\LMod_M (\la)}$ is given by
\[
X' \mapsto \Bar(A, X').
\]
By the construction of the $\LM$-Koszul duality functor $\Ddual_{\LMod(\la)}$ (outlined in the introduction and carried out in the proof of \cref{LM52227}), as an object of the $\infty$-category $\C^{\op}_\a \times \C_\m^{\op}$, we can identify $(B,Y)$ with
\[
\big(\Ddual_{\BMod{M}{M}(\la)}(A),
\Ddual_{\LMod_M(\la)}(X) \big),
\]
hence with $(\Bar(A), \Bar(A,X))$ as claimed.
Statement (3) follows by symmetry.
\end{proof}
\subsection{Dispensing with the assumption that the unit object is terminal}
\begin{construction}
\label{cons:C_1}
Let $\C^\otimes$ be an $\LM$-monoidal category, and let $\one \in \C_\a$ denote the unit object.
We now construct an $\LM$-monoidal category $\C_{/\one}^\otimes \to \LM^\otimes$ exhibiting $\C_\m$ as left tensored over ${(\C_\a)}_{/\one}$;
informally, the action of $(A \to \one)\in {(\C_\a)}_{/\one}$ on $X\in \C_\m$ is given by the action of $A\in \C_\a$ on $X\in \C_\m$.
Consider the forgetful functor from $\LM$-monoidal categories to monoidal categories induced by pulling back coCartesian fibrations along $\Ass \to \LM^\otimes$.
Let $(\B^\otimes \to \Ass) \mapsto (\B^\otimes_+ \to \LM^\otimes)$ denote the right adjoint to the forgetful map.
The coCartesian fibration $(\B^\otimes_+ \to \LM^\otimes)$ is an $\LM$-monoidal category exhibiting the terminal $\infty$-category as left tensored over $\B$.
Given a monoidal functor $\B \to \C_\a$ we can form the following pullback
\[
\begin{tikzcd}
\C_\B^\otimes \ar[d] \ar[r] \pbcorner & \C^\otimes \ar[d] \\
\B^\otimes_+ \ar[r] & (\C_\a)^\otimes_+ ,
\end{tikzcd}
\]
where
the right vertical map is the counit of the above adjunction.
Then
\[
\C_\B^\otimes \to \C^\otimes \to \LM^\otimes
\]
exhibits $\C_\m$ as left tensored over $\B$.
Applying this construction to the forgetful functor ${(\C_\a)}^\otimes_{/\one} \to \C_\a^\otimes$ produces the desired $\LM$-monoidal category $\C_{/\one}^\otimes \to \LM^\otimes$.
The reader is cautioned that our notation is not compatible with that of~\cite[sec. 2.2.2]{HA}.
We can informally describe an $\LM$-algebra in $\C^\otimes_{/\one}$ as a pair $(A\to \one, X)$, where $A\to \one$ is an augmented algebra in $\C_\a$ and $X\in \C_\m$ has the structure of a left module over $A$.
We denote the $\infty$-category of $\LM$-algebras in $\C^\otimes_{/ \one}$ by
\[
\LMod^{aug}(\C): = \LMod( \C_{/\one}).
\]
Evidently, the unit object in ${(\C_\a)}_{/\one}$ is terminal.
Similarly, applying the construction above to (the opposite of) the symmetric monoidal functor
\[
\B = {(\C_\a)}_{\one // \one} := {\left( {(\C_\a)}_{/\one} \right)}_{\one /} \to {(\C_\a)}_{/\one}
\]
constructs an $\LM$-monoidal category $\C^\otimes_{\one / /\one}$ which exhibits $\C_\m$ as tensored over $\C_{ \one / / \one}$.
\begin{mydef}
Define $\opnm{coLMod}^{aug}(\C) := {\LMod^{aug}(\C^{\op})}^{\op}$.
\end{mydef}
Informally, one can describe an object of $\operatorname{coLMod}^{aug}(\C)$
as a pair $(C,Y)$ of an augmented coalgebra $C$ in $\C_\a$ and a left comodule $Y$ over $C$.
\end{construction}
Combining these constructions with \cref{BarCobarAdjunction} and \cref{Bar_def_as_Bar_construction}, we arrive at the following corollary.
\begin{cor}
\label{BarCobarAdjunction-XXXversion}
Let $\C^\otimes \to \LM^\otimes$ be an $\LM$-monoidal $\infty$-category. There is an associated $\LM$-monoidal pairing
\[
\la\colon {\TwArr(\C)}^\otimes \to \C^\otimes \times_{\LM^\otimes} {(\C^\op)}^\otimes
\]
and an induced pairing of $\infty$-categories
\[
\LMod(\la) \colon
\LMod(\TwArr(\C)) \to
\LMod(\C) \times \LMod(\C^\op).
\]
If $\Cc_\aA$, $\Cc_\mM$ admit geometric realizations of simplicial objects and $\C^\otimes$ admits geometric realizations of bar constructions $\otimes$-compatibly, then the pairing $\LMod(\la)$ is left representable, and therefore determines a functor
\[
\Ddual_\mathrm{Koszul} = \Ddual_{\LMod(\la)}^\op \colon \LMod^{aug}(\C) \to \opnm{coLMod}^{aug}(\C) ,
\]
whose composition with the forgetful functor
\[
\opnm{coLMod}^{aug}(\C) \to
\C_\a \times \C_\m
\]
is given by
\[
(A,X) \mapsto (\one \otimes_A \one, \one \otimes_A X).
\]
If $\C_\a, \C_\m$ admit both realizations of simplicial objects and totalization of cosimplicial objects, and if $\Cc^\otimes$ admits realizations of bar constructions and totalizations of cobar constructions $\otimes$-compatibly, then the induced duality functors form an adjunction
\[
\Ddual_\mathrm{Koszul} \colon \LMod^{aug}(\C) \adj \operatorname{coLMod}^{aug}(\C) \noloc \Ddual'_\mathrm{Koszul}.
\]
\end{cor}
% \addcontentsline{toc}{section}{References}
\bibliographystyle{plain}
\bibliography{references}
\vfill
\Small\textsc{
ID: Department of Mathematics, Ben-Gurion Miniversity.
}
\texttt{ishaidc@gmail.com}
\Small\textsc{
AH: Department of Mathematics, Stockholm University.
}
\texttt{asafklm@gmail.com}
\end{document}
\begin{thebibliography}{10}
\bibitem{Arad}
Edo Arad, Shachar Carmeli, and Tomer Schlank.
\newblock {\'E}tale homotopy obstructions of arithmetic spheres.
\newblock {\em arXiv:1902.03404}, 2019.
\bibitem{ayoub2014algebre}
Joseph Ayoub.
\newblock L'alg\`ebre de {H}opf et le groupe de {G}alois motiviques d'un corps
de caract\'{e}ristique nulle, {I}.
\newblock {\em J. Reine Angew. Math.}, 693:1--149, 2014.
\bibitem{DualizingCarFibs}
Clark Barwick, Saul Glasman, and Denis Nardin.
\newblock Dualizing cartesian and cocartesian fibrations.
\newblock {\em Theory Appl. Categ}, 33(4):67--94, 2018.
\bibitem{BS_Fibrations}
Clark Barwick and Jay Shah.
\newblock Fibrations in $\infty$-category theory.
\newblock In {\em 2016 MATRIX annals}, pages 17--42. Springer, 2018.
\bibitem{BrantnerCamposNuiten}
Lukas Brantner, Ricardo Campos, and Joost Nuiten.
\newblock P{D} operads and explicit partition {L}ie algebras.
\newblock {\em arXiv preprint arXiv:2104.03870}, 2021.
\bibitem{calaque2020moduli}
Damien Calaque, Ricardo Campos, and Joost Nuiten.
\newblock Moduli problems for operadic algebras.
\newblock {\em arXiv preprint arXiv:1912.13495}, 2019.
\bibitem{DCShRatMot}
Ishai Dan-Cohen and Tomer Schlank.
\newblock Rational motivic path spaces and {K}im’s relative unipotent section
conjecture.
\newblock {\em Rendiconti del Seminario Matematico della Universit{\`a} di
Padova}, 2022.
\bibitem{deligne1989groupe}
Pierre Deligne.
\newblock Le groupe fondamental de la droite projective moins trois points.
\newblock In {\em Galois groups over Q}, pages 79--297. Springer, 1989.
\bibitem{Rune_operads_via_SymSeq}
Rune Haugseng.
\newblock $\infty$-operads via symmetric sequences.
\newblock {\em Mathematische Zeitschrift}, 301(1):115--171, 2022.
\bibitem{iwanari2017motivic}
Isamu Iwanari.
\newblock Motivic rational homotopy type.
\newblock {\em arXiv preprint arXiv:1707.04070}, 2017.
\bibitem{LodayVallette}
Jean-Louis Loday and Bruno Vallette.
\newblock {\em Algebraic operads}, volume 346 of {\em Grundlehren der
Mathematischen Wissenschaften [Fundamental Principles of Mathematical
Sciences]}.
\newblock Springer, Heidelberg, 2012.
\bibitem{HTT}
Jacob Lurie.
\newblock {\em Higher topos theory}, volume 170.
\newblock Princeton University Press, 2009.
\bibitem{HA}
Jacob Lurie.
\newblock Higher algebra, 2017.
\newblock \url{https://www.math.ias.edu/~lurie/papers/HA.pdf}.
\bibitem{MayLoops}
J.~P. May.
\newblock {\em The geometry of iterated loop spaces}.
\newblock Lecture Notes in Mathematics, Vol. 271. Springer-Verlag, Berlin-New
York, 1972.
\bibitem{PositsTwoKinds}
Leonid Positselski.
\newblock Two kinds of derived categories, {K}oszul duality, and
comodule-contramodule correspondence.
\newblock {\em Mem. Amer. Math. Soc.}, 212(996):vi+133, 2011.
\bibitem{pridham2018tannaka}
Jonathan~P Pridham.
\newblock Tannaka duality for enhanced triangulated categories {II}: $ t
$-structures and homotopy types.
\newblock {\em arXiv preprint arXiv:1309.0637}, 2018.
\end{thebibliography}