在数学里的范畴论中，极限的概念融贯了多种构造，包括和、积等等；范畴论中许多泛性质也可从极限来理解。极限分为极限与余极限（又称上极限），彼此的定义相对偶。在不同场合的别名及英译如下表：本条目用语取归纳极限与射影极限。
定义.一范畴 "C" 中的极限及上极限可用 "C" 中的图示来定义。形式上，"C" 中类型 "J" 的图示是指一个由 "J" 映射至 "C" 的函子：范畴 "J" 称之为「索引范畴」，图示 "F" 可想做是以 "J" 索引 "C" 内的物件及态射。"J" 实际