Proof
Let be a groupoid. Let be the functor defined as follows.
1) On objects it is the identity.
2) To an arrow of , we associate the arrow
of .
Because of 1 b) ii) of Notation 3 of fundamental groupoid of a cubical set and the cubical nerve of a groupoid, the following diagram of commutative squares illustrates that , where and are arrows of .
That follows immediately from 1 b) i) of Notation 3 of fundamental groupoid of a cubical set and the cubical nerve of a groupoid.
It is clear that is .
Moreover, because of 1 b) ii) of Notation 3 of fundamental groupoid of a cubical set and the cubical nerve of a groupoid, the following diagram of commutative squares illustrates that is .
Here
is any zig-zag of arrows of , and the arrows A, B, C, and D are given as follows.
A)
B)
C)
D)
We also make use of 1 b) i) of Notation 3 of fundamental groupoid of a cubical set and the cubical nerve of a groupoid in identifying
with
as required.
To be written.