# 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

## Site Tag Cloud

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

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeSep 3rd 2012

following the discussion and suggestion in another thread I have created an entry

This contains mainly just the result of copy-and-pasting a hasty forum-post. Feel free to edit it and tweak it.

• CommentRowNumber2.
• CommentAuthorjim_stasheff
• CommentTimeSep 3rd 2012
Is cohesion more important for smooth as opposed to topological?
• CommentRowNumber3.
• CommentAuthorUrs
• CommentTimeSep 3rd 2012
• (edited Sep 3rd 2012)

Is cohesion more important for smooth as opposed to topological?

The thing is that, roughly, cohesive spaces are all locally contractible. The local contractions are those of the “basic cohesive droplets”, in the spirit of the above discussion.

So locally contractible topological infinity-groupoids are cohesive, as are Euclidean-topological infinity-groupoid.

But a geometry modeled on a small full subcategory of Top that contains locally non-contractible spaces will in general not be cohesive. In particular for instance general topological stacks do not live in a cohesive $(2,1)$-topos. But differentiable stacks do, because every manifold and hence in particular every smooth manifold is locally contractible.

So, I would say cohesion is as “important for” smooth geometry as it is to “locally contractible continuous geometry”. But it is inapplicable to more general continuous geometry.

• CommentRowNumber4.
• CommentAuthorUrs
• CommentTimeSep 3rd 2012

I have now copied the above comment into the entry, and edited a bit more.

• CommentRowNumber5.
• CommentAuthorjesuslop
• CommentTimeDec 29th 2019

Deleted the “motivation for cohesion” related entry because it now links to this own entry.