極限は対角函手の右随伴
極限は対角函手の右随伴函手
dual.icon余極限は対角函手の左随伴