Modern Higher Algebra: Galois Theory