The fundamental groupoid of a simplicial set is the localization of its category of simplices (a special case of the category of elements of a presheaf).
The fundamental groupoid of a simplicial set is the localization of its fundamental category , defined as the left adjoint functor to the nerve functor
The fundamental groupoid of a simplicial set is a groupoid defined via the following system of generators and relations for a groupoid:
objects are precisely the vertices of ;
generating isomorphisms are precisely the edges of ;
for every 2-simplex of we have a relation
Created on October 25, 2019 at 21:47:17. See the history of this page for a list of all contributions to it.