Related papers: Pushouts of categories, derived limits and colimit…

We prove a uniqueness result of dg-lifts for the derived pushforward and pullback functors of a flat morphism between separated Noetherian schemes, between the unbounded or bounded below derived categories of quasi-coherent sheaves. The…

In a previous article, we introduced notions of finiteness obstruction, Euler characteristic, and L^2-Euler characteristic for wide classes of categories. In this sequel, we prove the compatibility of those notions with homotopy colimits of…

In [1] it was shown that K^, a certain differential cohomology functor associated to complex K-theory, satisfies the Mayer-Vietoris property when the underlying manifold is compact. It turns out that this result is quite general. The work…

In these notes, an introduction to derived categories and derived functors is given. The main focus is the bounded derived category of coherent sheaves on a smooth projective variety.

We give conditions for the Mayer-Vietoris property to hold for the algebraic K-theory of blow-up squares of toric varieties in any characteristic, using the theory of monoid schemes. These conditions are used to relate algebraic K-theory to…

We identify a reasonably large class of pushouts of strict $n$-categories which are preserved by the "inclusion" functor from strict $n$-categories to weak $(\infty,n)$-categories. These include the pushouts used to assemble from its…

We study some automorphic cohomology classes of degree one on the Griffiths-Schmid varieties attached to some unitary groups in 3 variables. Using partial compactifications of those varieties, constructed by K. Kato and S. Usui, we define…

We show that pure monomorphisms are cofibrantly generated---generated from a set of morphisms by pushouts, transfinite composition, and retracts---in any locally finitely presentable additive category. In particular, this is true in any…

For any essentially small triangulated category the centre of its lattice of thick subcategories is introduced; it is a spatial frame and yields a notion of central support. A relative version of this centre recovers the support theory for…

A conjecture of May states that there is an up-to-adjunction strictification of symmetric bimonoidal functors between bipermutative categories. The main result of this paper proves a weaker form of May's conjecture that starts with…

For a recollement of derived module categories of rings, we provide sufficient conditions to guarantee the additivity formula of higher algebraic K-groups of the rings involved, and establish a long Mayer-Vietoris exact sequence of higher…

To a B-coring and a (B,A)-bimodule that is finitely generated and projective as a right A-module an A-coring is associated. This new coring is termed a base ring extension of a coring by a module. We study how the properties of a bimodule…

We develop Weiss's manifold calculus in the setting of $\infty$-categories, where we allow the target $\infty$-category to be any $\infty$-category with small limits. We will establish the connection between polynomial functors, Kan…

We prove that the arrow category of a monoidal model category, equipped with the pushout product monoidal structure and the projective model structure, is a monoidal model category. This answers a question posed by Mark Hovey, and has the…

In the patching setting, given a factorization inverse system of fields over which patching for finite-dimensional vector spaces holds, together with a crossed module over the inverse limit field, the corresponding six-term Mayer--Vietoris…

We use the abstract setting of excisive functors in the language of $\infty$-categories to show that the best approximation to the $\ell^1$-homology functor by an excisive functor is trivial. Then we make an effort to explain the used…

We extend Ferrand's results about pushouts of schemes to the category of algebraic spaces. We call the corresponding class of pushouts Ferrand's pushouts. They will be used in our sequel works to extend the notions of valuation rings and…

For any ring $A$ and a small, preadditive, Hom-finite, and locally bounded category $Q$ that has a Serre functor and satisfies the (strong) retraction property, we show that the category of additive functors from $Q$ to the category of…

We prove a Noether-Deuring theorem for the derived category of bounded complexes of modules over a Noetherian algebra.

Given a span of spaces, one can form the homotopy pushout and then take the homotopy pullback of the resulting cospan. We give a concrete description of this pullback as the colimit of a sequence of approximations, using what we call the…