Christopher F. Townsend : There are categories of `spaces' that are not categories of locales