A full triangulated subcategory of triangulated category is localizing if it is stable for coproducts. If, further, is -triangulated, we say that is -ideal if for all and all . Analogously, a full triangulated subcategory is colocalizing if it is stable for products. If, further, is closed, i.e. -triangulated with internal homs (denoted ), we say that is -coideal if for all and all . For a point generated concentrated scheme , we prove that all -ideal localizing subcategories of are classified by the subsets of . As a consequence, we prove that for -coideal colocalizing subcategories of the same holds. Moreover, every such colocalizing subcategory is of the form , where is a -ideal localizing subcategory of .

生成讲解博客的中文版本

生成AI智能校验的中文版本