A note on the tangent bundle and Gauss functor of posets and manifolds (Q2256650)

Given a poset \(P\), the author defines the ``tangent bundle'' of \(P\) (given by a poset morphism \(TP : EP \to P\) and two sections \(s_0,s_\infty : P \to EP\)) and the ``Gauss functor'' \(\mathbf{G}: P \to\mathbf{Poset}^{0,\infty}\) (where \(\mathbf{Poset}^{0,\infty}\) is the category of posets with two specified elements, labelled \(0\) and \(\infty\)). The triad \((TP:EP \to P, s_0,s_\infty)\) coincides with the triad \((\Pi :\mathrm{Hocolim}\widetilde{\mathbf G}\to P,s_0,s_\infty)\) given by the categorial homotopy colimit of the functor \({\mathbf G}\), \(\Pi\) being the canonical projection. For posets which are \textit{strict abstract manifolds} (as face posets of convex polytopes), these constructions correspond to the classical geometrical constructions known in the PL framework (after \textit{J. Milnor} [Microbundles and differential structures. Princeton University (1961)] and \textit{N. H. Kuiper} and \textit{R. K. Lashof} [Invent. Math. 1, 1--17 (1966; Zbl 0142.21901); ibid. 1, 243--259 (1966; Zbl 0142.22001)]) and the author comments a theorem describing the situation in this particular case. The main result is the homotopy equivalence between the classifying spaces \(B\text{PL}_n\) (where \(\text{PL}_n\) is the simplicial structure group of \(n\)-dimensional PL microbundles) and \(B{\mathfrak R}_n\) (\({\mathfrak R}_n\) is a category whose objects are abstract manifolds whose order complex has a geometric realization PL homeomorphic to \(S^n\)) whose proof is given in the author's paper translated in [J. Math. Sci., New York 147, No. 6, 7155--7217 (2007)].