4
$\begingroup$

I am trying to reduce the computation of weak operadic colimits to colimits. Let me introduct some notation. Let $q:C^{\otimes} \to N(Fin_*)$ be a symmetric monoidal category.

Let $p: K \to C^{\otimes}_{act}$ be a diagram. Define $p^{\otimes}: K \to C$ in the following way. For every $k \in K$, there is a cocartesian lifting $s(k): p(k) \to k'$ of the unique active map $qp(k) \to <1>$.

Furthermore, we have an homotopy between $qp: K \to N(Fin_*)^{act}$ and the constant functor $<1>$, because $<1>$ is final in $N(Fin_*)^{act}$.

By a lemma used in the proof of the existence of transition functors, one can lift this homotopy to an homotopy $H: K \times \Delta^1 \to C^{\otimes}_{act}$. In particular, this yield a functor $H | K \times \Delta^{\{1\}} =: p^{\otimes}: K \to C$, the underlying category of $C^{\otimes}$.

Set $C^{act}_{p/}:= C \times_{C^{\otimes}_{act}} (C^{\otimes}_{act})_{p/} $, i.e. cocones with cocone point lying over 1. I want to show that $$ C^{act}_{p/} \simeq C_{p^{\otimes}/} $$

The idea behind is the following: if $K$ was a point, we could lift a map $p^{\otimes}(k) \to c$ to a map $p(k) \to c$ via the cocartesian lift $s(k)$. This realizes the intuitive idea that $Mul_{C^{\otimes}}( (X_1, \ldots, X_n), c) \simeq Hom_C( X_1 \otimes \ldots \otimes X_n, c)$. I believe that this could be generalized to arbitrary diagrams: intuitively, if we have a cone towards an object lying over 1, this factors through a cone lying over 1, made of "pointwise tensor products".

Note that this would yield the following

Corollary. Let $\bar{p}:K^{\triangleright} \to C^{\otimes}_{act}$ a diagram. Then it is a weak operadic q-colimit diagram iff $\bar{p}^{\otimes}$ is a colimit diagram, because equivalences preserve initial objects.

I would be happy also if someone could solve the case $K=\Delta^1$, that would shed light on how to solve the general case simplex by simplex.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.