I am visiting Ugo Bruzzo at the International School for Advanced Studies (SISSA) in Trieste, Italy from January 5 through February 5, 2018.

We are working on Lie Algebroids on schemes, improving on arXiv:1711.05156.

The basic theme is to study Lie Algebroid extensions 00.0\to \mathcal{M}\to \mathcal{E} \to \mathcal{L}\to 0.

We are extending the theory so that it works for simplicial Lie Algebroids in any topos 𝖳\mathsf{T}. We can hopefully tackle the differential graded case and other gadgets, like crossed modules.