[1]:http://groupoids.org.uk/topgpds.html
[2]:http://groupoids.org.uk/noab-a-t.html
[3]:http://groupoids.org.uk/pdffiles/brouwer-cor-fin.pdf


I think the relevant formula is 8.4.1 in [T&G][1]. This is applied in section 9.2 to the Phragmen-Brouwer property and the Jordan Curve Theorem. 

My original motivation for the investigation was to avoid a detour to compute the fundamental group of the circle: a basic theorem should compute THE basic example! I like the view of the integers (an infinite set)  as an identification of a groupoid $\mathbf I $ with 4 arrows, identifying 0 and 1. 

Also I tend to see covering spaces in terms of covering morphisms of groupoids, since then a _covering map_ is algebraically modelled by a _covering morphism_, whereas an action is one step further. 

In the new book [`Nonabelian algebraic topology'][2], published by the EMS, the van Kampen style arguments are used to compute relative homotopy groups as modules, and second relative homotopy groups as crossed modules, using colimit calculations. 

January 25,2016 There is a small correction to the [Phragmen-Brouwer proof][3].