図式 (圏論)
集合論における添え字付き集合族に類似した概念が、圏論における図式である。一番の違いは、圏論では射にも添え字を付ける必要があることである。添え字付き集合族は、ある固定した集合で添え字付けた集合の集まりのことであり、これは、固定した添え字"集合"から"集合全体"のクラスへの"関数"のことであると言っているのと同じである。これに対して、図式は、ある固定した圏で添え字付けた対象と射の集まりのことであり、固定した添え字"圏"からある"圏"への"関手"のことであると言うこともできる。
図式は極限と余極限の定義において中心となる概念であり、とも関連している。