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
.