Not signed in (Sign In)

Not signed in

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

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limit limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory subobject superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

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

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 25th 2013

    I have half an idea to choose this as a topic for a contribution to a book on category theory and philosophy. It was once a very interesting subject, one to which Kant, Riemann, Helmholtz, Lie, Poincare, and Hilbert contributed, but fell into disuse most likely with the rise of set theory as putative foundation. Perhaps now is the moment to revive it with cohesive \infty-toposes grounding physics!

    Looking at higher geometry, how should one think about the comparison between big and little structured \infty-toposes? I mean would there be anything against claiming that the ’big’ approach is the far more important one? Here we can tell a nice story about adding extra structure, right up to differential cohesion and its importance for physics, tying all this in to homotopy type theory, etc. In sum, Urs’s book.

    But what kind of story can be told about the importance of structured little \infty-toposes?

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeOct 25th 2013

    For one, every object in a differentially cohesive infinity-topos canonically induces its petit structured inginity-topos see the entry on differential cohesion

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeOct 25th 2013

    Sorry for the telegraphic and typo-ridden message above, was posted in a hurry from my phone.

    The canonical construction of an H\mathbf{H}-structured “petit” \infty-topos Sh H(X)Sh_{\mathbf{H}}(X) for any object XX of a differentially cohesive \infty-topos is discussed here.

    • CommentRowNumber4.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 25th 2013

    Thanks, so that’s Def. 10 there. But still, what’s the big deal? It seems that the petit topos is the minor concept – just one small consequence of the gros topos juggernaut.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeOct 25th 2013
    • (edited Oct 25th 2013)

    Yes, but that is useful. Effectively, I think of this as being the/a synthetic way of defining

    1. internal sheaves

    2. étale stacks

    3. locally ringed petit toposes

    internal to (differentially cohesive) homotopy type theory.

    This is a big deal because all three of these are constructions that one needs in applications all along. So the fact that it comes out elegantly synthetically from the axioms of differential cohesion here makes this more interesting, not less.

    Think of the other concepts that come out in a simple fashion from cohesion, such as the whole theory of differential cohomology. Traditionally this is a thorny subject. Now it all flows out just like this from the axioms of cohesion. That is not to make us say “So what’s the big deal about differential cohomology?”. On the contrary, we know that differential cohomology is a big deal, and so this makes us see that the axioms of cohesion are more powerful than their simplicity might superficially make one think.

    • CommentRowNumber6.
    • CommentAuthorDavid_Corfield
    • CommentTimeOct 25th 2013

    That makes sense. Thanks.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeOct 25th 2013

    I should come back to the original question at the end of #1 above:

    I think that’s generally a great question to ask, as it aims at some pretty fundamental stuff, essentially it aims at what Grothendieck was aiming for, as best extracted in Monique Hakim’s thesis.

    Effectively, there was Monique Hakim, then there was nothing for decades, and then there was DAG V.

    I guess if we (the nForum regulars) join forces here, we can write a good entry that explains the fundamental relevance of locally ringed toposes and structured \infty-toposes. I won’t try it tonight, but let’s keep this in mind and come back to it.

    • CommentRowNumber8.
    • CommentAuthorMike Shulman
    • CommentTimeOct 26th 2013

    Perhaps it would be good to look back at this. In general, I think the picture we came up with of the big/little relationship is that little toposes are the general “higher notion of space”, whereas if we restrict ourselves to a particular (more or less arbitrary) class of well-behaved higher spaces determined, then they can be assembled into the objects of a big topos. This should be equally true in the structured case.