# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeMar 30th 2011
• (edited May 12th 2013)

There used to be a warning at infinity-Lie algebra cohomology about whether or not a certain functor needs to be regarded as a derived functor in order to get the correct homotopy-theoretic interpretation of oo-Lie algebroid extensions. I think I have now spelled out at synthetic differential infinity-groupoid the required details and so I replaced that warning with a pointer to a section in that latter entry.

All this can do with a good bit more polishing. I’ll see what I can do eventually.

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeMay 12th 2013

Have added pointers to the recognition theorem for homotopy fibers of $L_\infty$-homomorphisms – hence for $L_\infty$-algebra extensions classified by $L_\infty$-cocycles – which is theorem 3.1.13 in Fiorenza-Rogers-Schreiber 13 to