What is the geometric realization of the the nerve of a fundamental groupoid of a space?

The inclusion of groupoids into simplicial sets is fully faithful. Its left adjoint, $\Pi_1$ is given by left Kan extension of the functor $\Delta\to \mathcal{Gpd}$ sending the n-simplex to the contractible groupoid with objects $\{0,...,n\}$.

The entirety of the data of the homotopy type of the space $X$ is contained in its singular simplicial set, which is canonically a Kan complex. In particular, the fundamental groupoid functor you've written above is canonically isomorphic to the composite $\Pi_1 \circ \operatorname{Sing}$. Then we have a universal natural transformation $$\operatorname{Sing} \to N\circ \Pi_1\circ \operatorname{Sing}$$ given by the unit of the adjunction $Π_1\dashv N$. Taking geometric realizations, we obtain a span

$$\lvert \Pi_1 \rvert \cong \lvert N\circ \Pi_1\circ \operatorname{Sing}\rvert \leftarrow \lvert \operatorname{Sing}\rvert \xrightarrow{\simeq} \operatorname{id_{\mathbf{Top}}},$$

where the righthand map is the counit of the adjunction between simplicial sets and topological spaces $\lvert \bullet \rvert \dashv \operatorname{Sing}$, and is a natural weak homotopy equivalence by a theorem of Quillen.

So the lefthand map exhibits the nerve of the fundamental groupoid as stage 1 of the Postnikov System as mentioned by Denis in the first comment.


I have now (May 13) partitioned the answer into the blocks 1,2, as I think 2 is the simpler answer!

1 I hope the book Nonabelian Algebraic Topology will answer the question for you.

A groupoid is level one of a structure called a crossed complex which is a kind of nonabelian chain complex but also with the groupoid structure in dimensions $\leqslant 1$, which operates on the higher dimensional stuff. There is a homotopically defined functor $\Pi$ from the category of filtered spaces to crossed complexes, using the fundamental groupoid and relative homotopy groups and also a functor $\mathbb B$ from crossed complexes to filtered spaces such that $\Pi \mathbb B$ is naturally equivalent to the identity. This setup is particularly useful for CW-complexes with their standard cellular filtration.

Part of the thesis of the book is to use structured spaces, in this case filtered spaces, to get to link various dimensions, and in this way to use strict algebraic structures. Also the proofs use higher cubical homotopy groupoids, and are non trivial, but can involve the intuitive idea of allowing "algebraic inverses to subdivision", that is generalising to dimension $n$ the usual composition of paths. This is more difficult to do simplicially.

Part I of the book deals with dimensions $0,1,2$ where it is easier to explain the intuitions, and history. Section 2.4 discusses the classifying space of a group and of a crossed module, but the groupoid case comes in Chapter 11.

2 But an answer can easily be put: a groupoid $G$ has a set of objects say $G_0$ and its classifying space $BG $ also contains the set $G_0$.The fundamental groupoid $\pi_1(BG, G_0)$ is naturally isomorphic to $G$! That is, you need the concept of the fundamental groupoid $\pi_1(X,S) $ on a set $S$ of base points, which is formed of homotopy classes rel end points of paths in $X$ with end points in $S$. You can find this developed in the book "Topology and Groupoids". The notion itself was published in my paper

``Groupoids and Van Kampen's theorem'', Proc. London Math. Soc. (3) 17 (1967) 385-40.

The use of this Van Kampen Theorem involving a set of base points was to allow a theorem which could compute fundamental groups of spaces, such as the circle, where the traditional theorem did not apply.

See also this mathoverflow link.