范畴空缺

SLC∩TLC = Φ = 0

范畴整合、再范畴化

范畴错位

SLC > TLC/SLC < TLC

再范畴化、跨范畴化

范畴对等

SLC∩TLC = 1

范畴替换