定義
(C, U) を A 上の準具象圏(>>794)とする。
X ∈ C は任意の A-射 |X| → |Y| が C-射であるとき離散的(discrete)であると言う。