Дифференциальная форма на многообразии M — это функция на SMan(R^{0|1}, M).
SMan обозначает внутренний Hom в категории супермногообразий.
Из действия группы диффеоморфизмов R^{0|1} немедленно извлекается градуировка и дифференциал де Рама.

(Reply to this) (Parent)