Related papers: Infinity-operads and Day convolution in Goodwillie…
Finite differences have been widely used in mathematical theory as well as in scientific and engineering computations. These concepts are constantly mentioned in calculus. Most frequently-used difference formulas provide excellent…
In this paper, we investigate the properties of the category of equivariant diagram spectra indexed on the category W_G of based G-spaces homeomorphic to finite G-CW-complexes for a compact Lie group G. Using the machinery of Mandell, May,…
We develop a notion of an algebra over an infinity-operad with values in infinity-categories which is completely intrinsic to the formalism of dendroidal sets. Its definition involves the notion of a coCartesian fibration of dendroidal sets…
Let O be a topological (colored) operad. The Lurie infinity-category of O-algebras with values in (infinity-category of) complexes is compared to the infinity-category underlying the model category of (classical) dg O-algebras. This can be…
There exist many applications where it is necessary to approximate numerically derivatives of a function which is given by a computer procedure. In particular, all the fields of optimization have a special interest in such a kind of…
The goal of this thesis is threefold: first, to provide a general semantic setting for reasoning about incremental computation. Second, to establish and clarify the connection between derivatives in the incremental sense and derivatives in…
We study right exact tensor products on the category of finitely presented functors. As our main technical tool, we use a multilinear version of the universal property of so-called Freyd categories. Furthermore, we compare our constructions…
We introduce the basic elements of the theory of parametrized $\infty$-categories and functors between them. These notions are defined as suitable fibrations of $\infty$-categories and functors between them. We give as many examples as we…
We present a theorem on taking the repeated indefinite summation of a holomorphic function $\phi(z)$ in a vertical strip of $\mathbb{C}$ satisfying exponential bounds as the imaginary part grows. We arrive at this result using transforms…
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…
In this paper we give a new foundational, categorical formulation for operations and relations and objects parameterizing them. This generalizes and unifies the theory of operads and all their cousins including but not limited to PROPs,…
We study several natural multiplicity questions that arise in the context of the Birman-Schwinger principle applied to non-self-adjoint operators. In particular, we re-prove (and extend) a recent result by Latushkin and Sukhtyaev by…
We define the notion of an indexed profunctor over a 2-category, and use it to develop an abstract theory of limits. The theory subsumes (conical) limits, weighted limits, ends and Kan extensions. Results include an abstract version of the…
The thesis comprises three chapters. Chapter 1 investigates generalizations of the theorem of Fatou for convolution type integral operators with general approximate identities. It is introduced $\lambda(r)$-convergence, which is a…
We show Goodwillie's calculus of functors and $n$-geometric $D^{-}$-stacks share similar features by starting to focus on the convergence of Taylor towers for homotopy functors and the fact that $\mathbb{R} F(A) \cong \text{holim}…
Recent theoretical work on automatic differentiation (autodiff) has focused on characteristics such as correctness and efficiency while assuming that all derivatives are automatically generated by autodiff using program transformation, with…
Effective descent morphisms, originally defined in Grothendieck descent theory, form a class of special morphisms within a category. Essentially, an effective descent morphism enables bundles over its codomain to be fully described as…
The Goodwillie tower is based on the idea of approximating a functor F by a series of functors satisfying the strong property of "n-excision". In this dissertation, we study a weaker property of "n-additivity" and compare the two. Theorem…
We call attention to the intermediate constructions $\T_n F$ in Goodwillie's Calculus of homotopy functors, giving a new model which naturally gives rise to a family of towers filtering the Taylor Tower of a functor. We also establish a…
Motivated by duality phenomena for derived global sections on derived local systems on compact oriented manifolds, we introduce the notion of a $d$-duality context between symmetric monoidal enriched categories. In this setting, the right…