余極限
特定の添字圏に選んだ場合、その余極限には特殊な名前がつくものがある
押し出しは添字圏が↓のときの余極限
https://gyazo.com/77091977a1d141beb9214819f29b5a00