Rectification of Weak Product Algebras over an Operad in Cat and Top and Applications
We develop an alternative to the May-Thomason construction used to compare operad based infinite loop machines to that of Segal, which relies on weak products. Our construction has the advantage that it can be carried out in , whereas their construction gives rise to simplicial categories. As an application we show that a simplicial algebra over a -free operad is functorially weakly equivalent to a algebra over . When combined with the results of a previous paper, this allows us to conclude that up to weak equivalences the category of -categories is equivalent to the category of -spaces, where is the classifying space functor. In particular, -fold loop spaces (and more generally spaces) are functorially weakly equivalent to classifying spaces of -fold monoidal categories. Another application is a change of operads construction within .