What is a morphism of Frobenius functors?

Notes on Banach spaces and Hilbert spaces

On open locales and inner products

Fourier stuff

Notes on operator spaces and column Hilbert spaces

Non-Hausdorff topologies and polar co-ordinates: a divertissement

Polar co-ordinates and non-Hausdorff topologies

An update on effort locales and quasi-uniform locales