# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeOct 29th 2010
• (edited Sep 22nd 2012)

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

• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeSep 22nd 2012
• (edited Sep 22nd 2012)

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.