Related papers: All about the Grothendieck construction

Let $H$ be a Hopf algebra. We consider $H$-equivariant modules over a Hopf module category $\mathcal C$ as modules over the smash extension $\mathcal C\# H$. We construct Grothendieck spectral sequences for the cohomologies as well as the…

Our main result states that for each finite complex L the category ${\bf TOP}$ of topological spaces possesses a model category structure (in the sense of Quillen) whose weak equivalences are precisely maps which induce isomorphisms of all…

One way of interpreting a left Kan extension is as taking a kind of "partial colimit", whereby one replaces parts of a diagram by their colimits. We make this intuition precise by means of the "partial evaluations" sitting in the so-called…

We obtain combinatorial model categories of parametrised spectra, together with systems of base change Quillen adjunctions associated to maps of parameter spaces. We work with simplicial objects and use Hovey's sequential and symmetric…

We rewrite classical topological definitions using the category-theoretic notation of arrows and are led to concise reformulations in terms of simplicial categories and orthogonality of morphisms, which we hope might be of use in the…

We produce an indexed version of the Grothendieck construction. This gives an equivalence of categories between opfibrations over a fixed base in the 2-category of 2-copresheaves and 2-copresheaves on the Grothendieck construction of the…

This paper provides a homotopical version of the adjoint lifting theorem in category theory, allowing for Quillen equivalences to be lifted from monoidal model categories to categories of algebras over colored operads. The generality of our…

We give a sharper version of a theorem of Rosicky, Trnkova and Adamek, and a new proof of a theorem of Rosicky, both about colimit preservation between categories of structures. Unlike the original proofs, which use category-theoretic…

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…

Let V be a cofibrantly generated closed symmetric monoidal model category and M a model V-category. We say that a weighted colimit W*D of a diagram D weighted by W is a homotopy weighted colimit if the diagram D is pointwise cofibrant and…

We establish that a category of fibrant objects (in the sense of Brown) admits a Dwyer-Kan homotopical calculus of right fractions. This is done using a homotopical calculus of cocycles, which is an auxiliary structure that can be defined…

We consider the localization of the $\infty$-category of spaces at the $v_n$-periodic equivalences, the case $n=0$ being rational homotopy theory. We prove that this localization is for $n\geq 1$ equivalent to algebras over a certain monad…

We introduce partially lax limits of infinity-categories, which interpolate between ordinary limits and lax limits. Most naturally occurring examples of lax limits are only partially lax; we give examples arising from enriched categories…

The purpose of this article is to present ideas towards obtaining a model category structure on the category of small strict n-categories, generalizing the one obtained by Thomason on ordinary categories. Following ideas of Grothendieck and…

We apply the Acyclicity Theorem of Hess, Kerdziorek, Riehl, and Shipley (recently corrected by Garner, Kedziorek, and Riehl) to establishing the existence of model category structure on categories of coalgebras over comonads arising from…

This work establishes the geometric component of Deligne's longstanding program on refined Grothendieck-Riemann-Roch formulas expressed through determinants of cohomology. The approach relies on a newly developed universal category of Chern…

Fulton and MacPherson introduced the notion of bivariant theories and Grothendieck transformations related to Riemann-Roch-theorems. But there are many situations, where such a bivariant theory or a corresponding Grothendieck transformation…

We develop a general theory of (extended) inner autoequivalences of objects of any 2-category, generalizing the theory of isotropy groups to the 2-categorical setting. We show how dense subcategories let one compute isotropy in the presence…

We reconceptualize the process of forming $n$-excisive approximations to $\infty$-categories, in the sense of Heuts, as inverting the suspension functor lifted to $A_n$-cogroup objects. We characterize $n$-excisive $\infty$-categories as…

For every regular cardinal $\alpha$, we construct a cofibrantly generated Quillen model structure on a category whose objects are essentially DG categories which are stable under suspensions, cosuspensions, cones and $\alpha$-small sums.…