Categorical topology:Proceedings of the conference held at