什么叫反向取整

反向取整(inverse system)是指范畴论的基本概念之一，它是积与拉回概念的推广，也是正向极限的对偶概念，在范畴论、同调代数、代数K理论、代数几何等学科中有重要应用.设矛为一个范畴，了为一个拟序集所成的范畴.省的一个带指标集了的反向系是指一个反变函子F范畴子中的反向系是一个拟序集所成范畴到`iG的一个反变函子。