topos generated by a collection of quasi-compact quasi-separated objects closed under finite products