• Corpus ID: 244130153

Multicategories Model All Connective Spectra

@inproceedings{Johnson2021MulticategoriesMA,
  title={Multicategories Model All Connective Spectra},
  author={Niles Johnson and Donald Yau},
  year={2021}
}
There is a free construction from multicategories to permutative categories, left adjoint to the endomorphism multicategory construction. The main result shows that these functors induce an equivalence of homotopy theories. This result extends a similar result of Thomason, that permutative categories model all connective spectra. 
2 Citations

Homotopy Equivalent Algebraic Structures in Multicategories and Permutative Categories

A BSTRACT . We show that the free construction from multicategories to permuta- tive categories is a categorically-enriched non-symmetric multifunctor. Our main result then shows that the induced

Multifunctorial K-theory is an equivalence of homotopy theories

We show that each of the three K-theory multifunctors from small permutative categories to G∗\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts}

References

SHOWING 1-10 OF 26 REFERENCES

SYMMETRIC MONOIDAL CATEGORIES MODEL ALL CONNECTIVE SPECTRA

The classical innite loopspace machines in fact induce an equivalence of categories between a localization of the category of symmetric monoidal categories and the stable homotopy category of

An inverse $K$-theory functor

Thomason showed that the K-theory of symmetric monoidal categories models all connective spectra. This paper describes a new construction of a permutative category from a Gamma-space, which is then

Permutative categories, multicategories and algebraicK–theory

We show that the $K$-theory construction of arXiv:math/0403403, which preserves multiplicative structure, extends to a symmetric monoidal closed bicomplete source category, with the multiplicative

Extending homotopy theories across adjunctions

Constructions of spectra from symmetric monoidal categories are typically functorial with respect to strict structure-preserving maps, but often the maps of interest are merely lax monoidal. We

A model for the homotopy theory of homotopy theory

We describe a category, the objects of which may be viewed as models for homotopy theories. We show that for such models, “functors between two homotopy theories form a homotopy theory”, or more

Vers une axiomatisation de la théorie des catégories supérieures.

We define a notion of "theory of (1,infty)-categories", and we prove that such a theory is unique up to equivalence.