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.
Hi @FernandoMuro and thanks! In my case, I'm not considering strict $L_\infty$-morphisms. By the way, how can I argue the existence of homotopy limits? Does it follow from the fact that the category of $ L_\infity$ algebras is an algebra over an operad? (sorry for the naive questions, but I'm a beginner in these things)