线性紧子范畴

linearly compact subcategory