Related papers: Calculus III: Taylor Series
Recent work of Biedermann and R\"ondigs has translated Goodwillie's calculus of functors into the language of model categories. Their work focuses on symmetric multilinear functors and the derivative appears only briefly. In this paper we…
Let $K\subset\mathbb R^d$ be a compact subset equipped with a $\delta$-Ahlfors regular measure $\mu$. For any $\tau>1/d$ and any ``inhomogeneous'' vector $\boldsymbol{\theta}\in\mathbb R^d$, let $W_d(\psi_\tau,\boldsymbol{\theta})$ denote…
We distinguish between faint, weak, strong and strict localizations of categories at morphism families and show that this framework captures the different types of derived functors that are considered in the literature. More precisely, we…
For each n\geq 1 we introduce two new Segal-type models of n-types of topological spaces: weakly globular n-fold groupoids, and a lax version of these. We show that any n-type can be represented up to homotopy by such models via an explicit…
For every smooth quasi-projective surface X we construct a series of P^{n-1}-functors H_{l,n}: D(X x X^[l]) --> D(X^[n+l]) between the derived categories of the Hilbert schemes of points for n>max{l,1} using the derived McKay…
We study functors F from C_f to D where C and D are simplicial model categories and C_f is the full subcategory of C consisting of objects that factor a fixed morphism f from A to B. We define the analogs of Eilenberg and Mac Lane's cross…
In this note we show that Waldhausen's K-theory functor from Waldhausen categories to spaces has a universal property: It is the target of the "universal global Euler characteristic", in other words, the "additivization" of the functor…
For a set of maps of based spaces $S$ we construct a version of Weiss' orthogonal calculus which depends only on the $S$-local homotopy type of the functor involved. We show that $S$-local homogeneous functors of degree $n$ are equivalent…
We develop a generalization of manifold calculus in the sense of Goodwillie-Weiss where the manifold is replaced by a simplicial complex. We consider functors from the category of open subsets of a fixed simplical complex into the category…
In this thesis, we construct a new version of orthogonal calculus for functors $F$ from $C_2$-representations to $C_2$-spaces, where $C_2$ is the cyclic group of order 2. For example, the functor $BO(-)$, which sends a $C_2$-representation…
k-Curvature homogeneous three-dimensional Walker metrics are described for k=0,1,2. This allows a complete description of locally homogeneous three-dimensional Walker metrics, showing that there exist exactly three isometry classes of such…
A Taylor variety consists of all fixed order Taylor polynomials of rational functions, where the number of variables and degrees of numerators and denominators are fixed. In one variable, Taylor varieties are given by rank constraints on…
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…
We compute certain Ext and Tor groups in the category of all functors from an Z/p-linear additive category A to vector spaces in terms of Ext and Tor computed in the full subcategory of additive functors from A to vector spaces. We thus…
Let $D$ be a large category which is cocomplete. We construct a model structure (in the sense of Quillen) on the category of small functors from $D$ to simplicial sets. As an application we construct homotopy localization functors on the…
A kind of unstable homotopy theory on the category of associative rings (without unit) is developed. There are the notions of fibrations, homotopy (in the sense of Karoubi), path spaces, Puppe sequences, etc. One introduces the notion of a…
The bulk of this paper is devoted to the comparison of several models for the theory of (infinity,2)-categories: that is, higher categories in which all k-morphisms are invertible for k > 2 (the case of (infinity,n)-categories is also…
Additive categories play a fundamental role in mathematics and related disciplines. Given an additive category equipped with a biadditive functor, one can construct its category of extensions, which encodes important structural information.…
We investigate a (potentially infinite) series of subfactors, called $3^n$ subfactors, including $A_4$, $A_7$, and the Haagerup subfactor as the first three members corresponding to $n=1,2,3$. Generalizing our previous work for odd $n$, we…
In Diophantine approximation, inhomogeneous problems are linked with homogeneous ones by means of the so-called Transference Theorems. We revisit this classical topic by introducing new exponents of Diophantine approximation. We prove that…