4 citations · 4 across the 6 of their papers we have counts for
6 papers
Compact Hausdorff Locales in presheaf toposes
Simon Henry, Christopher Townsend
We prove that for any small category , the category of compact Hausdorff locales in the presheaf topos , is…
Janelidze's Categorical Galois Theory as a step in the Joyal and Tierney result
Christopher Townsend
We show that a trivial case of Janelidze's categorical Galois theorem can be used as a key step in the proof of Joyal and Tierney's result on the representation of Grothendieck top…
Hilsum-Skandalis maps as Frobenius adjunctions with application to geometric morphisms
Christopher Townsend
Hilsum-Skandalis maps, from differential geometry, are studied in the context of a cartesian category. It is shown that Hilsum-Skandalis maps can be represented as stably Frobenius…
Stability of properties of locales under groups
Christopher Townsend
Given a particular collection of categorical axioms, aimed at capturing properties of the category of locales, we show that if is a category that satisfies the axioms…
Principal bundles as Frobenius adjunctions with application to geometric morphisms
Christopher Townsend
Using a suitable notion of principal G-bundle, defined relative to an arbitrary cartesian category, it is shown that principal bundles can be characterised as adjunctions that stab…
Representing geometric morphisms using power locale monads
Christopher Townsend
It it shown that geometric morphisms between elementary toposes can be represented as adjunctions between the corresponding categories of locales. These adjunctions are characteris…