MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Is there a monoidal structure on the category $Spc^{\Delta}$ of cosimplicial spaces such that in the adjunction $$ \Delta^{\bullet}\otimes-\colon Spc\leftrightarrows Spc^{\Delta}\colon Tot(-) $$ the left adjoint is (strong) symmetric monoidal? If this is true, can it be generalized by replacing $Spc$ by any symmetric monoidal category?

share|cite|improve this question
If you haven't seen it, look at McClure and Smith, "Cosimplicial objects and little n-cubes, I" . I don't think they answer your question, but they do produce monoidal structures on cosimplicial spaces, which I believe have the property that the functor $Spc\to Spc^\Delta$ sending a space to the constant cosimplicial diagram on that space is strongly monoidal. – Charles Rezk Oct 20 '10 at 17:54
Thanks, I will take a look at it although I really need the Tot functor being part of the adjunction. By the way, the correct link for the McClure and Smith paper mentioned above is – Toribio Smith Oct 21 '10 at 13:57

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.