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
PhD.pdf
.
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
.