No label defined (Q4372102)

Given any topos \(E\) over \({\mathcal S}ets\), one can form a simplicial topos \(E\) by repeated pullbacks. Taking inverse images of the resulting face and degeneracy maps leads to a left exact cosimplicial category \(\Delta(E)\). The author introduces the notion of an internal category in a left exact cosimplical category, \(F\). The category of such internal categories is considered and interpreted for \(F=\Delta(E)\) in the two cases of \(E\) being sheaves on a locally compact Hausdorff space, \(A\), and for \(E\) being the presheaf topos on a small category \({\mathcal C}\). If the topos \(E\) `admits the notion of a discrete category' then for any point \(\Theta\) in \(E\) there is defined an internal groupoid in \(\Delta(E)\). This leads via the point to an internal groupoid in \({\mathcal S}ets\) having one object only. This `fundamental group' is related to the classical fundamental group if \(E=\text{shv}(A)\) and to the vertex group at the point of the associated groupoid of \({\mathcal C}\) if \(E\) is the topos of presheaves on \({\mathcal C}\).