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).

Atrium > Mathematics, Physics & Philosophy: Field theory via Cohesive homotopy types

Bottom of Page

1 to 5 of 5

  1.  
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeNov 1st 2013
    • (edited Nov 1st 2013)

    for the proceedings of the HoTT meetig in Barcelona a few weeks back, I have now produced an “extended abstract” of 4 pages:

    • CommentRowNumber2.
    • CommentAuthorDavid_Corfield
    • CommentTimeNov 1st 2013

    ’Specifially’ and ’mechancis’

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeNov 1st 2013

    Thanks once more! Am fixing it now…

    • CommentRowNumber4.
    • CommentAuthorRodMcGuire
    • CommentTimeNov 1st 2013

    “univalence axiom encoces the presence”

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeNov 1st 2013

    Thanks once more! Am fixing it now…

1 to 5 of 5

  1.