8
$\begingroup$

The definition of a monoidal model category requires that the tensor product is biclosed (such is needed to ensure that the tensor product is derivable in both variables). Obviously, in the situation of relative categories and simplicial categories, which we know model all $\infty$-categories, we can't really pull this off.

So a few questions:

What explicit data, if any, give $E_1$-monoidal structures on simplicial and relative categories?

Given an actual monoidal model category $M$, an on-the-nose braiding satisfying the strict coherences gives $M$ an $E_2$ monoidal structure. Are all $E_2$ enhancements represented by strict braidings?

More generally, can we say that a monoidal model category $M$ is $E_n$ monoidal by demanding that particular explicit function complexes are $n$-connected?

Improve this question
$\endgroup$
1
  • 1
    $\begingroup$ Regarding the last question, it sounds fishy to ask that $E_n$-ness be equivalent to a connectedness condition, since $E_n$-ness is generally a structure rather than a property. But perhaps with enough strictness it becomes a property... $\endgroup$
    – Tim Campion
    Commented Sep 13, 2018 at 7:35

0

Reset to default

You must log in to answer this question.

Browse other questions tagged .