Sign up ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

The category of internal locales in the Grothendieck topos of sheaves on a locale X is equivalent to the slice category over X. In other words, internal locales over X are precisely morphisms of locales of the form Y→X.

Is the same statement true for smooth manifolds instead of locales and submersions instead of continuous maps?

More precisely, consider the site of smooth manifolds equipped with its standard Grothendieck topology of surjective submersions.

Is the category of internal smooth manifolds in the Grothendieck topos of sheaves on a smooth manifold M equivalent to the category whose objects are surjective submersions of the form N→M and morphisms are commuting triangles?

Definitions tend to branch when we internalize them, so an answer to this question should include the correct definition of a smooth manifold in an arbitrary Grothendieck topos.

According to nLab, internal dualizable modules over the locale of real numbers in the category of sheaves on a smooth manifold M are precisely finite-dimensional vector bundles over M. This can be seen as a further motivation for the above question.

share|cite|improve this question
@Dmitry: I'm curious why you are thinking about this. What is your motivation? – David Carchedi May 17 '13 at 23:13
@David: I was thinking about smooth analogs of Baez-Dolan cobordism hypothesis. If we assume that the cobordism hypothesis is true in any topos, then one can obtain interesting relationships between differential cohomology and TFTs by applying the cobordism hypothesis to the topos associated to the site of smooth manifolds. – Dmitri Pavlov May 19 '13 at 1:58

1 Answer 1

See the book (a kind of culmination point of the theory: "synthetic differential geometry")

MR1083355 Moerdijk, Ieke; Reyes, Gonzalo E. Models for smooth infinitesimal analysis. Springer-Verlag, New York, 1991.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.