# 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

## Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• 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(\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…)

• CommentRowNumber10.
• CommentAuthorAli Caglayan
• 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(\mathcal{C}/X)\simeq Sh(\mathcal{C})/a(X)$ where $\mathcal{C}$ is a site and $a$ 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.

• CommentRowNumber14.
• CommentAuthorThomas Holder
• CommentTimeMay 16th 2019

Added the reference to SGA.

• CommentRowNumber15.
• CommentAuthorUrs
• CommentTimeMay 16th 2019

Thanks!!

2. Fixed a typo where $f_*$ was used as the left adjoint to $f^*$

Anonymous

3. I added a description of the category of points of a slice topos.

Jens Hemelaer

• CommentRowNumber18.
• CommentAuthorUrs
• CommentTimeOct 8th 2021
• (edited Oct 8th 2021)

The beginning of the proof here was typeset in a way that made it all but unreadable. I have tried to add some more formatting. (Still room left to improve further…)

• CommentRowNumber19.
• CommentAuthorUrs
• CommentTimeOct 12th 2021
• (edited Oct 12th 2021)

Where the Idea-section asserted that slices of toposes being topos has “also been called” the fundamental theorem of topos theory I am making that link to to a stand-alone entry and I have added pointer to Theorem 17.4 in: