圏"c"における極限と余極限は"c"上の図式に関して定義される。