定義
C を圏とする。
M を C の射からなる類(過去スレ017の323)とする。
C の対象 X は任意の M-射 X → Y が
断面(過去スレ018の430)となるとき M-絶対レトラクト(M-absolute retract)と呼ばれる。