Text this: Extensive categories, commutative semirings and Galois theory