餘模

模是被代數作用的向量空間：代數伸進來挪動向量。餘模是鏡像：空間不是被作用，而是餘作用到自身與餘代數的張量積上，記錄「每個向量可能來自何處」。若模是對稱如何推動空間，則餘模是空間如何把自身分解為被餘代數標記的碎片。

形式地，餘代數 C 上的右餘模是帶線性餘作用 ρ : M -> M ⊗ C 的向量空間 M，滿足餘結合性 (ρ ⊗ id) ∘ ρ = (id ⊗ Δ) ∘ ρ 與餘單位性 (id ⊗ ε) ∘ ρ = id（在 M ⊗ k ≅ M 後）。用斯威德勒式記號 ρ(m) = Σ m(0) ⊗ m(1)，(0)-腿在 M 中，(1)-腿在 C 中。

餘模對偶於模，且往往更接近幾何。代數群 G 的坐標霍普夫代數 O(G) 上的餘模恰是 G 的有理（代數）表示，而 O(G) 上的模則遠為僵硬。所以餘模語言是仿射群概形表示的天然歸宿，並在形變後成為量子群表示的歸宿。