Every sheaf topos of sheaves with values in Set is canonically and essentially uniquely equipped with its global section geometric morphism . So in particular for any other geometric morphism, we have necessarily a diagram
in the 2-category Topos.
Accordingly, if and are both equipped with geometric morphism to some other topos , it makes sense to restrict attention to those geometric morphisms between them that do form commuting triangles as before
but now over the new base topos . This is a morphism in the slice 2-category Topos.
One can develop essentially all of topos theory in instead of in itself.
To some extent it is also possible to speak of a base topos entirely internally to a given topos. See for instance (AwodeyKishida).
To itself we associate the -indexed category (the canonical self-indexing) given by
To a topos over a base , we associate the -indexed category
which sends an object to the over-topos of over the inverse image of under the geometric morphism
The geometric morphism induces an -indexed geometric morphism (hence a geometric morphism internal to the slice 2-category Topos)
By the discussion at indexed category.
The general notion of base toposes is the topic of section B3 of
An internal description of base toposes in the context of modal logic appears in
Last revised on October 25, 2021 at 15:34:45. See the history of this page for a list of all contributions to it.