Schreiber
structures in an (∞,1)-topos