“…Later, in [14], the definition was adapted to the context of Lie algebras, where it was further studied in [26,13]. Since then, several other particular instances of compatible actions have been defined or used, in various settings: see for example [17,9,8], and [22,23] where the non-abelian derived functors of ⊗ were studied.…”