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