| Publication | Date of Publication | Type |
|---|
A result about continuous lattices over the Sierpiński locale
Cahiers de Topologie et Géométrie Différentielle Catégoriques | 2025-04-22 | Paper |
Distributive idempotents in an order-enriched category
Theory and Applications of Categories | 2024-05-08 | Paper |
Compact Hausdorff locales in presheaf toposes
Applied Categorical Structures | 2023-11-06 | Paper |
| A Classifying groupoid for compact Hausdorff locales | 2023-10-11 | Paper |
| Optimal Responses to Constrained Bolus Inputs to Models of T1D | 2022-05-09 | Paper |
Stably locally compact locales are dual to continuous posets
Journal of Pure and Applied Algebra | 2021-09-02 | Paper |
A modified relay autotuner for systems having large broadband disturbances
Automatica | 2018-10-17 | Paper |
| Double power monad preserving adjunctions are Frobenius | 2018-06-07 | Paper |
Hilsum-Skandalis maps as Frobenius adjunctions with application to geometric morphisms
Tbilisi Mathematical Journal | 2017-12-08 | Paper |
Principal bundles as Frobenius adjunctions with application to geometric morphisms
Mathematical Proceedings of the Cambridge Philosophical Society | 2017-09-28 | Paper |
Stability of properties of locales under groups
Applied Categorical Structures | 2017-08-10 | Paper |
| Optimality of Unconstrained Pulse Inputs to the Bergman Minimal Model | 2017-06-21 | Paper |
| Characterisation of Optimal Responses to Pulse Inputs in the Bergman Minimal Model | 2017-03-09 | Paper |
When are enriched strong monads double exponential monads?
Bulletin of the Belgian Mathematical Society - Simon Stevin | 2016-07-20 | Paper |
A short proof of the localic groupoid representation of Grothendieck toposes.
Proceedings of the American Mathematical Society | 2014-03-11 | Paper |
| Presenting locale pullback via directed complete posets: extended abstract | 2013-10-10 | Paper |
Representing geometric morphisms using power locale monads
Applied Categorical Structures | 2013-02-01 | Paper |
Aspects of slice stability in locale theory
Georgian Mathematical Journal | 2012-07-09 | Paper |
The patch construction is dual to algebraic DCPO representation
Applied Categorical Structures | 2011-03-30 | Paper |
A representation theorem for geometric morphisms
Applied Categorical Structures | 2010-12-21 | Paper |
An axiomatic account of weak triquotient assignments in locale theory
Journal of Pure and Applied Algebra | 2010-02-19 | Paper |
| A categorical account of the localic closed subgroup theorem. | 2009-08-17 | Paper |
| A categorical account of the localic closed subgroup theorem. | 2009-08-17 | Paper |
| scientific article; zbMATH DE number 5178687 (Why is no real title available?) | 2007-08-10 | Paper |
| A categorical proof of the equivalence of local compactness of exponentiability in locale theory | 2006-11-16 | Paper |
| A categorical proof of the equivalence of local compactness of exponentiability in locale theory | 2006-11-16 | Paper |
A categorical account of the Hofmann–Mislove theorem
Mathematical Proceedings of the Cambridge Philosophical Society | 2006-03-10 | Paper |
On the parallel between the suplattice and preframe approaches to locale theory
Annals of Pure and Applied Logic | 2005-12-06 | Paper |
Presenting locale pullback via directed complete posets
Theoretical Computer Science | 2004-08-04 | Paper |
A universal characterization of the double powerlocale
Theoretical Computer Science | 2004-08-04 | Paper |
