Would it make sense

Certainly!

]]>For instance:

- there is Benjamin Hennion's work that extend the Pridham-Lurie theorem over a cdga (rather than just a field).

- there is Joost Nuiten's work on the equivalence between Lie algebroids and formal thickenings of a derived affine scheme (this encompasses Hennion's work mentioned above).

- there is Lurie's work (already in DAG X) about E_n-FMPs.

- there is my work with Campos and Nuiten that generalizes the equivalence to the case of a pair of Koszul dual operads (the theorem of Lurie and Pridham corresponds to the (Com,Lie) duality).

Finally, there is a nice reference on FMP, that is Toën's Bourbaki seminar: https://hal.archives-ouvertes.fr/hal-01253022v2

Damien (Calaque) ]]>

Adds a brief elaboration on interpreting the infinitesmally-cartesian condition in obstruction theory.

Jake Bian

]]>Thanks for the alert.

I have briefly added the missing clause now.

But the entry remains a stub, waiting for somebody to expand on it.

]]>FMPs are not required to preserve all pull-backs between small objects, but onty pull-backs along small morphisms. ]]>

Added

]]>Lukas Brantner, Akhil Mathew,

Deformation Theory and Partition Lie Algebras, arXiv:1904.07352