Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
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
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.
1 to 2 of 2