la_3 使得 formula_4 是自由模。此时 formula_2 是 formula_6 的一个投影态射的项。
提昇性质.较容易操作也较符合范畴论思想的定义是利用提昇性质。模 formula_2 是投射模，若且唯若对任何模满射formula_8 及模态射 formula_9，存在模态射 formula_10 使得 formula_11（请留意：在此"不要求唯一性"）。用交换图表现则更明了：此定义的优势在于它可以推广到阿贝尔范畴，从而引至投射对象的概念，在此并不需要考虑自