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

Discussion Tag Cloud

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.
    • CommentAuthorUrs
    • CommentTimeJan 14th 2013
    • (edited May 3rd 2014)

    on the off-chance that there is anyone besides me who checks MathOverflow less frequently than the nnForum:

    there was a question on forcing in homotopy type theory. I took the liberty of sharing some thoughts.

    My comment reflects topics that we have discussed here at some length already. Nevertheless, when sending this I noticed that some of these discussions need to be better reflected in the nnLab. And in particular better than I have commented on them for the moment.

    I won’t further look into this right now as I am busy with something else. But later I’d like to come back to this.

    • CommentRowNumber2.
    • CommentAuthorDavid_Corfield
    • CommentTimeJan 14th 2013

    Should this link up to classifying (infinity,1)-topos, given the connection between forcing and classifying topos?

    • CommentRowNumber3.
    • CommentAuthorMike Shulman
    • CommentTimeJan 14th 2013

    Thanks! (I am also in the category of people you mention.)

    • CommentRowNumber4.
    • CommentAuthorzskoda
    • CommentTimeMay 3rd 2014

    Urs, post 1, could you possibly change the tag from mistyped homtopy-type-theory to homotopy-type-theory ?

    The same typos in 4 other discussions,, and

    Similarly wrong tag homtopy-theory instead of homotopy-theory in entries, and The owner of the last tag (Blakers-Massey) is Todd.

    If we correct a word in all 8 entries than both spurious tags will hopefully not appear in menu any more, confusing with the correct ones. Thanks.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeMay 3rd 2014

    Oh, wow, thanks for that detective work.

    I have fixed them all now. Thanks for looking into this.

    • CommentRowNumber6.
    • CommentAuthorJon Beardsley
    • CommentTimeMay 4th 2014

    Cool question. =P