極限 (圏論)
古い用語では極限のことを「逆極限」や「射影極限」と呼び、余極限を「順極限」や「帰納極限」と呼ぶ。これは多くの混乱の原因となった。
現代的な用語を覚えるいくつかの方法がある。最初に、
余核
余積
余等化子
余ドメイン
は余極限の一種であり、
核
積
等化子
ドメイン
は極限の一種である。次に、「余」という接頭辞は「 Hom {\displaystyle \operatorname {Hom} } の最初の変数」を暗に示している。「コホモロジー」や「余ファイブレーション」のような用語は最初の変数、つまり二項関手 Hom {\displaystyle \operatorname {Hom} } の反変な側の変数ととても強く関連している。