I have added to *slice-(infinity,1)-topos* under *Object classifier* the remark that if $Obj \in \mathbf{H}$ is a small object classfier, then $Obj \times X \to X$ is one in $\mathbf{H}_{/X}$. But didnâ€™t spell out a proof yet.

splitt off an entry over-(infinity,1)-topos with material that had been scattered elsewhere and needed to be collected in order to allow referencing it

]]>