J-型の図式と呼ぶこともある[1]。対象や射自体にはたいした意味はなく、それらがどのように繋がっているかが重要となる。対象と射の集まりに添え字付けていると考えることもできる。形式上は、図式と関手、スキームと圏の間にはなんの違いもない。集合論の場合と同様に、用語を使い分けることでものの見方を変えているだけである。添え字の圏を固定して、関手(とその余ドメイン)を変化させようとしているときに図式と呼ぶのである。小さい圏や有限である。このとき、図式は小さいとか有限であるという。J-型図式の射とは、これら関手の間の自然変換をいう。して、したがって図式をこの圏の対象として解釈するというふうに言うこともできる。恒等射にうつす図式をいう。定図式を表す記法として、下線を使うことがある。対象の添え字付けられた族を言う。これを使って極限を取ると積が得られ、余極限を取ると余積が得られる。二対象離散圏の場合の極限は単に二項積である。スパン(英語版)と呼び、その余極限は押し出し(英語版)である。)離散圏で、その余極限は単なる二項余積になる。この例は、集合論的な添字集合の概念の図式の概念を用いた一般化の重要な方法論を示すものになっている。含まれていることによって、図式から作られる構成に追加の構造を持たせることが可能となる。単なる集合を添え字にした場合、対象の間の関係を持っていないため、このような構造を表現することはできない。余スパン(英語版)と言い、その極限を引き戻しと呼ぶ。quiverと呼ばれる。箙となり、極限は等化子であり、余極限は余等化子である。あるようなものになる。有向であるとき、J-型の図式は対象と射からなる直系という。図式が反変関手である場合は逆系である。