In mathematics, the fundamental theorem of topos theory states that the slice of an elementary topos over any one of its objects is itself a topos. Moreover, if there is a morphism between two objects of the topos, there is a corresponding functor between their slice topoi that preserves exponentials and the subobject classifier. This description is adapted from Wikipedia contributors under CC BY-SA 4.0; changes were made. https://creativecommons.org/licenses/by-sa/4.0/
Facts
Classification
Statement FormCharacterization Theorem 1 Connections
Has Statement Form
In Branch
Source Fundamental theorem of topos theory (Wikipedia)
Sources
1. Fundamental theorem of topos theory (Wikipedia)
Lead sectionQuote, Lead section
In mathematics, the fundamental theorem of topos theory states that the slice E / X {\displaystyle \mathbf {E} /X} of an elementary topos E {\displaystyle \mathbf {E} } over any one of its objects X {\displaystyle X} is itself a topos.
Reader Challenges (0)
No disputes yet. Spotted an error or a better source? Open the first one.
Sign in to dispute this or suggest a correction.