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

It is known that there is a model structure on category of dg algebras (non-commutative over arbitrary commutative ring). In particular it is complete and co-complete category. My question is how to construct limits and co-limits. I'm especially interested in co-equalizers.

share|cite|improve this question
That's extremely complicated. There's no explicit way of doing it. The existence of such colimits is via general categorical results which, in my experience, are impossible to trace back in order to recover a sensible construction. – Fernando Muro Apr 23 '13 at 20:26
up vote 4 down vote accepted

There is a general bit of category theory that was applied to ring spectra in EKMM ([83] on my website) and I'll refer to that for details. Unless I am missing something, the discussion surely specializes just as well to dg algebras over a commutative ring $R$. I'll outline the recipe it gives for constructing all colimits of dg $R$-algebras as reflexive coequalizers in the category $Ch_R$ of chain complexes over $R$.

The free graded $R$-algebra functor induces a free dg $R$-algebra functor on $Ch_R$. That gives a monad $T$ on $Ch_R$ whose algebras are the dg $R$-algebras. This monad preserves reflexive coequalizers by Prop. 7.2, p. 47. Therefore, by Lemma 6.6, p. 46, if $g\colon B\to C$ is a reflexive coequalizer of maps $e,f\colon A\to B$ in $Ch_R$ such that $A$ and $B$ are $T$-algebras and $e$ and $f$ are maps of $T$ algebras, then $C$ has a unique structure of $T$-algebra such that $g$ is a map of $T$-algebras, and $g$ is the coequalizer of $e$ and $f$ in the category of $T$-algebras. Now all colimits in the category of $T$-algebras are constructed from just such reflexive coequalizer diagrams in $Ch_R$, as shown in the proof that the category of $T$-algebras is cocomplete given in Prop. 7.4, p. 49.

share|cite|improve this answer
Thank you for the answer. – jsfdlkdj Apr 24 '13 at 19:42

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.