MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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

Related to this question, I would like to know, if there is an explicit presentation of the $(\infty,1)$-category of a model category of abelian chain complexes, but this time in terms of simplicial categories. (Categories with some kind of simplicial sets as hom spaces).

The motivation is more or less the same as in the link above,i.e. as a good and understandable example of $(\infty,1)$-categories.

share|cite|improve this question

I don't know what 'explicit' means, but this is all covered in Higher Algebra very well.

If you want a simplicial category at the end of the day, you can either...

  1. Take your favorite $\infty$-category (quasi-category) presentation, and straighten it to a simplicial category. (But no one wants to do this... it doesn't sound like fun.)
  2. Take the category of chain complexes and view at as a category enriched over itself via the internal hom. Now truncate the Hom-complexes and use Dold-Kan to get a (fibrant) simplicial set. This makes a fibrant simplicial category, which is equivalent to all the other things you might want. (For example, the homotopy category is correct, and the corresponding $\infty$-category is equivalent to one you might make from the dg-category of chain complexes, both of which agree with the $\infty$-category underlying the model category of chain complexes for a Grothendieck abelian category when this makes sense. All of your dreams come true!)

See $\S$1.3 of Higher Algebra for all the details.

share|cite|improve this answer
Also, more generally, if you want to get a simplicial category from a model category, you can always use one of the many variations of Dwyer-Kan localizations. – Dylan Wilson Jun 2 '13 at 0:12
(If it's a simplicial model category then you can just look at the category of cofibrant-fibrant objects, but some part of me feels like chain complexes don't always form a simplicial model category...) – Dylan Wilson Jun 2 '13 at 0:13
Yes I tink I'm more or less after 2.) ... But most likely this has already been done somewhere. And I would prefere to read that instead of calculating it by myself. – Nevermind Jun 2 '13 at 0:16
It's worth mentioning that you have to be a little bit careful about the interaction between the Dold-Kan correspondence and the monoidal structure here. – Tyler Lawson Jun 2 '13 at 3:39
Two issues are the monoidal behavior of Dold-Kan (as Tyler mentioned), and also the loss of stability. Most people would want a stability property on both the simplicial model category and on the oo-category side, but when you do this Dold-Kan construction, it may happen that non-equivalent objects become equivalent after truncation of Homs. The quasi-category wants to be stable, but not before a stabilization. – Hiro Lee Tanaka Jun 2 '13 at 14:13

The monoidal closed category of chain complexes was discussed in my 1964 paper Cohomology with chains as coefficients, (Proc LMS) including the relation with the Dold-Kan functor, but not using that terminology.

Part of the problem is that the "natural" monoidal closed structure on simplicial abelian groups, using tensor in each dimension, is not the one that comes from chain complexes and the Dold-Kan equivalence! This problem has been recently studied by Joyal.

In my experience cubical methods have value in handling higher homotopies, because of the formula $I^n \times I^m \cong I^{m+n}$. There is a Dold-Kan type theorem for cubical abelian groups (with connections!).

share|cite|improve this answer

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.