Related papers: A note on a Holstein construction

In this paper, we construct an explicit Reedy fibrant replacement functor for projective fibrant simplicial presheaves $X : \mathscr{C}^{op} \rightarrow \textbf{sSet}$, where $\mathscr{C}$ is a Reedy category. Our approach describes, by…

We show how to treat families of $\infty$-categories fibered in categorical patterns (e.g., $\infty$-operads and monoidal $\infty$-categories) in terms of fibrations by relativizing the Grothendieck construction. As applications, we…

The Grothendieck construction is a classical correspondence between diagrams of categories and coCartesian fibrations over the indexing category. In this paper we consider the analogous correspondence in the setting of model categories. As…

In this paper, we present a construction from a Reedy category $C$ of a direct category $\operatorname{Down}(C)$ and a functor $\operatorname{Down}(C) \to C$, which exhibits $C$ as an $(\infty,1)$-categorical localization of…

Peter Aczel has given a categorical construction for fixed points of normal functors, i.e. dilators which preserve initial segments. For a general dilator $X\mapsto T_X$ we cannot expect to obtain a well-founded fixed point, as the order…

We show that a profinite completion functor for (simplicial or topological) operads with good homotopical properties can be constructed as a left Quillen functor from an appropriate model category of infinity-operads to a certain model…

Each object of any abelian model category has a canonical resolution as described in this article. When the model structure is hereditary we show how morphism sets in the associated homotopy category may be realized as cohomology groups…

In this paper, we give a new constructive proof of the semi-orthogonal decomposition of the derived category of (quasi)-coherent sheaves of root stacks, through an explicit resolution of the diagonal.

The sole purpose of this note is to introduce some elementary results on the structure and functoriality of Reedy model categories. In particular, I give a very useful little criterion to determine whether composition with a morphism of…

Using the theory infinity-categories we construct derived (dg-)categories of regular, holonomic D-modules and algebraically constructible sheaves on a complex smooth algebraic stack. We construct a natural infinity-categorical equivalence…

We study simplicial profinite groups with a view towards applications in profinite combinatorial group theory. This approach provides a natural framework to the concept of pro-$\mathfrak{C}$-presentation of a pro-$\mathfrak{C}$-group $G$ as…

We consider analogues of the Bernstein-Gelfand-Gelfand resolution in a highest weight category $\mathscr{P}$. We prove the resulting category of complexes is a chain-level lift of the heart of the constructible $t$-structure on its bounded…

We provide a partial solution to the problem of defining a constructive version of Voevodsky's simplicial model of univalent foundations. For this, we prove constructive counterparts of the necessary results of simplicial homotopy theory,…

We provide proofs of two properties of the model category dgCat of dg-categories (with the Morita or Dwyer-Kan model structure): When working over a field the category dgCat is left proper. Natural simplicial resolutions in dgCat are given…

For the group GL(n), we construct an action of the equivariant derived category of coherent sheaves on the Grothendieck-Springer resolution on a certain subcategory of a finite monodromic Hecke category. We use this to construct a partial…

We construct a "diagonal" cofibrantly generated model structre on the category of simplicial objects in the category of topological categories sCat_{Top}, which is the category of diagrams [\Delta^{op}, Cat_{Top}]. Moreover, we prove that…

The Godement cosimplicial resolution is available for a wide range of categories of sheaves. In this paper we investigate under which conditions of the Grothendieck site and the category of coefficients it can be used to obtain fibrant…

We extend the W-construction of Boardman and Vogt to operads of an arbitrary monoidal model category with suitable interval, and show that it provides a cofibrant resolution for well-pointed sigma-cofibrant operads. The standard simplicial…

In this work we describe a construction that leads to an explicit solution of the problem of differentiation of hyperelliptic functions. A classical genus $g=1$ example of such a solution is a result of F.G.Frobenius and L.Stickelberger.…

We give a simple proof for the rigidity of a complex in the bounded derived category of sheaves with constructible cohomology on an abelian variety.