右随伴函手と極限の交換
右随伴函手と極限は交換する
dual.icon左随伴函手と余極限の交換