左随伴函手と余極限の交換
左随伴函手と余極限は交換する
https://gyazo.com/64a8233eacc54618c4f65ae7f3f8fb40
2019/8/16
dual.icon右随伴函手と極限の交換
ref.iconscrap:随伴関手 - 壱大整域