Fundamental progroupoid and bundles with a structural category (Q1292736)

An open covering \({\mathcal U}\) of a space \(X\) is said to be a covering reduced sieve if for \(U\in{\mathcal U}\) and \(V\) an open set with \(V\subset U\) it follows \(V\in{\mathcal U}\). One considers a general category \({\mathcal C}\) and a faithful functor \(\eta:{\mathcal C}\to {\mathbf T}{\mathbf o}{\mathbf p}\). Let \(p:E\to X\) a continuous map and \({\mathcal U}\) a covering reduced sieve of \(X\). A \(({\mathcal C},\eta)\)-atlas \({\mathcal A}\) for \(p\) on \({\mathcal U}\) is a pair \((P,\{\varphi_U\}_{U\in{\mathcal U}})\) where \(P:{\mathcal U}^{\text{op}}\to{\mathcal C}\) is a locally constant presheaf and \(\{\varphi_U: p^{-1}(U)\to U\times \eta(P(U))/U\in {\mathcal U}\}\) is a family of isomorphisms over \(U\) such that if \(U\subset V\), \(U,V\in{\mathcal U}^{\text{op}}\) then \((\text{id}_U\times \eta P^V_U)\circ (\varphi_V/p^{-1}(U))= \varphi_U\). Two atlases \({\mathcal A}= (P,\{\varphi_U\}_{U\in{\mathcal U}})\) and \({\mathcal B}= (Q,\{\psi_V\}_{V\in{\mathcal V}})\) are said to be equivalent if there exists a cover-ring reduced sieve \({\mathcal W}\) refining both \({\mathcal U}\) and \({\mathcal V}\), and a natural equivalence \(\theta: P/{\mathcal W}^{\text{op}}\to Q/{\mathcal W}^{\text{op}}\) such that \((\text{id}_W\times \eta(\theta(W)))\circ \psi_W= \varphi_W\), for \(W\in{\mathcal W}\). Then a \(({\mathcal C},\eta)\)-bundle over \(X\) is a pair \((p: E\to X,[{\mathcal A}])\) with \(p\) a morphism in \({\mathbf T}{\mathbf o}{\mathbf p}\) and \([{\mathcal A}]\) an equivalence class of atlases. If \({\mathcal P}= (p: E\to X,[{\mathcal A}])\), \({\mathcal P}'= (p': E'\to X,[{\mathcal A}'])\) are two \(({\mathcal C},\eta)\)-bundles, then a \(({\mathcal C},\eta)\)-bundle transformation \(f:{\mathcal P}\to{\mathcal P}'\) is a continuous map \(f: E\to E'\) such that \(p'f= p\) and there exist a covering reduced sieve \({\mathcal W}\) of \(X\), atlases \({\mathcal A}\) for \(p\) and \({\mathcal A}'\) for \(p'\) on \({\mathcal W}\) and a natural transformation \(\theta: P\to P'\) such that for every \(W\in{\mathcal W}\), \(\varphi_W'\circ f= \text{id}_W\times \eta(\theta (W))\circ \varphi_W\). One denotes by \(({\mathcal C},\eta)\)-bundle \((X)\) the category of \(({\mathcal C},\eta)\)-bundles and bundle transformations. If \(X\) is a metrizable compact space, \({\mathbf S}{\mathbf e}{\mathbf t}\) is the category of sets and \(\eta:{\mathbf S}{\mathbf e}{\mathbf t}\to {\mathbf T}{\mathbf o}{\mathbf p}\) is defined by \(\eta(X)= (X,\text{dis})\), where dis denotes the discrete topology, then the category \(({\mathbf S}{\mathbf e}{\mathbf t},\eta)\)-bundle \((X)\) is equivalent to the category of overlays of \(X\) introduced by \textit{R. H. Fox} [Fundam. Math. 74, 47-71 (1972; Zbl 0232.55023); Lect. Notes Math. 375, 71-90 (1974; Zbl 0288.55011)]. Other particular cases of \(({\mathcal C},\eta)\)-bundles are the covering spaces and suspension foliations. The authors prove that the category \(({\mathcal C},\eta)\)-bundle \((X)\) is equivalent to the category \(\text{pro}(\pi\text{ crs}(X),{\mathcal C})\) which is determined by the fundamental groupoid of \(X\) and the (structural) category \({\mathcal C}\). As particular cases the standard classification theorem of covering spaces, Fox's classification theorem for overlays with a finite number of leaves [op. cit.], and the standard classification of suspension foliations are obtained.