図式F:J→Cの極限とはFへの錐(L,φ)であって、他のどのFへの錐(N,ψ)に対しても、一意な射u:N→Lが存在して、Jの全ての対象XがφXou=ψXを満たすようにできるものをいう。
图示F:J→C的极限是一个对应于F的锥体(L,φ)，使得对所有其他对应于F之锥体(N,ψ)，总存在一个“唯一的”态射u:N→L，使得对所有J中的X，φXou=ψX。