Coherence for invertible objects and multigraded homotopy rings

Abstract

We prove a coherence theorem for invertible objects in a symmetric monoidal category (or equivalently, a coherence theorem for symmetric categorical groups). This is used to deduce associativity, skew-commutativity, and related results for multigraded morphism rings, generalizing the well-known versions for stable homotopy groups.