Related papers: Goodwillie approximations to higher categories
The purpose of this note is to point out that simplicial methods and the well-known Dold-Kan construction in simplicial homotopy theory can be fruitfully applied to convert link homology theories into homotopy theories. Dold and Kan prove…
We construct a new model structure on the category of dg presheaves over a topological space $X$, obtained through the right Bousfield localization of the local projective model structure. The motivation for this construction arises from…
In this paper, we prove that the DG category of DG complex of DG category of a differential graded algebra A is homotopy equivalent to that of comodules over the simplicial bar complex of A. Under the assuption of connectedness of A, we…
We introduce a pro-\'etale geometric object $D_\infty$ arising naturally from the tower of Artin-Schreier extensions in characteristic 2, equipped with a canonical endofunctor $O$ whose fixed points correspond to automorphic representations…
Cofiltered diagrams of spectra, also called pro-spectra, have arisen in diverse areas, and to date have been treated in an ad hoc manner. The purpose of this paper is to systematically develop a homotopy theory of pro-spectra and to study…
For a functor with smash product F and an F-bimodule P, we construct an invariant W(F;P) which is an analog of TR(F) with coefficients. We study the structure of this invariant and its finite-stage approximations W_n(F;P), and conclude that…
We proved in a previous work that Cattani-Sassone's higher dimensional transition systems can be interpreted as a small-orthogonality class of a topological locally finitely presentable category of weak higher dimensional transition…
A combinatorial theory of associative $n$-categories has recently been proposed, with strictly associative and unital composition in all dimensions, and the weak structure arising as a combinatorial notion of homotopy with a natural…
We prove a version of Quillen's stratification theorem in equivariant homotopy theory for a finite group $G$, generalizing the classical theorem in two directions. Firstly, we work with arbitrary commutative equivariant ring spectra as…
Spectral Mackey functors are homotopy-coherent versions of ordinary Mackey functors as defined by Dress. We show that they can be described as excisive functors on a suitable infinity-category, and we use this to show that universal…
We consider Voevodsky's slice tower for a finite spectrum E in the motivic stable homotopy category over a perfect field k. In case k has finite cohomological dimension (in characteristic two, we also require that k is infinite), we show…
Given a certain kind of linear representation of a reductive group, referred to as a quasi-symmetric representation in recent work of \v{S}penko and Van den Bergh, we construct equivalences between the derived categories of coherent sheaves…
The theory of associative $n$-categories has recently been proposed as a strictly associative and unital approach to higher category theory. As a foundation for a proof assistant, this is potentially attractive, since it has the potential…
We generalize the construction of reflection functors from classical representation theory of quivers to arbitrary small categories with freely attached sinks or sources. These reflection morphisms are shown to induce equivalences between…
The purpose of this text is the study of the class of homotopy types which are modelized by strict \infty-groupoids. We show that the homotopy category of simply connected \infty-groupoids is equivalent to the derived category in…
We set up a general theory of weak or homotopy-coherent enrichment in an arbitrary monoidal $\infty$-category $\mathcal{V}$. Our theory of enriched $\infty$-categories has many desirable properties; for instance, if the enriching…
The homotopy category of a model structure on a weakly idempotent complete additive category is proved to be equivalent to the additive quotient of the category of cofibrant-fibrant objects with respect to the subcategory of…
We introduce axioms for towers of infinite-dimensional algebras such that the corresponding Grothendieck groups of projective and finite-dimensional modules are Hopf dual to each other. This duality gives rise to an action of the Hesienberg…
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…
In their paper Scholze and Weinstein show that a certain diagram of perfectoid spaces is Cartesian. In this paper, we generalize their result. This generalization will be used in a forthcoming paper of ours to compute certain non-trivial…