20 citations · 30 across the 14 of their papers we have counts for
Showing math.GNShow all
3 papers · 1 filter
math.GN2018
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…
math.GN2017★ 20 cited
On the commutativity of the powerspace constructions
Matthew de Brecht, Tatsuji Kawai
We investigate powerspace constructions on topological spaces, with a particular focus on the category of quasi-Polish spaces. We show that the upper and lower powerspaces commute…
math.GN2017★ 4 cited
Localic completion of uniform spaces
Tatsuji Kawai
We extend the notion of localic completion of generalised metric spaces by Steven Vickers to the setting of generalised uniform spaces. A generalised uniform space (gus) is a set X…