應用 slice category [tt-000H]

在這個情況下，對任意型別 $t$ ，slice category $C/t$ 表示「到達 $t$ 的 morphism」所構成的範疇，也就是 $C/t$ 的 objects 與 triangle morphisms。