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: theory of presheaf type

Bottom of Page

1 to 17 of 17

  1.  
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeOct 30th 2012
    • CommentRowNumber2.
    • CommentAuthorZhen Lin
    • CommentTimeOct 30th 2012

    I added a remark connecting these to accessible categories.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeOct 30th 2012
    • (edited Oct 30th 2012)

    Thanks!

    (editorial comment: I have turned your Remark-section into a Properties-section and gave the statement a Proposition-environment. Also copied a counterpart to the entry accessible category.)

    • CommentRowNumber4.
    • CommentAuthorThomas Holder
    • CommentTimeOct 7th 2020

    Added example, proposition& reference.

    diff, v4, current

    • CommentRowNumber5.
    • CommentAuthorThomas Holder
    • CommentTimeOct 8th 2020

    Added an idea section.

    diff, v5, current

  6. This proposition is wrong.

    Anonymous

    diff, v7, current

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeDec 7th 2020
    • (edited Dec 7th 2020)

    Just to say that, after discussion with Thomas, I have contacted Olivia Caramello on the issue of the anonymous edit announced in #6 above, which bluntly removed (in rev 7) Thomas’s Prop. 4.2.

    Olivia kindly responded to say that she thinks the Proposition 4.2 in rev 6 was actually correct, as is its proof in the Sandbox 2108.

    • CommentRowNumber8.
    • CommentAuthorDmitri Pavlov
    • CommentTimeDec 7th 2020
    • (edited Dec 7th 2020)

    For edits by new participants it would be very helpful to include a link to the corresponding nForum thread from the edit box, and also from the bottom list of links for each article.

    This will increase the awareness about the nForum among new contributors.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeDec 8th 2020

    Yes, we might want to highlight this feature request to Richard.

    But in the present case I am growing the suspicion that #6 was not so much a “new participant” but a troll trying to check out what we let pass. I hope Thomas will revert the entry soon.

    • CommentRowNumber10.
    • CommentAuthorThomas Holder
    • CommentTimeDec 8th 2020
    • (edited Dec 8th 2020)

    Troll or not, the anonymous took her/his aim rather well:

    Although the proposition s/he removed was indeed correct (and I therefore restored it with the proof added), the proposition right in front of it was not since it stated that the finite accessibility of 𝕋-Mod(Set)\mathbb{T}\text{-}Mod(Set) would imply that 𝕋\mathbb{T} be of presheaf type. Hence I replaced that proposition by some classical characterizations recalled at the beginning of Tibor Beke’s paper.

    diff, v8, current

    • CommentRowNumber11.
    • CommentAuthorUrs
    • CommentTimeDec 8th 2020

    Knapp daneben ist auch vorbei.

  12. For edits by new participants it would be very helpful to include a link to the corresponding nForum thread from the edit box

    There is already such a link! If you’d prefer to emphasise it more in some way, let me know a concrete suggestion, and we can try it out.

    and also from the bottom list of links for each article.

    It is of course already linked to at ’Discuss this page’ in the menu at the top. We can add it at the bottom as well if you prefer, and/or reword the top menu item to mention the nForum explicitly.

    • CommentRowNumber13.
    • CommentAuthorDmitri Pavlov
    • CommentTimeDec 9th 2020

    Re #12: Are you referring to the paragraph that says:

    For non-trivial edits, please briefly describe your changes below. Your comments will be added to the nForum discussion thread for this page, which can also be used for further discussion related to it. For trivial edits, such as correcting typos, please leave the box below empty; feel free to ask for advice at the nForum if you are unsure.

    The word “nForum” does link to the nForum, but it is a generic link: https://nforum.ncatlab.org/discussions/?CategoryID=0, not a link to the specific discussion about this particular article.

    Concerning the menu at the top, it currently says:

    Home Page | All Pages | Latest Revisions | Discuss this page | Feeds

    Of these five links, four are generic and only one refers to the page itself. That’s why I never noticed this link, I guess.

    It obviously belongs with the other links at the bottom, which pertain to a specific article.

    Since we are talking about menus, maybe I could point out something about the bottom menu:

    Edit | Back in time (52 revisions) | See changes | History | Cite | Print | TeX | Source

    I was always confused by “Back in time” and “See changes”. I would suggest to rename them to “Previous revision” and “Compare to the previous revision”, since this is what they do. Otherwise, it is unclear which of “Back in time” and “History” actually shows the list of revisions.

    Also, the counter (52 revisions) could be moved after “History”, since it is more relevant there.

  14. The word “nForum” does link to the nForum, but it is a generic link, not a link to the specific discussion about this particular article.

    My apologies, I was mis-remembering! I 100% agree that this should link to the actual discussion thread, and have now made this change.

    I have also implemented all of the menu changes that you suggested. I have retained ’Discuss this page’ in the top menu though, in addition to adding it to the bottom menu, since I don’t think it really matters that it is specific rather than generic like the other items, and it may be that some people notice it more/that it is more convenient for some people, at the top.

    The code changes can be viewed at github.

    • CommentRowNumber15.
    • CommentAuthorDmitri Pavlov
    • CommentTimeDec 17th 2020

    Thanks a lot, l really like how it looks now!

    • CommentRowNumber16.
    • CommentAuthorThomas Holder
    • CommentTimeJun 1st 2021

    Strenghtened prop.4.2. a little.

    diff, v9, current

    • CommentRowNumber17.
    • CommentAuthorThomas Holder
    • CommentTimeApr 23rd 2023

    Added a reference to

    here, at crystalline site and a Artin gluing.

    diff, v12, current

1 to 17 of 17

  1.