Floer’s work on monopoles