We can generalise the idea to higher homotopy groups as follows.
Let be a pointed fibrant simplicial set. The fundamental group is the quotient set of the spherical elements in subject to the relation generated by if there exists such that , and for .
The product structure in is given by: , where such that , and for . Furthermore, the map preserves the product structure.