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
We are extending the theory so that it works for simplicial Lie Algebroids in any topos . We can hopefully tackle the differential graded case and other gadgets, like crossed modules.