Related papers: Constructing the Unstable Motivic Homotopy Categor…
We develop a homotopy theory for additive categories endowed with endofunctors, analogous to the concept of a model structure. We use it to construct the homotopy theory of a Hovey triple (which consists of two compatible complete cotorsion…
We show that the homotopy theories of differential graded categories and $\mathrm{A}_\infty$-categories over a field are equivalent at the $(\infty,1)$-categorical level. The results are corollaries of a theorem of Canonaco-Ornaghi-Stellari…
We construct certain unstable higher-order homotopy operations indexed by the simplex categories of $\Delta^{n}$ for ${n\geq 2}$ and prove that all elements in the homotopy groups of a wedge of spheres are generated under such operations by…
Let $\mathrm{h}\mathscr{C}$ be the homotopy category of a stable infinity category $\mathscr{C}$. Then the homotopy category $\mathrm{h}\mathscr{C}^{\Delta^{1}}$ of morphisms in the stable infinity category $\mathscr{C}$ is also…
This note is a contribution written for the second volume of the Encyclopedia of mathematical physics. We give an informal introduction to the notions of an $(\infty,n)$-category and $(\infty,n)$-functor, discussing some of the different…
We develop in this paper a stable theory for projective complexes, by which we mean to consider a chain complex of finitely generated projective modules as an object of the factor category of the homotopy category modulo split complexes. As…
In this paper we describe the homotopy category of the $A_\infty$categories. To do that we introduce the notion of semi-free $A_\infty$category, which plays the role of standard cofibration. Moreover, we define the non unital $A_\infty$…
We introduce the notion of an accessible $\infty$-cosmos and prove that these include the basic examples of $\infty$-cosmoi and are stable under the main constructions. A consequence is that the vast majority of known examples of…
We extend the theory of d-categories, by providing an explicit description of the right mapping spaces of the d-homotopy category of an $\infty$-category. Using this description, we deduce an invariant $\infty$-categorical characterization…
We prove that algebraic G-theory in is representable in unstable and stable motivic homotopy categories; in the stable category we identify it with the Borel-Moore theory associated to algebraic K-theory, and show that such an…
We present a geometric construction of push-forward maps along projective morphisms for cohomology theories representable in the stable motivic homotopy category assuming that the element corresponding to the stable Hopf map is inverted in…
We extend Ayoub's formalism of motivic nearby cycle functor to the $\infty$-categorical level, and prove some desired cohomological properties by relating the motivic nearby cycle functor to the notion of local acyclicity in motivic…
Our main purpose is to describe the category of isotropic cellular spectra over flexible fields. Guided by [6], we show that it is equivalent, as a stable $\infty$-category equipped with a $t$-structure, to the derived category of left…
Interpretable classification models are built with the purpose of providing a comprehensible description of the decision logic to an external oversight agent. When considered in isolation, a decision tree, a set of classification rules, or…
The purpose of this article is to clarify the question what makes motives $\mathbb{A}^1$-homotopy invariance. we give construction of the stable model category of nilpotent invariant motives…
(This is an updated version; following an idea of Voevodsky, we have strengthened our results so all of them apply to one form of motivic homotopy theory). We give two general constructions for the passage from unstable to stable homotopy…
For an $(\infty,n)$-category $\mathscr E$ we define an $(\infty,1)$ category $\mathrm{TwAr}(\mathscr E)$ and provide an isomorphism between the stabilization of the overcategory of $\mathscr E$ in $\mathrm{Cat}_{(\infty,n)}$ and the…
The homotopy theory of higher categorical structures has become a relevant part of the machinery of algebraic topology and algebraic K-theory, and this paper contains contributions to the study of the relationship between B\'enabou's…
We propose a definition of higher inductive types in $(\infty,1)$-categories with finite limits. We show that the $(\infty,1)$-category of $(\infty,1)$-categories with higher inductive types is finitarily presentable. In particular, the…
We propose a construction of a stable category for any pretorsion theory in a lextensive category. We prove the universal property of the stable category, that extends previous results obtained for the stable category of internal preorders…