Related papers: A categorified Dold-Kan correspondence
We revisit Kolchin's results on definability of differential Galois groups of strongly normal extensions, in the case where the field of constants is not necessarily algebraically closed. In certain classes of differential topological…
We describe an $A_\infty$-quasi-equivalence of dg-categories between the first authors' $\mathcal{P}_{\mathcal{A}}$ ---the category of category of prefect $A^0$-modules with flat $\Z$-connection, corresponding to the de Rham dga…
Persistent homology enables fast and computable comparison of topological objects. However, it is naturally limited to the analysis of topological spaces. We extend the theory of persistence, by guaranteeing robustness and computability to…
We generalise to a group homomorphism $\tau$ the $\chi$-graded categories of S\"{o}zer and Virelizier. These are categories in which both morphisms and objects have compatible degrees. We give a 'half-enriched' Yoneda lemma, a structure…
In 1999 V. Ivanov and S. Kerov observed that structure constants of algebras of conjugacy classes of symmetric groups $S_n$ admit a stabilization (in a non-obvious sense) as $n\to \infty$. We extend their construction to a class of pairs of…
Following ideas of Lawvere and Linton we prove that classical varieties are precisely the exact categories with a varietal generator. This means a strong generator which is abstractly finite and regularly projective. An analogous…
The filtered derived category of an abelian category has played a useful role in subjects including geometric representation theory, mixed Hodge modules, and the theory of motives. We develop a natural generalization using current methods…
We give a complete description of the derived equivalence normal forms of all one-parametric selfinjective algebras over algebraically closed fields which admit simply connected Galois coverings. As a consequence, a description of the…
We classify, up to derived (equivalently, tilting-cotilting) equivalence all nondegenerate gentle two-cycle algebras. We also give a partial classification and formulate a conjecture in the degenerate case.
Stable homotopy theory is governed by the principle that after inverting loop spaces, homotopy types become the representing objects for homology theories. We show that this principle extends to higher category theory: inverting…
We classify the finite connected-homogeneous digraphs, as well as the infinite such digraphs with precisely one end. This completes the classification of all the locally finite connected-homogeneous digraphs.
We construct an equivalence of categories from a strong categorical sl(2) action, following the work of Chuang-Rouquier. As an application, we give an explicit, natural equivalence between the derived categories of coherent sheaves on…
We demonstrate that, in certain cases, quantization and the classical limit provide functors that are "almost inverse" to each other. These functors map between categories of algebraic structures for classical and quantum physics,…
We introduce $n$-abelian and $n$-exact categories, these are analogs of abelian and exact categories from the point of view of higher homological algebra. We show that $n$-cluster-tilting subcategories of abelian (resp. exact) categories…
We define triangulated factorization systems on triangulated categories, and prove that a suitable subclass thereof (the normal triangulated torsion theories) corresponds bijectively to $t$-structures on the same category. This result is…
We prove that homotopy invariance and cancellation properties are satisfied by any linear category of correspondences that is defined, via Calm\`es and Fasel's construction, by an underlying cohomology theory. In particular, this includes…
Given a good homology theory E and a topological space X, the E-homology of X is not just an E_{*}-module but also a comodule over the Hopf algebroid (E_{*}, E_{*}E). We establish a framework for studying the homological algebra of…
Some aspects of basic category theory are developed in a finitely complete category $\C$, endowed with two factorization systems which determine the same discrete objects and are linked by a simple reciprocal stability law. Resting on this…
We introduce higher analogs for cleavages in the context of (Kan) simplicial fibrations. We apply them to obtain geometric models for representations up to homotopy of (higher) Lie groupoids. Concretely, we set an equivalence between…
We distinguish between faint, weak, strong and strict localizations of categories at morphism families and show that this framework captures the different types of derived functors that are considered in the literature. More precisely, we…