Related papers: Remarks on the equivalence between differential gr…

Topologists are sometimes interested in space-valued diagrams over a given index category, but it is tricky to say what such a diagram even is if we look for a notion that is stable under equivalence. The same happens in (homotopy) type…

We show the equivalence of two kinds of strict multiple category, namely the well known globular omega-categories, and the cubical omega-categories with connections.

For every $\infty$-category $\mathscr{C}$, there is a homotopy $n$-category $\mathrm{h}_n \mathscr{C}$ and a canonical functor $\gamma_n \colon \mathscr{C} \to \mathrm{h}_n \mathscr{C}$. We study these higher homotopy categories, especially…

In this paper we prove that Toen's derived enrichment of the model category of dg-categories defined by Tabuada, is computed by the dg-category of A-infinity functors. This approach was suggested by Kontsevich. We further put this…

We study geometric representation theory of Lie algebroids. A new equivalence relation for integrable Lie algebroids is introduced and investigated. It is shown that two equivalent Lie algebroids have equivalent categories of infinitesimal…

Derivators, introduced independently by Grothendieck and Heller in the 1980s, provide a categorical framework for studying homotopy theory. They are based on the idea that, while the homotopy 1-category of a single model category or…

We show that there is an equivalence of $\infty$-categories between Lie algebroids and certain kinds of curved Lie algebras. For this we develop a method to study the $\infty$-category of curved Lie algebras using the homotopy theory of…

In this paper, we introduce abelian $n$-truncated DG-categories as an $n$-dimensional analogue of abelian categories in the setting of DG-categories. When $n=1$, this recovers ordinary abelian categories, and when $n=\infty$, it corresponds…

Inspired by the work of Rostam, we establish an explicit categorical equivalence between affine Yokonuma-Hecke algebras and quiver Hecke algebras associated to disjoint copies of quivers of (affine) type $A,$ generalizing Rouquier's…

We prove that for any test category $A$, in the sense of Grothendieck, satisfying a compatibility condition between homology equivalences and weak equivalences of presheaves, the homotopy category of abelian presheaves on $A$ is equivalent…

We develop geometric approach to A-infinity algebras and A-infinity categories based on the notion of formal scheme in the category of graded vector spaces. Geometric approach clarifies several questions, e.g. the notion of homological unit…

We show that any functor between $\infty$-categories can be straightened. More precisely, we show that for any $\infty$-category $\mathcal{C}$, there is an equivalence between the $\infty$-category $(\mathrm{Cat}_{\infty})_{/\mathcal{C}}$…

We prove that three definitions of unitality for A-infinity-categories suggested by the first author, by Kontsevich and Soibelman, and by Fukaya are equivalent.

The dihedral homology functor $HD:A_\infty^{{\rm inv}}(K)\to GrM(K)$ from the category $A_\infty^{{\rm inv}}(K)$ of involutive $A_\infty$-algebras over any commutative unital ring $K$ to the category $GrM(K)$ of graded $K$-modules is…

In previous work, we showed that there are appropriate model category structures on the category of simplicial categories and on the category of Segal precategories, and that they are Quillen equivalent to one another and to Rezk's complete…

We exhibit a Quillen equivalence between two model categories encoding the homotopy theory of stratified spaces : the model category of filtered simplicial sets, and that of filtered spaces. Additionally, we introduce a new class of…

We revisit the definition of Cartesian differential categories, showing that a slightly more general version is useful for a number of reasons. As one application, we show that these general differential categories are comonadic over…

Constructions of spectra from symmetric monoidal categories are typically functorial with respect to strict structure-preserving maps, but often the maps of interest are merely lax monoidal. We describe conditions under which one can…

Both simplicial sets and simplicial spaces are used pervasively in homotopy theory as presentations of spaces, where in both cases we extract the "underlying space" by taking geometric realization. We have a good handle on the category of…

We establish connections between the concepts of Noetherian, regular coherent, and regular n-coherent categories for Z-linear categories with finitely many objects and the corresponding notions for unital rings. These connections enable us…