I believe it is possible to compute $\pi_1 S^1$ by applying the groupoid version of the Seifert-Van Kampen Theorem (in the version presented in May's Concise Course) to a covering of the circle by three arcs. Is there an account like this somewhere in the literature? Ideally I'd like a discussion that a student familiar with May's book would be able to read. (May doesn't take a 2-categorical approach to groupoids, and so he does not discuss the fact that a diagram of groupoids that is a point-wise equivalence induces an equivalence of colimits. This is rather important for computations.)
Edit: this last statement is false in general! I was thinking of homotopy colimits. The relevant (correct) fact appears in Ronnie Brown's book: retracts of pushouts are pushouts. This is the means by which one compares the Van Kampen theorem for the full fundamental groupoid - as in May's book - with the Van Kampen theorem for the fundamental groupoid on a set of basepoints.)
