All Stories

  1. Hilsum–Skandalis maps as Frobenius adjunctions with application to geometric morphisms
  2. Principal bundles are essentially the same thing as stably Frobenius adjunctions
  3. A short proof of the localic groupoid representation of Grothendieck toposes
  4. Aspects of slice stability in locale theory
  5. Representing Geometric Morphisms Using Power Locale Monads
  6. An axiomatic account of weak triquotient assignments in locale theory
  7. A Representation Theorem for Geometric Morphisms
  8. The Patch Construction is Dual to Algebraic DCPO Representation
  9. A categorical account of the Hofmann–Mislove theorem
  10. Localic Priestley duality