Modern Higher Algebra: Galois Theory - nidottu, Englanti, 2013