|
Papers
|
Status
|
|
|
Compact Hausdorff Locales in Presheaf Toposes
|
PREPRINT August 2022
|
|
|
Janelidze’s Categorical Galois Theory as a step in the Joyal and Tierney result
|
PREPRINT December 2018
|
|
|
Double power monad preserving adjunctions are Frobenius
|
Theory and Applications of Categories, Vol. 33, No. 17, 2018, pp. 476-491
|
|
|
Hilsum-Skandalis maps as Frobenius adjunctions with application to geometric morphisms
|
Tbilisi Mathematical Journal Volume 10 Issue 3 (2017), 83-119
|
|
|
When are enriched strong monads double exponential monads?
|
Bulletin of the Belgian Mathematical Society 23 (2016), 311–319
|
|
|
Stability of Properties of Locales Under Groups
|
Applied Categorical Structures. (2016)
|
|
|
Principal bundles as Frobenius adjunctions with application to geometric morphisms
|
Math. Proc. Camb. Phil. Soc. 159(03) (2015), 433-444
|
|
|
A localic proof of the localic groupoid representation of Grothendieck toposes
|
Proc. Amer. Math. Soc. 142 (2014), 859-866
|
|
|
Representing geometric morphisms using power locale monads
|
Appl. categ. Struct. 21(1), 15-47 (2013)
|
|
|
Aspects of slice stability in Locale Theory
|
Georgian Mathematical Journal. Vol. 19, Issue 2, 317–374 (2012)
|
|
|
A representation theorem for geometric morphisms
|
Appl. Categ. Struct. 18(6), 573–583 (2010)
|
|
|
An axiomatic account of weak triquotient assignments in locale theory
|
Journal of Pure and Applied Algebra,
Volume 214, Issue 6, June 2010, Pages 729-739 |
|
|
A categorical account of the localic closed subgroup theorem
|
Comment.Math.Univ.Carolin. 48,3 (2007) 541-553.
|
|
|
The patch construction is dual to algebraic DCPO representation
|
Appl. Categ. Struct. 19(1), 61–92 (2011)
|
|
|
A Categorical proof of the equivalence of Local
Compactness and Exponentiability in Locale Theory |
Cahiers de Top. et Geom. Diff. Cat. Volume XLVII-3
|
|
|
A categorical account of the Hofmann-Mislove theorem
|
Math. Proc. Camb. Philos. Soc. 139, No.3, 441-455 (2005).
|
|
|
Axiomatic Characterization of the Category of Locales
|
PREPRINT. November 2003
|
|
|
Scott is Natural between Frames
|
Topology Proceedings 29 No. 2 (2005), pp. 613-640
|
|
|
An Axiomatic account of Weak Localic Triquotient Assignments - DRAFT
|
Early Draft
|
|
|
A Universal Characterization of the Double Powerlocale
(Joint with S. Vickers) |
Theoretical Computer Science 316 (2004) 297-321
|
|
|
Presenting Locale Pullback via Directed Complete Partial Orders
|
Theoretical Computer Science 316 (2004) 225-258
|
|
|
On the Parallel between the Suplattice and Preframe
approaches to Locale Theory |
Annals of Pure and Applied Logic, Volume 137,
Numbers 1-3 (2006) 391-412 |
|
|
Localic Priestley Duality
|
Journal of Pure and Applied Algebra 116 (1997) 323-335
|
|
|
Preframe Techniques in Constructive Locale Theory
|
PhD Thesis, Department of Computing, Imperial College, 1996.
|
|
|
Generalized Coverage Theorem
|
PREPRINT. February 1996
|
|
|
Hausdorff Systems
|
PREPRINT. January 1996
|