Related papers: A categorified Dold-Kan correspondence

The paper establishes an equivalence between directed homotopy categories of (diagrams of) cubical sets and (diagrams of) directed topological spaces. This equivalence both lifts and extends an equivalence between classical homotopy…

We propose a general method to construct new triangulated categories, relative stable categories, as additive quotients of a given one. This construction enhances results of Beligiannis, particularly in the tensor-triangular setting. We…

To each oriented surface S, we associate a differential graded category Ko(S). The homotopy category Ho(Ko(S)) is a triangulated category which satisfies properties akin to those of the contact categories studied by K. Honda. These…

We define a comonad cohomology of track categories and we show it is linked by a long exact sequence to its Dwyer-Kan-Smith cohomology . Under mild hypothesis on the track category, we show that its comonad cohomology coincides, up to…

Starting with a k-linear or DG category admitting a (homotopy) Serre functor, we construct a k-linear or DG 2-category categorifying the Heisenberg algebra of the numerical K-group of the original category. We also define a 2-categorical…

We introduce rigid algebras, a generalization of rigid categories to arbitrary symmetric monoidal $(\infty,2)$-categories. We develop their general theory, showing in particular that the a priori $(\infty,2)$-category of rigid algebras is…

We deal with stability theory for ``reasonable'' non-elementary classes without any remanents of compactness (like: above Hanf number or definable by L_{omega_1, omega}).

We show that the categories of compact Lie groups and complex reductive groups (not necessarily connected) are homotopy equivalent topological categories. In other words, the corresponding categories enriched in the homotopy category of…

Given a stratified topological space, we answer the question whether the functor from the derived category of constructible sheaves to the derived category of sheaves with constructible cohomology is an equivalence. We also establish basic…

This work is an attempt towards a Morita theory for stable equivalences between self-injective algebras. More precisely, given two self-injective algebras A and B and an equivalence between their stable categories, consider the set S of…

Let $k$ be a differential field of characteristic zero with an algebraically closed field of constants. In this article, we provide a classification of first order differential equations over $k$ and study the algebraic dependence of…

This article is a survey of algebra in the $\infty$-categorical context, as developed by Lurie in "Higher Algebra", and is a chapter in the "Handbook of Homotopy Theory". We begin by introducing symmetric monoidal stable…

We interpret the construction of relative Cuntz-Pimsner algebras of correspondences in terms of the correspondence bicategory, as a reflector into a certain sub-bicategory. This generalises a previous characterisation of absolute…

This paper can be thought of as an extended introduction to arXiv:0708.3398; nevertheless, most of its results are not covered by loc. cit. We consider the derived categories of DG-modules, DG-comodules, and DG-contramodules, the coderived…

This paper establishes a purely syntactic representation for the category of algebraic L-domains with Scott-continuous functions as morphisms. The central tool used here is the notion of logical states, which builds a bridge between…

An equivalence structure is a set with a single binary relation, satisfying sentences stating that the relation is an equivalence relation. A computable structure A is said to be $\Delta^0_\alpha$ categorical if for any computable structure…

Differentiable conjugacies link dynamical systems that share properties such as the stability multipliers of corresponding orbits. It provides a stronger classification than topological conjugacy, which only requires qualitative similarity.…

We show that the triply graded Khovanov-Rozansky homology of the torus link $T_{n,k}$ stablizes as $k\to \infty$. We explicitly compute the stable homology (as a ring), which proves a conjecture of Gorsky-Oblomkov-Rasmussen-Shende. To…

To a big n-tilting object in a complete, cocomplete abelian category A with an injective cogenerator we assign a big n-cotilting object in a complete, cocomplete abelian category B with a projective generator, and vice versa. Then we…

There are various adjunctions between model (co-)slice and slice categories. We characterize when these adjunctions are Quillen equivalences. As an application, a triangle equivalence between the stable category of a Frobenius category and…