4 citations · 4 across the 6 of their papers we have counts for
1 paper · 2 filters
Simon Henry, Christopher Townsend
We prove that for any small category C, the category KHausLocC^ of compact Hausdorff locales in the presheaf topos C^, is…