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
    • CommentTimeDec 4th 2015

    I gave André Joyal’s lectures in Paris last week their own category:reference page on the nnLab, in order to be able to link to them conveniently (from entries such as topos theory and (infinity,1)-topos theory):

    • CommentRowNumber2.
    • CommentAuthorStanley
    • CommentTimeApr 30th 2025
    Hi all,

    The following link leads to a 404 page.
    [recordings with time annotations](https://sites.google.com/site/logiquecategorique/autres-seminaires/ihes/ihestopos/cours/joyal)

    Had a quick peek at the editing pages, not sure how to mark as broken.

    Incidentally, does anyone have any good (free?!) resources for an introduction/overview for toposes?
    • CommentRowNumber3.
    • CommentAuthorperezl.alonso
    • CommentTimeApr 30th 2025

    Re#2: It seems someone is editing the page right now. Anyway, the recordings are available on the IHES’ YT channel:

    I’d ask the anonymous editor or anyone else to add these links once the page is unlocked.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeApr 30th 2025
    • (edited Apr 30th 2025)

    I have removed the broken link and added the YouTube links pointed out by Alonso.

    If you see “Anonymous” blocking an entry, you can safely override the block, it’s bots (and in the odd case that it’s an actual user, they won’t be allowed to submit as “Anonymous” anyways).

    Regarding intros to topos theory: Our entry lists plenty of them, here.

    diff, v3, current

    • CommentRowNumber5.
    • CommentAuthorStanley
    • CommentTimeApr 30th 2025
    Much appreciated for the 'intros to theory' direct! I had a look through the 'topos' page and assumed that, if there were any introductions, they would be in there! (I should have known from the Context dropdown at the top right)
    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeApr 30th 2025
    • (edited Apr 30th 2025)

    We should make an !include-page to harmonize the list of references at topos with that at topos theory, but these lists are at least close to each other. I have now copied over a few more entries from one to the other.