特定の添字圏に選んだ場合、その余極限には特殊な名前がつくものがある

押し出しは添字圏が↓のときの余極限