Related papers: Cosimplicial resolutions and homotopy spectral seq…

We show that the Hurewicz image in the homology of a moment-angle complex, when passed through an isomorphism with the Ext-module of the corresponding Stanley-Reisner ideal, contains the linear strand of this ideal. This recovers and…

We connect the homotopy type of simplicial moduli spaces of algebraic structures to the cohomology of their deformation complexes. Then we prove that under several assumptions, mapping spaces of algebras over a monad in an appropriate…

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…

We establish a large class of homotopy coherent Morita-equivalences of Dold-Kan type relating diagrams with values in any weakly idempotent complete additive $\infty$-category; the guiding example is an $\infty$-categorical Dold-Kan…

This article shows several new methods for proofs on Kan complexes while using them to give a compact introduction to the homotopy groups of these complexes. Then more advanced objects are studied starting with homology and the Hurewicz…

We compute the $E_2$-term of the Bousfield-Kan spectral sequence converging to the homotopy groups of the semi-cosimplicial $E_{\infty}$ ring spectrum $Q(2)_{(3)}$. This 3-local spectrum was constructed by M. Behrens using degree 2…

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…

Motivated by gauge theory, we develop a general framework for chain complex valued algebraic quantum field theories. Building upon our recent operadic approach to this subject, we show that the category of such theories carries a canonical…

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 use homological ideals in triangulated categories to get a sufficient criterion for a pair of subcategories in a triangulated category to be complementary. We apply this criterion to construct the Baum-Connes assembly map for locally…

We define and study homotopy groups of cubical sets. To this end, we give four definitions of homotopy groups of a cubical set, prove that they are equivalent, and further that they agree with their topological analogues via the geometric…

We provide, among other things: (i) a Bousfield--Kan formula for colimits in $\infty$-categories (generalizing the 1-categorical formula for a colimit as a coequalizer of maps between coproducts); (ii) $\infty$-categorical generalizations…

We explain how to set up the homotopy spectral sequence of a (co)simplicial object in an $\infty$-category, with an emphasis on how to construct the differentials in a model-invariant manner.

We describe the formal properties of cellularization functors in triangulated categories and study the preservation of ring and module structures under these functors in stable homotopy categories in the sense of Hovey, Palmieri and…

For a Cohen-Macaulay ring $R$, we exhibit the equivalence of the bounded derived categories of certain resolving subcategories, which, amongst other results, yields an equivalence of the bounded derived category of finite length and finite…

The (dual) Dold-Kan correspondence says that there is an equivalence of categories $K:\cha\to \Ab^\Delta$ between nonnegatively graded cochain complexes and cosimplicial abelian groups, which is inverse to the normalization functor. We show…

We study the mod-2 cohomology spectral sequence arising from delooping the Bousfield-Kan cosimplicial space giving the 2-nilpotent completion of a connective spectrum $X$. Under good conditions its $E_{2}$-term is computable as certain…

We establish a coarse version of the Cartan-Hadamard theorem, which states that proper coarsely convex spaces are coarsely homotopy equivalent to the open cones of their ideal boundaries. As an application, we show that such spaces satisfy…

We extend Homotopy Type Theory with a novel modality that is simultaneously a monad and a comonad. Because this modality induces a non-trivial endomap on every type, it requires a more intricate judgemental structure than previous modal…

The theory of abelian categories proved very useful, providing an axiomatic framework for homology and cohomology of modules over a ring and, in particular, of abelian groups. For many years, a similar categorical framework has been lacking…