MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

Proof of the associativity law $f * (g * h) = (f * g) * h$ in the fundamental groupoid of a topological space: