1 paper
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…