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
   • CommentTimeNov 19th 2013
   • (edited Nov 19th 2013)
   • PermaLink
   Author: Urs
   Format: MarkdownItexmade a note of a simple observation: for $X$ an atom in a cohesive $\infty$-topos $\mathbf{H}$ over $\infty Grpd$, then also the slice $\mathbf{H}_{/X}$ is cohesive ... except possibly for the property that shape preserves binary products (but it does preserve the terminal object): * [atomic object -- in a cohesive topos](http://ncatlab.org/nlab/show/tiny+object#AtomsInACohesiveTopos)

   made a note of a simple observation:

   for $X$ an atom in a cohesive $\infty$-topos $\mathbf{H}$ over $\infty Grpd$, then also the slice $\mathbf{H}_{/X}$ is cohesive … except possibly for the property that shape preserves binary products (but it does preserve the terminal object):

   • atomic object – in a cohesive topos