Вот еще такое появилось (by Victor Roca i Lucio)

[posic]

The integration theory of curved absolute homotopy Lie algebras -- https://arxiv.org/abs/2207.11115

Там и контрамодули есть, и кривизна, и чего там только нет.

P.S. Можно, кстати, сравнить с моим старым постингом https://posic.livejournal.com/282637.html или вот еще с https://posic.livejournal.com/1048601.html