Not signed in

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

• Forgot your password?
• Apply for membership

1. • CommentRowNumber1.
   • CommentAuthorUrs
   • CommentTimeOct 29th 2010
   • (edited Sep 22nd 2012)
   • PermaLink
   Author: Urs
   Format: MarkdownItexsplitt 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

   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

2. • CommentRowNumber2.
   • CommentAuthorUrs
   • CommentTimeSep 22nd 2012
   • (edited Sep 22nd 2012)
   • PermaLink
   Author: Urs
   Format: MarkdownItexI have added to _[[slice-(infinity,1)-topos]]_ under _[Object classifier](http://www.ncatlab.org/nlab/show/over-%28infinity%2C1%29-topos#ObjectClassifier)_ 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.

   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.