Related papers: Modeling Stable One-Types

Picard 2-categories are symmetric monoidal 2-categories with invertible 0-, 1-, and 2-cells. The classifying space of a Picard 2-category $\mathcal{D}$ is an infinite loop space, the zeroth space of the $K$-theory spectrum $K\mathcal{D}$.…

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…

For an arbitrary simplicial complex K, Davis and Januszkiewicz have defined a family of homotopy equivalent CW-complexes whose integral cohomology rings are isomorphic to the Stanley-Reisner algebra of K. Subsequently, Buchstaber and Panov…

If C is a stable model category with a monoidal product then the set of homotopy classes of self-maps of the unit S forms a commutative ring. An idempotent e of this ring will split the homotopy category. We prove that provided the…

We give a survey of a generalization of Quillen-Sullivan rational homotopy theory which gives spectral algebra models of unstable v_n-periodic homotopy types. In addition to describing and contextualizing our original approach, we sketch…

We study differential graded operads and $p$-adic stable homotopy theory. We first construct a new class of differential graded operads, which we call the stable operads. These operads are, in a particular sense, stabilizations of…

We prove that the category of algebras over a cofibrant operad admits a closed model category structure. This leads to the notion of "virtual operad algebra" - the algebra over a cofibrant resolution of the given operad. In particular,…

In this paper, we discuss two topics: first, we show how to convert 1+1-topological quantum field theories valued in symmetric bimonoidal categories into stable homotopical data, using a machinery by Elmendorf and Mandell. Then, we discuss,…

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…

Quillen showed how to describe the homotopy theory of simply-connected rational spaces in terms of differential graded Lie algebras. Here we survey a generalization of Quillen's results that describes the $v_n$-periodic localizations of…

Motivated by Maulik-Okounkov stable maps associated to quiver varieties, we define and construct algebraic stable maps on tensor products of representations in the category O of the Borel subalgebra of an arbitrary untwisted quantum affine…

A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra in the sense of stable homotopy theory and the category of unbounded chain complexes…

A kind of motivic stable homotopy theory of algebras is developed. Explicit fibrant replacements for the $S^1$-spectrum and $(S^1,\mathbb G)$-bispectrum of an algebra are constructed. As an application, unstable, Morita stable and stable…

This paper gives a uniform-theoretic refinement of classical homotopy theory. Both cubical sets (with connections) and uniform spaces admit classes of weak equivalences, special cases of classical weak equivalences, appropriate for the…

We give an alternative to Postnikov's homotopy classification of maps from 3-dimensional CW-complexes to homogeneous spaces G/H of Lie groups. It describes homotopy classes in terms of lifts to the group G and is suitable for extending the…

We give a new construction of the model structure on the category of simplicial sets for homotopy $n$-types, originally due to Elvira-Donazar and Hernandez-Paricio, using a right transfer along the coskeleton functor. We observe that an…

Building upon Hovey's work on Smith ideals for monoids, we develop a homotopy theory of Smith ideals for general operads in a symmetric monoidal category. For a sufficiently nice stable monoidal model category and an operad satisfying a…

We show that there is a model structure in the sense of Quillen on an arbitrary Frobenius category $\F$ such that the homotopy category of this model structure is equivalent to the stable category $\underline{\F}$ as triangulated…

We develop a constructive model of homotopy type theory in a Quillen model category that classically presents the usual homotopy theory of spaces. Our model is based on presheaves over the cartesian cube category, a well-behaved…

We connect the homotopy type of simplicial moduli spaces of algebraic structures to the cohomology of their deformation complexes. Then we prove that under several assumptions, mapping spaces of algebras over a monad in an appropriate…