An ∞-group equipped with a map to a fixed base ∞-group, such as that underlying the sphere spectrum or an Eilenberg-MacLane spectrum.
Discussion of ∞-groups of units of E-∞ rings as abelian ∞-groups augmented over the sphere spectrum is in
Augmentation over the Eilenberg-MacLane spectrum appears in
Last revised on August 2, 2013 at 17:37:57. See the history of this page for a list of all contributions to it.