Erratum to "Adding inverses to diagrams encoding algebraic structures" and "Adding inverses to diagrams II: Invertible homotopy theories are spaces"

Abstract

In this note, we correct an error in one of our approaches to encode a group structure by a diagram. We show that we instead obtain the structure of a monoid with involution.