Related papers: A note on a Holstein construction

In this work, we construct the stable derivator associated to a homotopically complete and cocomplete dg-category by explicitly defining homotopy Kan extensions via suitable weighted homotopy limits and colimits in dg-categories. By…

We observe that the Reedy model structure on a diagram category can be constructed by iterating an operation of "bigluing" model structures along a pair of functors and a natural transformation. This yields a new explanation of the…

We prove the existence of a model structure on the category of stratified simplicial sets whose fibrant objects are precisely $n$-complicial sets, which are a proposed model for $(\infty,n)$-categories, based on previous work of Verity and…

We show that Martin Hyland's effective topos can be exhibited as the homotopy category of a path category $\mathbb{EFF}$. Path categories are categories of fibrant objects in the sense of Brown satisfying two additional properties and as…

We define a natural 2-categorical structure on the base category of a large class of Grothendieck fibrations. Given any model category $\mathbf{C}$, we apply this construction to a fibration whose fibers are the homotopy categories of the…

We construct a generalization of the Dolbeault-Grothendieck resolution on a singular complex space. The same construction yields, for each morphism of analytic spaces, a pullback mapping between the respective Dolbeault-Grothendieck…

Categories of lenses/optics and Dialectica categories are both comprised of bidirectional morphisms of basically the same form. In this work we show how they can be considered a special case of an overarching fibrational construction,…

This is the second of two papers treating faithful actions of simple algebraic groups on irreducible modules and on the associated Grassmannian varieties; in the first paper we considered the module itself and its projective space, while…

Let $(\mathcal{C}, \otimes)$ be a monoidal dg-category. We construct a complex controlling the deformation of the monoidal structure on $\mathcal{C}$ together with the deformation of the underlying dg-category itself. We show that in the…

We extend McCarthy's stabilization construction to exact $\infty$-categories. This is achieved by constructing, for any functor from exact $\infty$-categories to a fixed stable $\infty$-category $\mathcal{A}$, a coherent chain complex in…

We give a proof of the Jardine-Tillmann generalized group completion theorem. It is much in the spirit of the original homology fibration approach by McDuff and Segal, but follows a modern treatment of homotopy colimits, using as little…

For a discrete colored operad $P$, we construct an adjunction between the category of dendroidal sets over the nerve of $P$ and the category of simplicial $P$-algebras, and prove that when $P$ is $\Sigma$-free it establishes a Quillen…

We consider the Riemann-Hilbert factorization approach to solving the field equations of dimensionally reduced gravity theories. First we prove that functions belonging to a certain class possess a canonical factorization due to properties…

Given $\mathfrak{F}$ a coherent sheaf on a Noetherian integral algebraic stack $\mathfrak{P}$, we give two constructions of stacks $\widetilde{\mathfrak{P}}$, equipped with birational morphisms $p:\widetilde{\mathfrak{P}}\to \mathfrak{P}$…

We introduce and study a new class of higher order differential operators defined on $\mathbb{R}^{n}$, which are built with H\"{o}rmander vector fields, homogeneous w.r.t. a family of dilations (but not left invariant w.r.t. any structure…

Let $\mathscr{A}$ be an abelian category and $\mathscr{C}$ an additive full subcategory of $\mathscr{A}$. We provide a method to construct a proper $\mathscr{C}$-resolution (resp. coproper $\mathscr{C}$-coresolution) of one term in a short…

In this work, we conclude our study of fibred $\infty$-bicategories by providing a Grothendieck construction in this setting. Given a scaled simplicial set $S$ (which need not be fibrant) we construct a 2-categorical version of Lurie's…

Given a graded $E_1$-module over an $E_2$-algebra in spaces, we construct an augmented semi-simplicial space up to higher coherent homotopy over it, called its canonical resolution, whose graded connectivity yields homological stability for…

First we study the Gorenstein cohomological dimension ${\rm Gcd}_RG$ of groups $G$ over coefficient rings $R$, under changes of groups and rings; a characterization for finiteness of ${\rm Gcd}_RG$ is given. Some results in literature…

We give a new constructive proof of homotopy canonicity for homotopy type theory (HoTT). Canonicity proofs typically involve gluing constructions over the syntax of type theory. We instead use a gluing construction over a "strict Rezk…