A systematic study of subtoposes yields explicit formulas for generating Grothendieck topologies and new preservation theorems for pullbacks of subtoposes.
Apr` es un nombre fini de ces r´ eductions, tout tel objetφ(⃗ x) de Ccar Σ se r´ e´ ecrit sous la forme de (i)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.CT 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Generation of Grothendieck topologies, provability and operations on subtoposes
A systematic study of subtoposes yields explicit formulas for generating Grothendieck topologies and new preservation theorems for pullbacks of subtoposes.