圖示_(範疇論)

在範疇論中 ， 圖示是集合論中的索引族於範疇論中的類比 。 兩者主要的不同在於 ， 在範疇論中 ， 態射也需要索引 。 集合的索引族是指由一個固定的集合索引的一組集合 ， 亦可以說是由一個固定的索引 「 集合 」 映射至一組 「 集合 」 的 「 函數 」 。 圖示則是指由一固定範疇索引的一組物件及態射 ， 亦可以說是由一固定索引 「 範疇 」 映射至某些 「 範疇 」 的 「 函子 」 。 圖示及錐體是用來定義極限的核心概念 。