Bar and cobar constructions. I (Q795392)

In der Arbeit wird eine allgemeine Theorie von Bar- und Cobarkonstruktionen entwickelt, der sich eine Vielzahl von Konstruktionen der Homotopietheorie, insbesondere von Homotopielimites und Homotopiecolimites, unterordnet. Der Autor orientiert sich bei der Definition seiner Begriffe an einer von \textit{A. D. Elemendorf} in [Trans. Am. Math. Soc. 277, 275-284 (1983; 521.57027)] gegebenen Umformulierung eines Konzeptes einer Barkonstruktion, das auf \textit{J. P. May} [Classifying spaces and fibrations, Mem. Am. Math. Soc. 155 (1975; Zbl 0321.55033)] zurückgeht. Die dort zugrundeliegende Kategorie der topologischen Räume wird hier durch eine geeignete Kategorie mit Homotopie ersetzt, was speziell Anwendungen etwa auf die Kategorie der G- Räume und der Spektren gestattet. Der Begriff Barkonstruktion wird wie üblich in zwei Stufen aus dem Begriff einer simplizialen Barkonstruction mittels geometrischer Realisierung gewonnen. Dementsprechend wird auch für den Begriff geometrische Realisierung eine allgemeine Theorie bis zu einer abstrakten Fassung des Satzes entwickelt, daß die geometrische Realisierung einer Abbildung zwischen simplizialen Räumen, die in jeder Dimension eine Homotopieäquivalenz ist, eine Homotopieäquivalenz ist.