Research Interests: I work in locale theory and topos theory. My preoccupation is that the theory of compact Hausdorff spaces and the theory of sets have such a lot in common that they can be expressed as the same theory. Therefore I am developing axioms for a category of spaces in which the theory of compact Hausdorff spaces is dual to the theory of sets (the duality is not standard categorical duality, but is order enriched duality; the category of spaces is order enriched). A further aim is to extend this work to an axiomatization of the category of Grothendieck toposes.

For a more technical description, visit 'technical'
For some of the important references for the field, visit 'references'

Academic Publications:
For my publications, visit 'publications'
For the slides from some talks, visit 'talks'


For some of the papers I have a surplus of physical copies; should you like any copies please request via email.