20 citations · 30 across the 14 of their papers we have counts for
1 paper · 1 filter
Tatsuji Kawai
We introduce a notion of strong proximity join-semilattice, a predicative notion of continuous lattice which arises as the Karoubi envelop of the category of algebraic lattices. St…