极限，高等数学和数学分析中的概念
其定义为：定义范畴AA的子范畴BB上的函子F，F：BB->AA称为一个图，若Fφ：FB->FB'，ψB'：FB'->C与ψB：FB->C交换，C为AA的一个对象；ψ：F->C包含一族态射{ψB：FB->C}，若F是一个图，则ψ同样称作一个态射；于是若ψ给定，对任意ψ'：F->A'为态射，存在唯一γ：A->A'为态射，使对于任意B有γψB=ψ'B，则称态射ψ与对象A为F的余极限
把箭头全部反转得到极限的定义
这真是太高数啦，我到底是哪根筋搭错要去看gtm……