Wiki. “Witt 向量” [Witt向量]

Witt 向量环是 λ-环到环的遗忘函子 $$ U \colon \Lambda\mathsf {Ring} \to \mathsf {Ring} $$ 的右伴随, 即余自由 Lambda 环.