在范畴论中，图示是集合论中的索引族于范畴论中的类比。两者主要的不同在于，在范畴论中，态射也需要索引。集合的索引族是指由一个固定的集合索引的一组集合，亦可以说是由一个固定的索引「集合」映射至一组「集合」的「函数」。图示则是指由一固定范畴索引的一组物件及态射，亦可以说是由一固定索引「范畴」映射至某些「范畴」的「函子」。图示及锥体是用来定义极限的核心概念。
定义.在一范畴 "C"中类型"J"的图示是指一个（协变）函子范畴"J"被称之为图示"D"的索引范畴，此一函子有时亦被称为"J"