20 citations · 30 across the 14 of their papers we have counts for
4 papers · 1 filter
Formally continuous functions on Baire space
Tatsuji Kawai
A function from Baire space to the natural numbers is called formally continuous if it is induced by a morphism between the corresponding formal spaces. We compare formal continuit…
Geometric theories of patch and Lawson topologies
Tatsuji Kawai
We give geometric characterisations of patch and Lawson topologies in the context of predicative point-free topology using the constructive notion of located subset. We present the…
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…
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…