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 finite 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 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 sheaves simplicial space spin-geometry stable-homotopy-theory stack string string-theory 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.
    • CommentAuthorMike Shulman
    • CommentTimeJul 31st 2015
    • (edited Jul 31st 2015)

    In “Axiomatic cohesion”, Lawvere claims that the the axiom “pieces of powers are powers of pieces” (which he calls “continuity”, although I don’t understand why) “holds if the contrast with S is determined as in IV below by an infinitely divisible interval in E”. Looking at his very sketchy IV, it seems that what he means is that the discrete objects are the ones YY for which YY TY\to Y^T is an isomorphism for some object TT, and I guess TT is his “infinitely divisible interval”. I don’t know exactly what he means by “infinitely divisible”, but it seems that \mathbb{R} ought to be “infinitely divisible”, so if his claim is true, then maybe this axiom holds automatically in real-cohesion, which would be nice. (“Pieces have points” also holds automatically in real-cohesion, essentially because \mathbb{R} has a point.)

    But is there a proof of this claim written out anywhere? Or is it easy to see?

    • CommentRowNumber2.
    • CommentAuthorZhen Lin
    • CommentTimeJul 31st 2015

    This is the subject of a recent paper of Menni – see §8.

    • CommentRowNumber3.
    • CommentAuthorMike Shulman
    • CommentTimeJul 31st 2015

    Ah, thanks!

    • CommentRowNumber4.
    • CommentAuthorThomas Holder
    • CommentTimeJul 31st 2015
    • (edited Jul 31st 2015)

    Menni’s paper is indeed the most outspoken source on what Lawvere is after with this axiom. I think the only use of it in the ’axiomatic cohesion’ is in the construction of the canonical homotopy quality type in theorem 1. So it is a kind of way of throwing Sset in the bin and as Menni shows of ruling out presheaf toposes in general with the idea that what remains are the cats of continuous ’non-combinatorial’ spaces. I must confess though that it escapes me why the finite set valued reflexive graph toposes which satisfy the axiom would be more continuous and less combinatorial than Sset.

    Concerning, the ’interval’ I think the claim here is that the construction of IV when applied to infinitesimal TT is supposed to satisfy the axiom though I am not 100% sure. You may want to check what he says on pp.10-12 of the Como lectures 2008 on the ’reals’. Otherwise the best source for his ideas on T, the algebra of time, is Lawvere’s paper ’Euler’s continuum functorially vindicated’ in the Bell festschrift (2011), for the construction of X TX^T a look in the 2002 JPAA ’Categorical algebra for continuum micro physics’ might be worthwhile too. Well, my quick guess here is that , ’infinitely divisible’ refers to the construction of his abstract time algebra TT using an infinitesimal object (this should get clearest by having a look at ’Euler’s continuum’). [a less quick guess, is that the ’infinity’ involved is actually the pointedness of the object, so that Lawvere’s claim is as you say that the internal foundations on the T-discrete XX satisfy the axiom]

    [There is also a construction in SDG in Lawvere’s ’laws of motions’ with an independent proof by Kock-Reyes in a late 90s tac paper which constructs a topos of laws of motion that might be related to this idea to generate a smooth topos infinitesimally. - this is probably less relevant]

    Menni pursued some of Lawvere’s ideas on these abstract reals at CT15 but for the time being there is only his abstract available at the conference page.

    • CommentRowNumber5.
    • CommentAuthorMike Shulman
    • CommentTimeAug 2nd 2015

    As far as I can see right now, it seems that Menni’s paper only applies to intervals in a site, rather than abstract interval objects in a topos; is that right?