定義
(C, U) を A 上の準具象圏(過去スレ019の794)とする。
C の対象 X は任意の埋め込み(過去スレ019の816) X → Y が
断面(過去スレ018の430)となるとき絶対レトラクト(absolute retract)と呼ばれる。