Between 1999 and 2003 Rosi Sexton wrote her MSc Dissertation and PhD
Thesis under my supervision. Both centred around a point-free
analysis of the patch construction in point-set topology. Below are
links to both these documents and to version of two papers arising out
of this work.
The MSc Dissertation MSc.pdf .
The PhD Dissertation
Point-sensitive and point-free patch constructions,
J. Pure and Applied Algebra 207 (2006) 433-468. Patch.pdf .
An ordinal indexed hierarchy of separation properties,
Topology Proceedings 30 (2006) 585-625. SepProps.pdf .