English
Related papers

Related papers: Derivators, pointed derivators, and stable derivat…

200 papers

We study questions motivated by results in the classical theory of dynamical systems in the context of triangulated and A-infinity categories. First, entropy is defined for exact endofunctors and computed in a variety of examples. In…

Category Theory · Mathematics 2022-11-08 George Dimitrov , Fabian Haiden , Ludmil Katzarkov , Maxim Kontsevich

We point out that double categories provide a natural setting for modular functors obtained by a (bicategorical) string-net construction: The source of the modular functor -- which is now a double functor -- is a symmetric monoidal double…

Quantum Algebra · Mathematics 2026-05-06 Jürgen Fuchs , Christoph Schweigert , Yang Yang

This paper is an expository account of the theory of stable infinity categories. We prove that the homotopy category of a stable infinity category is triangulated, and that the collection of stable infinity categories is closed under a…

Category Theory · Mathematics 2009-05-08 Jacob Lurie

We construct a fully faithful functor from the category of graphs to the category of fields. Using this functor, we resolve a longstanding open problem in computable model theory, by showing that for every nontrivial countable structure S,…

Logic · Mathematics 2015-10-27 Russell Miller , Bjorn Poonen , Hans Schoutens , Alexandra Shlapentokh

Without the axiom of choice, the free exact completion of the category of sets (i.e. the category of setoids) may not be complete or cocomplete. We will show that nevertheless, it can be enhanced to a derivator: the formal structure of…

Category Theory · Mathematics 2021-06-07 Michael Shulman

Containers conveniently represent a wide class of inductive data types. Their derivatives compute representations of types of one-hole contexts, useful for implementing tree-traversal algorithms. In the category of containers and cartesian…

Logic in Computer Science · Computer Science 2025-12-24 Philipp Joram , Niccolò Veltri

Diers developed a general theory of right multi-adjoint functors leading to a purely categorical, point-set construction of spectra. Situations of multiversal properties return sets of canonical solutions rather than a unique one. In the…

Category Theory · Mathematics 2021-04-27 Axel Osmond

We define a $K$-theory for pointed right derivators and show that it agrees with Waldhausen $K$-theory in the case where the derivator arises from a good Waldhausen category. This $K$-theory is not invariant under general equivalences of…

K-Theory and Homology · Mathematics 2016-12-21 Fernando Muro , George Raptis

We describe new structure on the Goodwillie derivatives of a functor, and we show how the full Taylor tower of the functor can be recovered from this structure. This new structure takes the form of a coalgebra over a certain comonad which…

Algebraic Topology · Mathematics 2014-11-10 Gregory Arone , Michael Ching

We prove that any `finite-type' component of a stability space of a triangulated category is contractible. The motivating example of such a component is the stability space of the Calabi--Yau-$N$ category $\mathcal{D}(\Gamma_N Q)$…

Algebraic Geometry · Mathematics 2018-10-03 Yu Qiu , Jon Woolf

Interactions between derivatives and fixpoints have many important applications in both computer science and mathematics. In this paper, we provide a categorical framework to combine fixpoints with derivatives by studying Cartesian…

Category Theory · Mathematics 2024-07-18 Zeinab Galal , Jean-Simon Pacaud Lemay

Classical spectral theory provides powerful tools for analyzing linear operators, but does not extend naturally to nonlinear or compositional settings. In particular, there is no general way to transport spectral invariants in a functorial…

Category Theory · Mathematics 2026-05-05 Shih-Yu Chang

We introduce a functor calculus for functors $\mathsf{FI}\to\mathcal{V}$, which we call $\mathsf{FI}$-objects, for $\mathsf{FI}$ the category of finite sets and injections and $\mathcal{V}$ a stable presentable $\infty$-category. We show…

Category Theory · Mathematics 2023-06-26 Kaya Arro

We give in this paper an isomorphism theorem between derived functors over categories of modules.There is a nice class of categories that gives examples in which this theorem applies for a special construction. This leads us to a new…

Algebraic Topology · Mathematics 2007-05-23 Mathieu Zimmermann

This paper concerns piecewise-smooth maps on $\mathbb{R}^d$ that are continuous but not differentiable on switching manifolds (where the functional form of the map changes). The stability of fixed points on switching manifolds is…

Dynamical Systems · Mathematics 2016-12-12 David J. W. Simpson

We show that certain tilting results for quivers are formal consequences of stability, and as such are part of a formal calculus available in any abstract stable homotopy theory. Thus these results are for example valid over arbitrary…

Algebraic Topology · Mathematics 2016-03-02 Moritz Groth , Jan Stovicek

We investigate the standard stable manifold theorem in the context of a partially hyperbolic singu-larity of a vector field depending on a parameter. We prove some estimates on the size of the neighbourhood where the local stable manifold…

Dynamical Systems · Mathematics 2018-04-18 Tom Dutilleul

For smooth manifolds $M$ and $N$, let $\Ebar(M, N)$ be the homotopy fiber of the map $\Emb(M, N)\longrightarrow \Imm(M, N)$. Consider the functor from the category of Euclidean spaces to the category of spectra, defined by the formula…

Algebraic Topology · Mathematics 2014-02-26 Gregory Arone

Consider a normal function $f$ on the ordinals (i. e. a function $f$ that is strictly increasing and continuous at limit stages). By enumerating the fixed points of $f$ we obtain a faster normal function $f'$, called the derivative of $f$.…

Logic · Mathematics 2021-07-09 Anton Freund , Michael Rathjen

We introduce a new stable birational invariant, which takes the form of a functor sending a degenerating variety to the homotopy type of a chain complex. Our invariant is a categorification of the motivic volume of Nicaise and Shinder. From…

Algebraic Geometry · Mathematics 2025-03-03 James Hotchkiss , David Stapleton