形式とは接ベクトル空間上の線形汎関数
余接ベクトルによる内積表示が可能なので、この余接ベクトルを形式とみなすこともアリ
余接ベクトルの共役は接ベクトルであろう
コフォームは接ベクトル