定義
(C, U) と (D, V) を圏 A 上の準具象圏(過去スレ019の794)とする。
F：C → D と G：C → D を準具象関手(>>760)とする。
自然変換(過去スレ017の370) τ：F → G は、各 C-対象 X に対象に対して
V(τ(X))：V(F(X)) → V(G(X)) が単位射 1_U(X)：U(X) → U(X) に等しいとき
準具象的と言う。