A Reidemeister trace for fibred maps (Q644459)

This is a rather complicated and demanding article describing how to define a Reidemeister trace in the context of fibred CW-complexes and fibred maps. The basic difficulty consists in finding a substitute for the universal covering in the fibred situation. The main tool is the concept of \(\mathcal{F}\)-family for a small category \(\mathcal{F}\) which is faithfully embedded in {\textbf{Top}} and the notion of cellular cell complex for an \(\mathcal{F}\)-complex as defined by \textit{H.-J. Baues} and the author [Topology Appl. 139, No. 1--3, 63--96 (2004; Zbl 1053.55014)]. Then it is relatively easy to define a trace and the Reidemeister trace of a cellular \(\mathcal{F}\)-map as an alternating sum of diagonal terms of the induced chain morphisms