Cofree 模

一种模，相对于自由模具有对偶性质，如下所述。

1. 每个自由模都是投射模；每个 Cofree 模都是内射模。

2. 对于每个模 ，存在从自由模到 的满同态；对于每个模 ，存在从 到 Cofree 模的单同态。

3. 一个模是投射模当且仅当它可以通过直和补全为自由模；一个模是内射模当且仅当它可以通过直积补全为 Cofree 模。

在单位环 上的每个 Cofree 模都同构于一个直积

以某个集合 为索引。