Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sorry, if my notation is weird. Let K denote the monoidal homotopy category of chain complexes over k. Given K-functors $$F: C \otimes D ^{op} \to K, G: D \otimes E^{op} \to K,$$ what is the explicit description of their composition as profunctors? I believe the abstract description in terms of tracing out with coend, http://ncatlab.org/nlab/show/profunctor (which I don't understand yet) in this particular case has something to do with the bar complex, and in appropriate sense Hochschild homology.

share|improve this question
You can't actually do that composition with the homotopy category of chain complexes, since that doesn't have the limits and colimits required for the coend construction. If you do it in the $(\infty,1)$-category of chain complexes, with a homotopy coend, then you will get something to do with bar constructions and HH. –  Mike Shulman Dec 28 '11 at 8:02
Thanks Mike, I think i actually needed K to be the dg category of chain complexes over k. Not sure that helps the completeness problem, but that seems closer related to $\infty,1$-category you mentioned. What would be a reference to learn this stuff. Specifically what exactly is the $\infty,1$-category you mentioned. Do you just define n-morphisms to be higher order chain homotopies, i.e. morphisms in the dg category of chain complexes? –  yasha Dec 29 '11 at 18:59
The dg-category of chain complexes is cocomplete, so you can do composition there, but in general it won't be "homotopically meaningful" (i.e. represent the right construction at the $(\infty,1)$-category level) --- you'd need to do some sort of cofibrant replacement. I'd recommend learning some about model categories to start with; the $(\infty,1)$-category of chain complexes is probably best thought of as the homotopy $(\infty,1)$-category of the model category thereof. –  Mike Shulman Jan 3 '12 at 2:38
add comment

Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

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.