2 papers
math.CT2018
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…
math.CT2017
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…