図式F:J→Cの余極限とはFからの余錐(L,ϕ{\displaystyle\phi})であって、Fからの他の余錐(N,ψ)についていつでも、一意的な射u:L→Nが存在して、全てのJの対象Xがuoϕ{\displaystyle\phi}X=ψXを満たすことをいう。
图示F:J→C的上极限是F的上锥体(L,ϕ{\displaystyle\phi})，使得对所有其他对应于F的上锥体(N,ψ)，总存在一个“唯一的”态射u:L→N，使得对所有J中的X，uoϕ{\displaystyle\phi}X=ψX。