Related papers: On calculus of functors in model categories
Lenses have a rich history and have recently received a great deal of attention from applied category theorists. We generalize the notion of lens by defining a category $\mathsf{Lens}_F$ for any category $\mathcal{C}$ and functor $F\colon…
We study the splitting of the Goodwillie towers of functors in various settings. In particular, we produce splitting criteria for functors $F: \A \to M_A$ from a pointed category with coproducts to $A$-modules in terms of differentials of…
We review several known categorification procedures, and introduce a functorial categorification of group extensions with applications to non-abelian group cohomology. Categorification of acyclic models and of topological spaces are briefly…
This is an exposition of some basic ideas in the realm of Global Inverse Function theorems. We address ourselves mainly to readers who are interested in the applications to Differential Equations. But we do not deal with those applications…
We develop a theory of Goodwillie calculus for functors between $G$-equivariant homotopy theories, where $G$ is a finite group. We construct $J$-excisive approximations of a homotopy functor for any finite $G$-set $J$. These fit together…
We investigate fibrancy conditions in the Thomason model structure on the category of small categories. In particular, we show that the category of weak equivalences of a partial model category is fibrant. Furthermore, we describe…
In the seminal work of Gaitsgory and Rozenblyum on derived algebraic geometry, eight conjectures regarding the theory of $(\infty,2)$-categories are stated. This paper aims to clarify the status of these claims, and to provide a proof for…
In this short note we use ideas from systems theory to define a functional calculus for infinitesimal generators of strongly continuous semigroups on a Hilbert space. Among others, we show how this leads to new proofs of (known) results in…
The work is devoted to the extension groups in the category of functors from a small category to an additive category with an Abelian structure in the sense of Heller. It is constructed a spectral sequence which converges to the extension…
The classical theory of free analysis generalizes the noncommutative (nc) polynomials and rational functions, easily providing such results as an nc analogue of the Jacobian conjecture. However, the classical theory misses out on important…
The present article is devoted to certain examples of functions whose argument represented in terms of Cantor series.
Let $G$ be a finite group. In this paper, we first introduce a new notion, so-called the Mackey double category of $G$. Then we prove that the category of Mackey double categories and the category of Mackey functors of $G$ are equivalent.
A new definition for the notion of a (general) $\infty$-category is given.
The attempt is to give a formal concpet of system, and with this provide a definition of category, that will also satisfy the definition of a system. An axiomatic base is given, for constructing the group of integers. In the process, we…
Since their introduction by Andrews, generalized Frobenius partitions have interested a number of authors, many of whom have worked out explicit formulas for their generating functions in specific cases. This has uncovered interesting…
The general theory of Grothendieck categories is presented. We systemize the principle methods and results of the theory, showing how these results can be used for studying rings and modules.
The purpose of this note is to consider in detail the construction of derived functors. The classical construction, such as in Cartan-Eilenberg or Grothendieck, is clarified, and it is shown, at the same time, that everything can be…
We advocate the use of de Bruijn's universal abstraction $\lambda^\infty$ for the quantification of schematic variables in the predicative setting and we present a typed $\lambda$-calculus featuring the quantifier $\lambda^\infty$…
Guided by consideration of problems in 2 and 3 dimensional lattice model computation, we are led to define a number of new categories, and functors between these categories and the partition category, culminating in the introduction of two…
We develop an elementary formalism of functional calculus for entire holomorphic functions in the setting of Clausen and Scholze's $p$-liquid vector spaces.