Concepts
topos generated by a collection of quasi-compact quasi-separated objects closed under finite products
common · Q97354613