Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Thank you so much for the answer! I know the definition of derived tensor, but I don't know what $R\otimes^L R^\mathrm{op}$ means. It is supposed to be a some kind of ring... Could you explain it?