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

nLab > Latest Changes: sheaf semantics

Bottom of Page

1 to 2 of 2

  1.  
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeMay 25th 2017
    • (edited May 25th 2017)

    At vector bundle all the way back from rev 1 there is a request for an entry “sheaf semantics”, at the bottom, where it says

    sheaf semantics (Kripke-Joyal semantics)

    Should we just make “sheaf semantics” redirect to Kripke-Joyal semantics?

    • CommentRowNumber2.
    • CommentAuthorMike Shulman
    • CommentTimeMay 25th 2017

    We could do that. Or we could just update the link to point directly there.

1 to 2 of 2

  1.