Factorizing the Top-Loc adjunction through positive topologies

Francesco Ciraulo, Tatsuji Kawai, Samuele Maschio

We characterize the category of Sambin's positive topologies as a fibration over the category of locales Loc. The fibration is obtained by applying the Grothendieck construction to…