En la charla anterior probamos que las siguientes condiciones son equivalentes para cualquier clase \mathcal{C} de objetos finitamente n-presentados de una categoría de Grothendieck con suficientes idempotentes:
[a] {\rm pd}(\mathcal{C}) \leq 1.
[b] \mathcal{C}^{\perp_1} es una clase de torsión.
[c] \mathcal{C}^{\perp_1} es una clase 1-inclinante.
En particular, lo anterior implica que los objetos FPn-inyectivos forman una clase de torsión si, y sólo si, forman una clase 1-inclinante.