至一组「集合」的「函数」。图示则是指由一固定范畴索引的一组物件及态射，亦可以说是由一固定索引「范畴」映射至某些「范畴」的「函子」。图示及锥体是用来定义极限的核心概念。
定义.在一范畴 "C"中类型"J"的图示是指一个（协变）函子范畴"J"被称之为图示"D"的索引范畴，此一函子有时亦被称为"J"型图示。"J"实际的物件及态射为何并不重要，关键在于之间的互动。图示"D"可想做是以"J"索引"C"内的物件及态射。技术上，「图示」及「函子」，以及「索引范畴」及「范畴」间并没有什么