共尾函子

共尾函子(final functor)是代数K理论中定义纤维范畴时用到的一类重要函子。它是一类特殊的保积函子。设(C，⊥)，(D，⊥)为带积范畴，F：C→D为保积函子。若F(C)为D的共尾子范畴(即对任意A∈D，必有A′∈D与B∈C使得A⊥A′F(B))，则F称为共尾函子。函子是范畴间的一类特殊映射。有些问题中需研究两个范畴间的联系或通过这种联系由一个范畴的性质来推断另一范畴的性质，这就引出函子的概念。函子可看成范畴间的变换或同态，在范畴论中起着重要作用。