The canonical delooping machine

From MaRDI portal



Abstract: We suggest a new delooping machine, which is based on recognizing an n-fold loop space by a collection of operations acting on it, like the traditional delooping machines of Stasheff, May, Boardman-Vogt, Segal, and Bousfield. Unlike in the traditional delooping machines, which carefully select a nice space of such operations, we consider all natural operations on n-fold loop spaces, resulting in the algebraic theory Map (V_. S^n, V_. S^n). The advantage of this new approach is that the delooping machine is universal in a certain sense, the proof of the recognition principle is more conceptual, works the same way for all values of n, and does not need the test space to be connected.


This paper describes a delooping machine for \(n\)-fold loop spaces which is in some sense universal. Consider the opposite of the category of continuous functions between iterated wedges of \(n\)-spheres. The authors show that this is an algebraic theory and, up to weak equivalence, they show that \(n\)-fold loop spaces are the algebras over this theory. They also give a uniqueness result for delooping machines.











This page was built for publication: The canonical delooping machine

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q861844)