Homotopy Equivalent Algebraic Structures in Multicategories and Permutative Categories (2202.13659v4)

Published 28 Feb 2022 in math.AT, math.CT, and math.KT

Abstract: We show that the free construction from multicategories to permutative categories is a categorically-enriched non-symmetric multifunctor. Our main result then shows that the induced functor between categories of algebras is an equivalence of homotopy theories. We describe an application to ring categories.