Related papers: Fully faithful functors and pushouts of $\infty$-c…

High-order derivatives of analytic functions are expressible as Cauchy integrals over circular contours, which can very effectively be approximated, e.g., by trapezoidal sums. Whereas analytically each radius r up to the radius of…

We classify the stability of flat-core $p$-elasticae in $\mathbf{R}^d$ subject to the pinned boundary condition. Together with previous work, this completes the classification of stable pinned $p$-elasticae in $\mathbf{R}^d$ for all…

There exists a canonical functor from the category of fibrant objects of a model category modulo cylinder homotopy to its homotopy category. We show that this functor is faithful under certain conditions, but not in general.

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 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 study the action on currents and differential forms on compact Riemannian manifolds under $C^0$-limits of diffeomorphisms. Using tools from geometric analysis, measure theory, and homotopy theory, we establish several convergence…

In several familiar subcategories of the category ${\mathbb T}$ of topological spaces and continuous maps, embeddings are not pushout-stable. But, an interesting feature, capturable in many categories, namely in categories $\mathcal{B}$ of…

We systematically develop the theory of definable functors between compactly generated triangulated categories. Such functors preserve pure triangles, pure injective objects, and definable subcategories, and as such appear in a wide range…

We construct an "almost involution" assigning a new DG-category to a given one, and use this construction to recover, say, the abelian category of graded modules over the graded ring $R^*$ from the DG-category of DG-modules over a DG-ring…

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 introduce the continuous version of the (unstable) smashing spectrum functor. In the stable case, it assigns to each dualizably symmetric monoidal stable presentable $\infty$-category a stably compact space whose open subsets correspond…

This paper is dedicated to the study of weight complexes (defined on triangulated categories endowed with weight structures) and their applications. We introduce pure (co)homological functors that "ignore all non-zero weights"; these have a…

We show that the category of $n$-excisive functors from the $\infty$-category of spectra to a target stable $\infty$-category $\mathbf{E}$ is equivalent to the category of $\mathbf{E}$-valued Mackey functors on an indexing category built…

We develop the theory of exact completions of regular $\infty$-categories, and show that the $\infty$-categorical exact completion (resp. hypercompletion) of an abelian category recovers the connective half of its bounded (resp. unbounded)…

We call a finitely complete category diexact if every Mal'cev relation admits a pushout which is stable under pullback and itself a pullback. We prove three results relating to diexact categories: firstly, that a category is a pretopos if…

We construct a left adjoint $\mathcal{H}^\text{st}\colon \mathbf{Ex}_{\infty} \rightarrow \mathbf{St}_{\infty}$ to the inclusion $\mathbf{St}_{\infty} \hookrightarrow \mathbf{Ex}_{\infty}$ of the $\infty$-category of stable…

Let X be a smooth variety over a perfect field of characteristic p>0. In this small note we define overconvergent F-de Rham-Witt connections as an analogue for F-crystals over proper schemes. We prove that the forgetful functor from the…

This article gives an elementary and formal 2-categorical construction of a bicategory of right fractions analogous to anafunctors, starting from a 2-category equipped with a family of covering maps that are fully faithful and co-fully…

In this paper, we first introduce stable functors with respect to a preenveloping/precovering subcategory and investigate some of their properties. Using that we then introduce and study a relative complete cohomology theory in abelian…

We show a stability-type theorem for foliations on projective spaces which arise as pullbacks of foliations with a split tangent sheaf on weighted projective spaces. As a consequence, we will be able to construct many irreducible components…