Multiplicative Structures on Algebraic K-Theory

The algebraic $K$-theory of Waldhausen $\infty$-categories is the functor corepresented by the unit object for a natural symmetric monoidal structure. We therefore regard it as the stable homotopy theory of homotopy theories. In particular, it respects all algebraic structures, and as a result, we obtain the Deligne Conjecture for this form of $K$-theory

n-relative categories: a model for the homotopy theory of n-fold homotopy theories

We introduce, for every integer n ≥ 1, the notion of an n-relative category and show that the category of the small n-relative categories is a model for the homotopy theory of n-fold homotopy theories, i.e., homotopy theories of… homotopy theories

On left and right model categories and left and right Bousfield localizations

We verify the existence of left Bousfield localizations and of enriched left Bousfield localizations, and we prove a collection of useful technical results characterizing certain fibrations of (enriched) left Bousfield localizations. We also use such Bousfield localizations to construct a number of new model categories, including models for the homotopy limit of right Quillen presheaves, for Postnikov towers in model categories, and for presheaves valued in a symmetric monoidal model category satisfying a homotopy-coherent descent condition. We then verify the existence of right Bousfield localizations of right model categories, and we apply this to construct a model of the homotopy limit of a left Quillen presheaf as a right model category