What are Galois Categories used for? Galois categories are introduced (for the first time?) in SGA1, but here's an English introduction that's available online: http://www.math.uchicago.edu/~may/VIGRE/VIGRE2009/REUPapers/Lynn.pdf
It seems that Galois Categories are a way of axiomatizing all the Galois correspondences in the various fields: Galois theory for fields, Galois theory for covers, Galois theory tame covers and so forth.
What is the benefit, if at all, of this formalism? Is it just to outline the commonalities of these seemingly different topics, or is there some applicable virtue to this language?
 A: (I only just saw this one year on!) I find your question very strange. Grothendieck gives a simple categorical formulation of a situation that encompasses the three main examples of Galois theoretic machines. That means he shows what makes things really tick... isn't that good enough for you! He does this with the clearly stated aim of developing a fundamental group for schemes, and the theory gives that and a lot more. If you go to the slightly wider results on the fundamental groupoid of categories of locally finite sheaves, that is a first step towards his Pursuing Stacks, the letters to Larry Breen, and enroute for his Longue Marche. 
In another direction it provides a first step towards the Joyal-Tierney theory of locales etc. and their relation with toposes.  It provides a background for all of Jacob Lurie's work on higher toposes, and I could go on with fundamental groups of toposes, homotopy theory of toposes. SGA1 is the key for understanding a large part of modern mathematics. 
Grothendieck's methodology was always to seek the clarity that came from abstraction and generalisation. His aim was not only to solve problems (say in algebraic geometry) but to understand as fully as possible their solution and why they worked. 
A: At the end, a Galois category is equivalent to the category $\pi$-sets, of finite sets with a continuous action of a profinite group $\pi$, so once you know this is easy to study Galois categories. The interesting part is that sometimes you a have a category, you can prove that it is Galois, so you have your $\pi$, but this is the only way you have to define the group. This is the method used by Grothendieck to define the fundamental group of a scheme (w.r.t. to a geometric point. used to define the fibre functor). See here link text for the details.
