A looping-delooping adjunction for topological spaces - Martina Rovelli (2015)