Related papers: Integral chains and Bousfield-Kan completion
Without the axiom of choice, the free exact completion of the category of sets (i.e. the category of setoids) may not be complete or cocomplete. We will show that nevertheless, it can be enhanced to a derivator: the formal structure of…
Exact categories are a natural generalisation of abelian categories and provide a fertile ground to develop relative homological algebra. In this paper, starting from a class of relative Gorenstein projective objects in an exact category…
We exhibit an adjunction between a category of abstract algebras of partial functions and a category of set quotients. The algebras are those atomic algebras representable as a collection of partial functions closed under relative…
The category of I-spaces is the diagram category of spaces indexed by finite sets and injections. This is a symmetric monoidal category whose commutative monoids model all E-infinity spaces. Working in the category of I-spaces enables us to…
For any dg algebra $A$, not necessarily commutative, and a subset $S$ in $H(A)$, the homology of $A$, we construct its derived localisation $L_S(A)$ together with a map $A\to L_S(A)$, well-defined in the homotopy category of dg algebras,…
This paper aims to answer the following question: Given an adjunction between two categories, how is Quillen (co)homology in one category related to that in the other? We identify the induced comparison diagram, giving necessary and…
We extend some classical results of Bousfield on homology localizations and nilpotent completions to a presentably symmetric monoidal stable $\infty$-category $\mathscr{M}$ admitting a multiplicative left-complete $t$-structure. If $E$ is a…
We provide examples of inductive fibrant replacements in fibrantly generated model categories constructed as Postnikov towers. These provide new types of arguments to compute homotopy limits in model categories. We provide examples for…
We prove a class of equivalences of additive functor categories that are relevant to enumerative combinatorics, representation theory, and homotopy theory. Let $\mathscr{X}$ denote an additive category with finite direct sums and split…
Centers of categories capture the natural operations on their objects. Homotopy coherent centers are introduced here as an extension of this notion to categories with an associated homotopy theory. These centers can also be interpreted as…
Let $\mathscr{A}$ be a small abelian category. For a closed subbifunctor $F$ of $\Ext_{\mathscr{A}}^{1}(-,-)$, Buan has generalized the construction of the Verdier's quotient category to get a relative derived category, where he localized…
There appeared not long ago a Reduction Formula for derived Hochschild cohomology, that has been useful e.g., in the study of Gorenstein maps and of rigidity w.r.t. semidualizing complexes. The formula involves the relative dualizing…
We prove that the unit of the Quillen pair ${\mathfrak{L}}\colon {\bf sset}\rightleftarrows {\bf cdgl}\colon {\langle\,\cdot\,\rangle}$ given by the model and realization functor is, up to homotopy, the Bousfield-Kan…
Intersection homology is defined for simplicial, singular and PL chains and it is well known that the three versions are isomorphic for a full filtered simplicial complex. In the literature, the isomorphism, between the singular and the…
We investigate the universal strictification adjunction from weak $\infty$-groupoids (modeled as simplicial sets) to strict $\infty$-groupoids (modeled as simplicial T-complexes). We prove that any simplicial set can be recovered up to weak…
The paper introduces a partial integration map from the first Hochschild cohomology of any cohomologically unital A-infinity category over a field of characteristic zero to its derived Picard group. We discuss useful properties such as…
We introduce a new categorical framework for studying derived functors, and in particular for comparing composites of left and right derived functors. Our central observation is that model categories are the objects of a double category…
We show that, for a principal ideal domain R, the homotopy category of Bousfield R-local spaces injects fully faithful into a homotopy category of simplicial pointed flat coalgebras.
We provide a complete understanding of the rational homology of the space of long links of m strands in the euclidean space of dimension d > 3. First, we construct explicitly a cosimplicial chain complex whose totalization is…
To do homological algebra with unbounded chain complexes one needs to first find a way of constructing resolutions. Spaltenstein solved this problem for chain complexes of R-modules by truncating further and further to the left, resolving…