Related papers: On some new model category structures from old, on…

We establish a parametric extension $h$-principle for overtwisted contact structures on manifolds of all dimensions, which is the direct generalization of the $3$-dimensional result from \cite{Eli89}. It implies, in particular, that any…

We collect in one place a variety of known and folklore results in enriched model category theory and add a few new twists. The central theme is a general procedure for constructing a Quillen adjunction, often a Quillen equivalence, between…

We establish a Quillen model category structure on the category of symmetric simplicial multicategories. This model structure extends the model structure on simplicial categories due to J. Bergner.

We construct a symmetric monoidal closed category of polynomial endofunctors (as objects) and simulation cells (as morphisms). This structure is defined using universal properties without reference to representing polynomial diagrams and is…

This document is centered around a main idea: simplicial categories, by which we mean simplicial objects in the category of categories, can be treated as a two-fold categorical structure and their double category theory is homotopically…

Let K be a comonad on a model category M. We provide conditions under which the associated category of K-coalgebras admits a model category structure such that the forgetful functor to M creates both cofibrations and weak equivalences. We…

It is now very known how the subprojectivity of modules provides a fruitful new unified framework of the classical projectivity and flatness. In this paper, we extend this fact to the category of complexes by generalizing and unifying…

Given a diagram of rings, one may consider the category of modules over them. We are interested in the homotopy theory of categories of this type: given a suitable diagram of model categories M(s) (as s runs through the diagram), we…

We show that for a monoidal model category $\M=(\ul{M}, \otimes, I)$, certain co-Segal $\M$-categories are equivalent to strict ones.

Looking back over 55 years of higher homotopy structures, I reminisce as I recall the early days and ponder how they developed and how I now see them. From the history of $A_\infty$-structures and later of $L_\infty$ -structures and their…

We adapt the classical framework of algebraic theories to work in the setting of (infinity,1)-categories developed by Joyal and Lurie. This gives a suitable approach for describing highly structured objects from homotopy theory. A central…

We define the phrase `category enriched in an fc-multicategory' and explore some examples. An fc-multicategory is a very general kind of 2-dimensional structure, special cases of which are double categories, bicategories, monoidal…

We present an intrinsic and concrete development of the subdivision of small categories, give some simple examples and derive its fundamental properties. As an application, we deduce an alternative way to compare the homotopy categories of…

The main objective of this paper is to construct a symmetric monoidal closed model category of coherently commutative monoidal quasi-categories. We construct another model category structure whose fibrant objects are (essentially) those…

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 precisely that the category of such models…

Category theory provides a compact method of encoding mathematical structures in a uniform way, thereby enabling the use of general theorems on, for example, equivalence and universal constructions. In this article we develop the method of…

In the context of categories equipped with a structure of nullhomotopies, we introduce the notion of homotopy torsion theory. As special cases, we recover pretorsion theories as well as torsion theories in multi-pointed categories and in…

We show that C if is a proper model category, then the pro-category pro-C has a strict model structure in which the weak equivalences are the levelwise weak equivalences. The strict model structure is the starting point for many homotopy…

We establish model category structures on algebras and modules over operads in symmetric spectra, and study when a morphism of operads induces a Quillen equivalence between corresponding categories of algebras (resp. modules) over operads.

We establish an equivalence of homotopy theories between symmetric monoidal bicategories and connective spectra. For this, we develop the theory of $\Gamma$-objects in 2-categories. In the course of the proof we establish strictfication…