共尾函子(final functor)是代数K理论中定义纤维范畴时用到的一类重要函子。它是一类特殊的保积函子。设(C，⊥)，(D，⊥)为带积范畴，F：C→D为保积函子。若F(C)为D的共尾子范畴(即对任意A∈D，必有A′∈D与B∈C使得A⊥A′F(B))，则F称为共尾函子。1

函子函子是范畴间的一类特殊映射。有些问题中需研究两个范畴间的联系或通过这种联系由一个范畴的性质来推断另一范畴的性质，这就引出函子的概念。函子可看成范畴间的变换或同态，在范畴论中起着重要作用。若C，C′为两个范畴，F：C→C′使：

1.C的对象都变成C′的对象，即A∈C，F(A)∈C′；

2.σ∈HomC(A，B)，σ都被F变成F(σ)∈HomC′(F(A)，F(B))；

3.F(στ)=F(σ)F(τ)对C中可合成态射σ，τ成立；

4.F(εA)=εF(A)，其中ε表恒等态射；

则称F为C到C′的一个共变函子(亦称协变函子)。若上述条件1，4不变而条件2，3分别改为：

2′.σ∈HomC(A，B)，有F(σ)∈HomC′(F(B)，F(A))；

3′. F(στ)=F(τ)F(σ)；1

则称为C到C′的一个反变函子(亦称逆变函子)。共变函子与反变函子又统称为函子。但有时也将共变函子简称函子。

纤维范畴纤维范畴是一个带积合成范畴。它是由两个带积范畴及它们之间的保积函子定义的。利用它可得到K0群、K1群的有意义的正合列。设(C，⊥)，(D，⊥)为两个带积范畴，F：C→D为保积函子。定义一个新范畴ΦF如下：其对象类为{(M，N，α)|M，N∈C，α：F(M)F(N)}；(M，N，α)与(M′，N′，α′)间的态射集定义为：

{(β，γ)|β：MM′，γ：NN′使F(γ)α=α′F(β)};

态射合成法则为(β，γ)(β′，γ′)=(ββ′，γγ′);对象积法则为(M，N，α)⊥(M′，N′，α′)=(M⊥M′，N⊥N′，ψ(α⊥α′)ψ)，其中ψ为同构F(X⊥Y)F(X)⊥F(Y)；

对象合成法则为：(M，N，α)°(N，P，β)=(M，P，βα)，

称ΦF为C，D的纤维范畴。当F为共尾函子时，有群正合列K1C→K1D→K0ΦF→K0C→K0D.当R为交换环时，Pic RK0(R)/K0Φdet。

范畴论代数学的一个重要分支。数学的各个领域都有各自的研究对象。例如，集合论研究集合与映射；线性代数研究线性空间与线性映射；群论研究群与群同态；拓扑学研究拓扑空间与连续映射。在20世纪中期，数学家们认为有必要将各个领域中的研究对象各自合在一起成为一个整体，使之成为一种数学系统，这就是范畴思想。于是，所有的集合与映射组成集合范畴；所有的群与群同态组成群范畴。在各个范畴之间往往存在着内在联系与变换。例如，一个群模去其换位子群的商群(称为交换化)得到一个交换群，从而交换化成为群范畴到交换群范畴的一个变换，且这个变换保持着群同态及其合成。事实上，这就是函子的思想.在域F上的线性空间范畴中，任一线性空间L必有惟一的对偶空间L=HomF(L，F)，“*”可看成这个线性空间范畴到自身的一个变换。尽管当L为有限维时L与L是同构的(记这个同构为τ：L→L)，但这个同构不是“自然”的。即，若L1与L2间有一个同构α：L1→L2，“*”诱导出L2到L1的一个同构为α，但对L1中的元素x来说，τα(x)一般地并不等于ατ(x)。这就引起“自然性”的研究。艾伦伯格(Eilenberg，S.)与麦克莱恩(MacLane，S.)于1945年发表的论文《自然等价的一般理论》为范畴论的建立作出了奠基性的工作。

在某种意义上来说，范畴论提炼了数学(甚至其他学科)各分支的共性，是比集合论更高一个层次的数学公共语言与工具。它使数学各个领域的研究通过箭头图做了一致化与简单化的处理，更加显示其本质上的东西，同时使许多数学系统的性质通过图的泛性质得到了深刻的刻画。戈德门特(Godement，R.)于1958年将范畴论应用到拓扑学，埃雷斯曼(Ehresmann，C.)于1958年将范畴论应用到微分几何，格罗腾迪克(Grothendieck，A.)与迪厄多内(Dieudonné，J.)于1960年将范畴论应用到代数几何。现在，范畴论在上述学科及同调代数、代数K理论、模论、环论等学科中都得到了成功的应用。应用范畴论时，关键是先搞清研究问题以什么作对象，以什么作态射(参见“范畴”).研究不同范畴之间的关系时，关键在于找到适当的函子.范畴论的核心是函子理论。艾伦伯格与麦克莱恩为了搞清某些同构(等价)的“自然”变换之精确含义，于1945年引入范畴与函子的概念去定义自然变换。现在，范畴论已渗透到现代数学的各个领域(甚至已应用到计算机科学等)，成为现代数学的基础。1

本词条内容贡献者为:

王海侠 - 副教授 - 南京理工大学