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

How do you define the Hochschild (co)homology of a dg category or an A-infinity category? I've only seen it defined when the category is equivalent to a category of modules over a dg algebra; then the Hochschild (co)homology is just that of the algebra. But more generally?

share|cite|improve this question
up vote 6 down vote accepted

It's the self-Ext algebra of the identity functor from the category to itself. So, for an algebra, this reduces to the self-Ext algebra of the diagonal bimodule, since tensor product with that is the identity functor.

share|cite|improve this answer

Here's a very explicit answer. You can use a bar complex equally well for $A_{\infty}$ categories and $A_{\infty}$ algebras.

Thus consider $\bigoplus_{k=2}^{\infty} A^{\otimes k}$, put a grading on this as a sum of the number of tensor factors and of the internal gradings (maybe with a shift so we start at $0$), and make this into a complex by defining $d$ to be the sum (with appropriate signs) of all ways to apply an $m_{j}$ (from the original $A_{\infty}$ category) to consecutive tensor factors.

Now take coinvariants and homology.

share|cite|improve this answer

The appropriate general notion is that of Drinfeld center, see

share|cite|improve this answer

Maybe this answer comes five years too late, but I have recently put an elementary construction of the Hochschild (co)homology of $A_\infty$-algebras on the arXiv:

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.