generated at
2/21/2025, 9:05:59 PM
左随伴函手と余極限の交換
左随伴函手
と
余極限
は交換する
2019/8/16
右随伴函手と極限の交換
scrap:随伴関手 - 壱大整域
