Skip to main content
oops, chains become cochains
Source Link
S. Carnahan
  • 45.7k
  • 6
  • 114
  • 220

Section 2.5 (third paragraph) in Lurie's DAG 6 (on his web page) has a general explanation. For a space to have an n-fold loop space structure is equivalent to having an action of the E[n] operad, and taking E[n] Hochschild chainscochains amounts to looping. For the case under consideration, E[1] is equivalent to A-infinity, and the little discs operad is a model of E[2].

Section 2.5 (third paragraph) in Lurie's DAG 6 (on his web page) has a general explanation. For a space to have an n-fold loop space structure is equivalent to having an action of the E[n] operad, and taking E[n] Hochschild chains amounts to looping. For the case under consideration, E[1] is equivalent to A-infinity, and the little discs operad is a model of E[2].

Section 2.5 (third paragraph) in Lurie's DAG 6 (on his web page) has a general explanation. For a space to have an n-fold loop space structure is equivalent to having an action of the E[n] operad, and taking E[n] Hochschild cochains amounts to looping. For the case under consideration, E[1] is equivalent to A-infinity, and the little discs operad is a model of E[2].

Source Link
S. Carnahan
  • 45.7k
  • 6
  • 114
  • 220

Section 2.5 (third paragraph) in Lurie's DAG 6 (on his web page) has a general explanation. For a space to have an n-fold loop space structure is equivalent to having an action of the E[n] operad, and taking E[n] Hochschild chains amounts to looping. For the case under consideration, E[1] is equivalent to A-infinity, and the little discs operad is a model of E[2].