Кодифференциальное исчисление

Планируется обсудить следующий вопрос, возникший в ходе обсуждений на семинаре. Пусть $\mathcal{H}_n$ - группа Гейзенберга. Как описать формализм дифференциального исчисления, который бы работал на $\mathcal{H}_n$ и совпадал с обычным дифференциальным исчислением на $\mathbb{R}^n$. Решение планируется с помощью двойственности Картье-Понтрягина и одной эквивалентности из статьи Квиллена про рациональную теорию гомотопий. Необходимые определения типа Кэлеровых дифференциалов, алгебр Хопфа и т.д. напомним для удобства слушателей по ходу доклада.