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
    • CommentTimeDec 18th 2010
    • (edited Sep 22nd 2012)

    created over-topos

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeJan 26th 2011

    I have added to over-topos

    • in the section etale geometric morphism statement and proof of the general case induced over any morphism in the topos;

    • in the section Slice geometric morphism statement and proof of how every geoemtric morphism lifts to one to the slice by any object of the codomain;

    • in the section Topos points statement and proof of the fact that every slice topos inherits topos points given by points of the original topos and points in the stalk of the object being sliced over.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeSep 22nd 2012
    • (edited Sep 22nd 2012)

    have added to slice topos a basic remark, right in the Definition section, about the subobject classifier in the slice.

    • CommentRowNumber4.
    • CommentAuthorDexter Chua
    • CommentTimeJul 17th 2016

    Added the construction of the power object.

    • CommentRowNumber5.
    • CommentAuthorTodd_Trimble
    • CommentTimeJul 17th 2016

    I added a remark on pullback-preserving comonads, with some references.

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeJul 18th 2016

    I have added to your remark a pointer to topos of coalgebras over a comonad.

    • CommentRowNumber7.
    • CommentAuthormaxsnew
    • CommentTimeJun 19th 2017
    • (edited Jun 19th 2017)

    I added a little more detail to the equivalence between a slice of a presheaf topos and the presheaf topos of the category of elements.

  1. Thanks Max! It’s good to see this spelled-out.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeMay 14th 2019

    We should finally give a canonical reference here for the stated fact that

    Sh(𝒞/X)Sh(𝒞)/y(X). Sh(\mathcal{C}/X) \simeq Sh(\mathcal{C})/y(X) \,.

    Anyone has page and verse for this at hand, either in Johnstone or in Borceux, or elsewhere?

    (Currently we keep pointing to Lurie for this statement…)

    diff, v24, current

    • CommentRowNumber10.
    • CommentAuthorAlizter
    • CommentTimeMay 14th 2019

    It’s mentioned at the end of chapter VII on page 416 of Sheaves in Geometry and Logic by Mac Lane and Moerdijk. Not stated explicitly as a result though.

    • CommentRowNumber11.
    • CommentAuthorThomas Holder
    • CommentTimeMay 14th 2019

    One finds in Verdier’s exposé III.5 prop.5.4 (SGA4, p.295) the result that Sh(𝒞/X)Sh(𝒞)/a(X)Sh(\mathcal{C}/X)\simeq Sh(\mathcal{C})/a(X) where 𝒞\mathcal{C} is a site and aa is the associated sheaf functor. I suppose your formula is the special case that the topology that comes with 𝒞\mathcal{C} is canonical.

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeMay 14th 2019

    Thanks!!

    • CommentRowNumber13.
    • CommentAuthorUrs
    • CommentTimeMay 15th 2019

    briefly added the general statement, with the reference that Thomas gave, here.

    There is much room to expand and beautify that section. But I will leave it at that now.

    diff, v25, current

    • CommentRowNumber14.
    • CommentAuthorThomas Holder
    • CommentTime7 days ago

    Added the reference to SGA.

    diff, v26, current

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTime7 days ago

    Thanks!!

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)