Related papers: Model Structures and the Oka Principle

In this paper we study a model structure on a category of schemes with a group action and the resulting unstable and stable equivariant motivic homotopy theories. The new model structure introduced here samples a comparison to the one by…

For groups of prime order, equivariant stable maps between equivariant representation spheres are investigated using the Borel cohomology Adams spectral sequence. Features of the equivariant stable homotopy category, such as stability and…

The homotopy theory of infinity-operads is defined by extending Joyal's homotopy theory of infinity-categories to the category of dendroidal sets. We prove that the category of dendroidal sets is endowed with a model category structure…

Let $R$ be a commutative ring with unit. We consider the homotopy theory of the category of spectral sequences of $R$-modules with the class of weak equivalences given by those morphisms inducing a quasi-isomorphism at a certain fixed page.…

We introduce the notion of an effective Kan fibration, a new mathematical structure that can be used to study simplicial homotopy theory. Our main motivation is to make simplicial homotopy theory suitable for homotopy type theory. Effective…

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…

The category of (colored) props is an enhancement of the category of colored operads, and thus of the category of small categories. In this paper, the second in a series on "higher props," we show that the category of all small colored…

We prove an equivalence of categories from formal complex structures with formal holomorphic maps to homotopy algebras over a simple operad with its associated homotopy morphisms. We extend this equivalence to complex manifolds. A complex…

In a previous work, by extending the classical Quillen construction to the non-simply connected case, we have built a pair of adjoint functors, 'model' and 'realization', between the categories of simplicial sets and complete differential…

We generalize Berger and Moerdijk's results on axiomatic homotopy theory for operads to the setting of enriched symmetric monoidal model categories, and show how this theory applies to orthogonal spectra. In particular, we provide a…

In this paper, we establish a theorem that proves a condition when an inclusion morphism between simplicial sets becomes a weak homotopy equivalence. Additionally, we present two applications of this result. The first application…

We establish basic results of complex function theory within certain algebras of holomorphic functions on coverings of Stein manifolds (such as algebras of Bohr's holomorphic almost periodic functions on tube domains or algebras of all…

We identify the obstructions for the functoriality and the uniqueness of the totalization functor, (partially) defined on the category of simplicial objects in the homotopy category of a stable model category, and we use a result from the…

In Quillen's paper on rational homotopy theory, the category of 1-reduced simplicial sets is endowed with a family of model structures, the most prominent of which is the one in which the weak equivalences are the rational homotopy…

We establish a Quillen equivalence relating the homotopy theory of Segal operads and the homotopy theory of simplicial operads, from which we deduce that the homotopy coherent nerve functor is a right Quillen equivalence from the model…

When working in Homotopy Type Theory and Univalent Foundations, the traditional role of the category of sets, Set, is replaced by the category hSet of homotopy sets (h-sets); types with h-propositional identity types. Many of the properties…

We introduce the notion of a stratified Oka manifold and prove that such a manifold $X$ is strongly dominable in the sense that for every $x\in X$, there is a holomorphic map $f:\C^n\to X$, $n=\dim X$, such that $f(0)=x$ and $f$ is a local…

We describe various equivalent ways of associating to an orbifold, or more generally a higher \'etale differentiable stack, a weak homotopy type. Some of these ways extend to arbitrary higher stacks on the site of smooth manifolds, and we…

In this paper, we consider the model structure on the category of cellular sets originally conjectured by Cisinski and Joyal to give a model for the homotopy theory of weak (\omega)-categories. We demonstrate first that any…

To a bicomplex one can associate two natural filtrations, the column and row filtrations, and then two associated spectral sequences. This can be generalized to $N$-multicomplexes. We present a family of model category structures on the…