generated at
極限は対角函手の右随伴
極限は対角函手の右随伴函手

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