Skip to main content
1 of 4
Denis Nardin
  • 16.5k
  • 2
  • 69
  • 103

This is worked out in Higher Algebra, example 3.2.4.4.

Concretely, $\mathrm{Alg}_{\mathcal{O}}(\mathcal{C})^\otimes$ is defined as follows: it is the simplicial set over $\mathrm{Fin}_\ast$ such that for any simplicial set $K\to \mathrm{Fin}_\ast$, the set of maps $K\to \mathrm{Alg}_{\mathcal{O}}(\mathcal{C})^\otimes$ over $\mathrm{Fin}_\ast$ is equivalent to the set of diagrams $$ \require{AMScd} \begin{CD} K\times\mathcal{O}^\otimes @>>> \mathcal{C}^\otimes\\ @VVV @VVV \\ \mathrm{Fin}_\ast\times\mathcal{O}^\otimes @>>> \mathrm{Fin}_\ast \end{CD} $$ such that for every $k\in K$ restriction of the top arrow to $\{k\}\times \mathcal{O}^\otimes$ sends inert morphisms to inert morphisms. Here the bottom arrow is (a choice for) the unique bifunctor of operads $\mathrm{Fin}\ast\times\mathcal{O}^\otimes\to \mathrm{Fin}\ast.

If you consider the fiber over $1_+$, you see that it is exactly $\mathrm{Alg}_\mathcal{O}(\mathcal{C})$, moreover for every $o\in\mathcal{O}$ there is a canonical symmetric monoidal functor $\mathrm{Alg}_\mathcal{O}(\mathcal{C})^\otimes\to \mathcal{C}^\otimes$, given by taking the fiber over $o$ of the previous diagram, thus showing that this deserves the name "pointwise tensor product".

Denis Nardin
  • 16.5k
  • 2
  • 69
  • 103