I intend to create a page for the recognition theorem for relative loop spaces in https://msp.org/agt/2020/20-3/p08.xhtml

As instructed in the How to page, I’m creating the link through this page

Renato V V

]]>Fixed the indexing. Lurie’s statement equates $E_n$ groups with $n$-connective spaces, but $n$-connective means $(n-1)$-connected.

e.g., the base case equates groups (which are $E_1$) with pointed connected spaces, but connected means $0$-connected.

]]>Fixed the indexing. Lurie’s statement equates $E_n$ groups with $n$-connective spaces, but $n$-connective means $(n-1)$-connected.

e.g., the base case equates groups (which are $E_1$) with pointed connected spaces, but connected means $0$-connected.

]]>now some minimum in place

Remark 1: We had this already stated in various entries, such as at *looping and delooping*, but statement and citations there had been somewhat incomplete.

Remark 2: There is another old nForum thread with the same title, but in a different category: *May recognition theorem (in Mathematics, Physics & Philosophy)*

starting something, not done yet

]]>