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.
    • CommentAuthorRichard Williamson
    • CommentTimeApr 25th 2018
    • (edited Apr 25th 2018)

    Stated the hypothèse inspiratrice, mentioned a proof of a lift of it to derivators by Cisinski, mentioned my conjecture that the original statement is independent of ZFC (feel free to remove this if felt inappropriate), and listed all references to it that I am aware of by Grothendieck in Pursuing Stacks.

    v1, current

  1. Added link to proof in a paper of Toën and Vezzosi.

    v1, current

    • CommentRowNumber3.
    • CommentAuthorMike Shulman
    • CommentTimeApr 25th 2018

    Regarding your conjecture, it’s certainly not inappropriate in general to include conjectures on nLab pages, even conjectures of our own. However, it feels weird to me to hear a conjecture like this without any explantion of why one might believe it. I certainly don’t see any reason to expect this statement to be independent of ZFC, not any more so than any other unsolved problem. Are you thinking that it might have to do with some kind of large cardinal hypothesis, similar to how certain category-theoretic statements like “there is an inaccessible left exact endofunctor of SetSet” or “SetSet has a small codense subcategory” depend on the (non)existence of measurable cardinals?

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeApr 26th 2018
    • (edited Apr 26th 2018)

    added hyperlinks to a few terms in the first paragraph, notably to Pursuing Stacks (!), also italicized that.

    concretified “homotopy category” by classical homotopy category

    diff, v2, current

    • CommentRowNumber5.
    • CommentAuthorTim_Porter
    • CommentTimeApr 26th 2018

    @Richard: You say on that page: … blacked out (leaving the original illegible) statement …. For what it is worth I think the problem was that someone used a highlighter (probably yellow) and that photocopies black!

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeApr 26th 2018
    • (edited Apr 26th 2018)

    changed the referencing style from

      in the article by [[FirstName1 Name1]] and [[FirstName2 Name2]] referenced below
    

    to

      in [Name1-Name2 date](#Name1Name2Date)
    

    I hope we may agree that this latter method is to be preferred for several reasons?

    also added floating context toc

    diff, v2, current

    • CommentRowNumber7.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 26th 2018

    Re #5 - and it’s not visible in the Scrivener’s version of PS?

    • CommentRowNumber8.
    • CommentAuthorTim_Porter
    • CommentTimeApr 26th 2018

    I have just added a link to a scanned version of that page. (Scanned from my copy.)

    • CommentRowNumber9.
    • CommentAuthorTim_Porter
    • CommentTimeApr 26th 2018

    I have uploaded a scan of page 30 from an early copy.

    diff, v3, current

  2. Added proof of the analogous statement for Set, and explained how an analogous proof can be given for the hypothèse inspiratrice if one ’lifts’.

    Tried to give some justification for my conjecture that the original hypothèse inspiratrice is independent of ZFC.

    Tweaked part of the section with quotes from Pursuing Stacks in the light of Tim’s contributions.

    A couple of minor things in addition.

    diff, v5, current

    • CommentRowNumber11.
    • CommentAuthorRichard Williamson
    • CommentTimeApr 26th 2018
    • (edited Apr 26th 2018)

    Thanks very much Tim! That you have made available the scan is enough to make me feel that it was worthwhile creating this page! I’ve incorporated your remark about highlighting, because I think it is a useful/important point for those interested in the history (there is a big difference between someone highlighting something to indicate its significance, and Grothendieck wishing to delete something!).

    Thanks very much too, Urs! I lacked a bit of energy to do this myself yesterday; it is rewarding to see you help out! I completely agree regarding the references; I look forward to the day I have time to implement a new referencing mechanism to make this easier and more easily standardised.

    Thanks very much for the comments/thoughts, Mike!

    However, it feels weird to me to hear a conjecture like this without any explantion of why one might believe it.

    I completely agree. I thought about adding something, but felt I would not be able to do so satisfactorily. The conjecture is not something new to me, I first came to believe this conjecture maybe 10 years ago, possibly even before I was aware of HoTT! I have mentioned it to a few people over the years; David Ayala I think was one. Yet I cannot really give any strong evidence for it. I have tried now to make some kind of remarks in the entry. If people feel that these are not adequate, I am completely fine with just removing that section from the page.

    Are you thinking that it might have to do with some kind of large cardinal hypothesis, similar to how certain category-theoretic statements like “there is an inaccessible left exact endofunctor of Set” or “Set has a small codense subcategory” depend on the (non)existence of measurable cardinals?

    I think there may be some kind of analogy with this kind of situation, yes. Somehow I feel one will have to step ’outside’ of set theory, to a natively homotopy theoretic foundations, to be able to have a model for the homotopy category for which one can prove the statement. See what is currently in the entry for a little more.

    • CommentRowNumber12.
    • CommentAuthorMike Shulman
    • CommentTimeApr 26th 2018

    Thanks Richard! I don’t find the remark convincing, though; just pointing out why a conjecture is hard, or why tools that work for a modified version of it don’t seem to apply to it directly, doesn’t to me give any reason to believe it to be independent of ZFC, at least not any more than any other hard unsolved problem. So I’d be in favor of removing that section, but if others feel differently please speak up.

  3. No problem, that’s fine with me. Let’s see if anybody else has an opinion; otherwise I’ll remove the section.

    • CommentRowNumber14.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 26th 2018

    Thanks, Tim! That addresses one of the issues with highlighting listed here. If you could see your way to looking up the small number of other missing transcribed pieces, I for one would be very grateful. I’m glad your copy of PS has emerged from the depths of storage.

    • CommentRowNumber15.
    • CommentAuthorTim_Porter
    • CommentTimeApr 27th 2018
    • (edited Apr 27th 2018)

    … depths of storage’ now means ‘on top of the pile of books and files in the corner in front of me’! When that earlier discussion was started I searched for some of those references and was not lucky. They had been highlighted and were unreadable. I will check them again if I have time … and remember.

    • CommentRowNumber16.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 27th 2018

    Thanks again, Tim :-)

    • CommentRowNumber17.
    • CommentAuthorscrivener
    • CommentTimeApr 27th 2018

    Yes, thanks, Tim! I’ve now incorporated this and put up new pdfs on github.

  4. Removed conjecture about independence from ZFC, but left a link to discussion on the HoTT mailing list about a version of the hypothèse inspiratrice: Mike or anyone else who knows more about this, feel free to expand and improve!

    diff, v6, current

    • CommentRowNumber19.
    • CommentAuthorMike Shulman
    • CommentTimeApr 29th 2018

    Change the “HoTT” section to a fuller discussion of automorphisms of the \infty-groupoid of \infty-groupoids

    diff, v7, current

    • CommentRowNumber20.
    • CommentAuthorRichard Williamson
    • CommentTimeApr 29th 2018
    • (edited Apr 29th 2018)

    Thanks very much, I found this very nice, and the distinction between the directed and undirected cases to be insightful!