的图示是指一个由 "J" 映射至 "C" 的函子：范畴 "J" 称之为「索引范畴」，图示 "F" 可想做是以 "J" 索引 "C" 内的物件及态射。"J" 实际的物件及态射为何并不重要，关键在于之间的互动。通常，最感兴趣的情况是当类型J为小范畴或有限范畴之时，此类图示分别被称为「小图示」及「有限图示」。
极限.设 "F" : "J" → "C" 为一个在范畴 "C" 中类型 "J" 的图示。一个对应于 "F" 的「锥体」是指 "C" 中的一物件 "N" ，具有可以 "J" 内