Sign up ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm by no means an expert in either category theory or topos theory, but I'm trying to gain some perspective on traditional geometric ideas in this context.

Topos theory claims that it is a geometric theory as it is a generalisation of the idea of a sheaf (which is also dual to the idea of an etale bundle).

Is it possible to introduce the notion of curvature in this context?

share|cite|improve this question
Take a look at synthetic differential geometry, developed by John L. Bell and others, in a category theoretical context and in particular toposes. – user72694 Jul 31 '13 at 12:09
The question confuses two notions: toposes as generalised spaces (as exemplified by sheaf toposes $\mathbf{Sh}(X)$ for a topological space $X$) and toposes as categories of spaces (as exemplified by simplicial sets). Which do you want to think about? – Zhen Lin Jul 31 '13 at 17:34
@Lin: presumably its when I'm talking about cohesive toposes that you mention categories of space? I assmue it is - so I've removed it. – Mozibur Ullah Jul 31 '13 at 19:22
Curvature isn't a property of a bare topological space, though. Before asking about toposes you may as well ask about notions of curvature that can be applied to more than just Riemannian manifolds. – Zhen Lin Jul 31 '13 at 21:18
@Lin: Isn't just a smooth manifold enough? Once you have a connection, which is a horizontal sub-bundle of the 2nd tangent space, you can also define a curvature at least locally. This is why I was asking about cohesive toposes as they have a notion of smoothness. I recall reading somewhere on nlab, of bundles with connections in the context of higher gauge theory. So maybe that is the way to go. I'm really just looking for some orientation. – Mozibur Ullah Jul 31 '13 at 21:34

Your Answer


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

Browse other questions tagged or ask your own question.