Let $(X, x\_0)$ be a pointed space. Then we can define the homotopy groups $\pi\_i(X, x\_0)$ for $i \geq 1$. They are abelian groups for $i \geq 2$. It is well-known that the fundamental group $\pi\_1(X, x\_0)$ acts on each of the higher groups $\pi\_i(X, x\_0)$, and that this action generalizes to the [Whitehead Products](http://en.wikipedia.org/wiki/Whitehead_product) which are maps 


$$ \pi\_p(X, x\_0) \times \pi\_q(X, x\_0) \to \pi\_{p+q -1}(X, x\_0).$$


The details are given in the wikipedia article I linked to above. Together the Whitehead products turn the graded group $\pi\_\*(X, x\_0)$ (for $\* > 0$) into a graded (quasi-) Lie algebra over $\mathbb{Z}$, where the grading is shifted so that $\pi\_i(X, x\_0)$ is in degree $(i-1)$. Well, it is a little funny since the bottom group is not necessarily abelian. 



> 
> This is all well and good, but what if we don't want to pick base points? Is there a similar algebraic gadget in that situation?
> 
> 
> 


If we don't pick base points, then it seems natural to consider the fundamental groupoid $\Pi\_1(X)$. Then the different homotopy groups of $X$ at different base points can be assembled into local systems on $X$. That is for each $i \geq 2$ we have a functor,


$$\pi\_i: \Pi\_1 X \to AB$$


where $AB$ is the category of abelian groups. This already incorporates the action of $\pi\_1$ on the higher homotopy groups but does it in a way which doesn't depend on the choice of base point.



> 
> Question: Can we enhance these local systems with a structure which generalizes the Whitehead product, and if so what precisely is this extra structure?
> 
> 
> 



Whitehead Products without Base Points?
As I posted in my comment, I think Paul's suggestion does work. Here's a (sloppy) description of how I think things will work:


The local systems you describe can be obtained, by passing to homotopy groups, from a "local system of loop spaces" $$ \Omega: \Pi\_{\leq \infty} X \to \Omega\mathbf{Spaces}$$ 
One can imagine that this corresponds under the Grothendieck construction to the free loop-space fibration $\Omega X \to LX \to X$. Alternatively, if we fix a basepoint and identify $X = BG$ for a simplicial group $G$, then this is just encoding the simplicial conjugation action of $G$ on itself.


Rather than think about (strangely-graded) Whitehead products, I prefer to think about (reasonably graded) Samelson products: We think of the structure (Whitehead product) on $\pi\_{\*+1} X $ as really being a structure (Samelson product) on $\pi\_{\*} \Omega X$. I claim that Samelson products give a functor
$$ \pi\_\*: \Omega\mathbf{Spaces} \to \mathbf{grqLie} $$ so that composing with the above gives our desired "local system of graded (quasi-)Lie algebras".


For convenience, I'll replace loop spaces with (strict) simplicial groups. Then, the Samelson product comes from noticing that the commutator map $[,]: G^2 \to G$ is trivial if one of the factors is the identity, and so factors through a pointed map $[,]: G \wedge G \to G$. This pointed map goes on to induce the (quasi-)Lie structure on homotopy. A group homomorphism $H \to G$ preserves commutators and identities, and so induces a map $H \wedge H \to G \wedge G$ compatible with the brackets, so that this construction is indeed functorial.


