極限 (圏論)
極限と余極限は図式を使わずに、対象と射の集まりが与えられれば定義することができる。この場合の定義も上と同じである(上の定義ではJの射の合成を全く使わなかったことに注意)。しかしながら、この定義は何も新しい情報をもたらさない。対象と射の集まりは(大きくなりうる)有向グラフGを定める。そして、JをGの生成する自由圏とすると、Gの像を包含する普遍的な図式F : J → Cが存在する。この図式の極限(余極限)はもとの対象と射の集まりの極限(余極限)と同じになる。
弱極限と弱余極限は極限と余極限の定義から仲介射の一意性を除いたものをいう。