We show that Mandell’s inverse
-theory
functor is a categorically enriched nonsymmetric multifunctor. In particular, it
preserves algebraic structures parametrized by nonsymmetric operads. As
applications, we describe how ring categories arise as the images of inverse
-theory.