Not signed in (Sign In)

Start a new discussion

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 http://nforum.mathforge.org/discussion/4191/autvaction-on-vx, http://nforum.mathforge.org/discussion/4682/liouvillepoincare-cocycle-in-cohesive-homotopy-type-theory, http://nforum.mathforge.org/discussion/4759/atiyah-and-courant-lie-nalgebroids-in-homotopy-type-theory and http://nforum.mathforge.org/discussion/4926/cauchy-real-number.

    Similarly wrong tag homtopy-theory instead of homotopy-theory in entries http://nforum.mathforge.org/discussion/4570/axiom-uip, http://nforum.mathforge.org/discussion/5339/differentiable-infinity1category and http://nforum.mathforge.org/discussion/5292/blakersmassey-theorem. 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

Add your comments
  • Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
  • To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

  • (Help)