True, this can’t be right as stated, nor is the Definition-section here the right place to discuss this. I have deleted the line. Thanks for catching this.

]]>I have expanded a little at *simplicial ring*, making the reflective inclusion of ordinary rings manifest.

added to simplicial ring the definition of the model catgeory structure on modules over simplicial rings.

I suppose stronger statements are possible, but this I see stated in Toen's lectures and thus briefly noted it down

]]>