9I制作厂免费

Permutative categories are algebras in CAT over a categorical version of the Barratt-Eccles operad. We define a K-theory functor which is a Quillen equivalence between suitably defined model category structures on the category of all permutative categories and the category of 螕-objects in the category of all pointed categories CAT_鈼� .听