Sorry if this isn't the right place for this, it hasn't gotten any answers on ME. I'm reading Lang's section on field theory and he stresses that, unlike typical "universal" constructions which are determined up to unique isomorphism, algebraic closures (and by extension, their Galois groups) are determined only up to automorphism (conjugation). It seems to me that there ought to be some interpretation of this in terms of bicategories (weak 2-categories). This intuition is supported by the fact that 2-cells are given by conjugation when we give Grp the structure of a 2-category (view groups as 1-object categories, get 2-cells via natural transformations). Is there any such interpretation?



Automorphisms and Bicategories
I don't see bicategories coming into this in a useful way, but I think what you have is a consequence of two more general facts:


* The non-uniqueness of algebraic closures is a general fact about [injective hulls](http://nlab.mathforge.org/nlab/show/injective+hull) -- they are 'unique' up to *non-unique* isomorphism.
* Every morphism in a groupoid yields an isomorphism of vertex groups by conjugation -- if G is a groupoid and x is an object of G, then the vertex group at x is G(x,x), and if $f \colon x \to y$ is a morphism then $g \mapsto f^{-1} g f$ is an isomorphism between G(x,x) and G(y,y).


With the objects satisfying a universal property the comparison isomorphisms between them are unique, so that the groupoid of objects satisfying the universal property is codiscrete, i.e. there is exactly one morphism between any two objects, so in particular the vertex groups of this groupoid are trivial. For an object A in a concrete category (or in a category with a chosen class of 'embeddings') there is a groupoid of injective hulls of A that is not in general codiscrete, and so it can have non-trivial vertex groups. But this groupoid, though not codiscrete, is still connected, so that each vertex group is (non-uniquely!) isomorphic to every other via conjugation by a morphism (necessarily invertible) of injective hulls.


Edit: The fundamental group of a space, as in JSE's analogy, bears much the same relationship with the fundamental *groupoid* of the space -- in particular, $\pi\_1$s at points in the same path-component are isomorphic via conjugation in the same way.


