Cofree 模

一種模，相對於自由模具有對偶性質，如下所述。

1. 每個自由模都是投射模；每個 Cofree 模都是內射模。

2. 對於每個模 ，存在從自由模到 的滿同態；對於每個模 ，存在從 到 Cofree 模的單同態。

3. 一個模是投射模當且僅當它可以透過直和補全為自由模；一個模是內射模當且僅當它可以透過直積補全為 Cofree 模。

在單位環 上的每個 Cofree 模都同構於一個直積

以某個集合 為索引。