generated at
右随伴函手と極限の交換
右随伴函手と極限は交換する

dual左随伴函手と余極限の交換