This is a talk given by Prof Gunnar Hornig (http://www.maths.dundee.ac.uk/gunnar/) for the topology seminar in the school of mathematics of the University of Edinburgh.
