Extension of functors to fibrewise pointed spaces (Q519436)

A classical general framework when dealing with notions such as vector bundles, fibre bundles or fibrations is given by the theory of fibrewise spaces. A fibrewise space (over a fixed space \(B\)) consists of a space \(X\) together with a map \(p:X\rightarrow B\), called the projection. If \(X_b\) denotes the fibre \(p^{-1}(b)\) over \(b\in B\), then \(X\) is usually thought of as the continuous family of spaces \(X_b\) parameterized by the elements of \(B.\) A useful procedure in fibrewise theory is to consider what is called a fibrewise extension of an endofunctor \(\Phi :Top\rightarrow Top,\) where \(Top\) denotes the category of topological spaces. Such an extension consists of a functor assigning to any fibrewise space \(p:X\rightarrow B\) another fibrewise space \(\Phi _B(X)\rightarrow B\) having each \(\Phi (X_b)\) as the fibre over \(b\in B.\) In this sense, one can find in [\textit{I. M. James}, General topology and homotopy theory. New York etc.: Springer-Verlag (1984; Zbl 0562.54001)] a simple but quite general construction of a fibrewise extension when the endofunctor \(\Phi \) is continuous. Inspired by James' construction, the author of the paper under review essentially develops and discusses fibrewise extensions in a pointed setting. Indeed, given an endofunctor \(\Phi :Top_*\rightarrow Top_*\) on the category of pointed topological spaces, and given a fibrewise pointed space (i.e., a fibrewise space \(p:X\rightarrow B\) with a section \(s:B\rightarrow X\)), another fibrewise pointed space \[ X[\Phi ]\rightarrow B \] \noindent whose fibres are the pointed spaces \(\Phi (X_b,s(b))\) is constructed. Both \(\Phi \) and \(X\) must satisfy certain mild conditions in order to assure the existence of such a pointed construction. Functoriality and naturality, as well as the cases of (locally) trivial fibrewise pointed spaces and fibrewise pointed fibrations are also analyzed. As an application the author presents a straightforward Whitehead-Ganea framework for the fibrewise Lusternik-Schnirelmann category in the sense of \textit{I. M. James} and \textit{J. R. Morris} [Proc. R. Soc. Edinb., Sect. A, Math. 119, No. 1--2, 177--190 (1991; Zbl 0738.55005)].