Related papers: A Fubini rule for $\infty$-coends

We upgrade the Cauchy--Frobenius Lemma (`Burnside's Lemma') to a homotopy equivalence of $\infty$-groupoids, essentially given by double counting/Fubini in the free loop space of the quotient.

We prove a refinement of Quillen's Theorem A, providing necessary and sufficient conditions for a functor to be cofinal with respect to diagrams valued in a fixed $\infty$-category. We deduce this from a general duality phenomenon for…

In recent years, the theory for Leibniz integral rule in the fractional sense has not been able to get substantial development. As an urgent problem to be solved, we study a Leibniz integral rule for Riemann-Liouville and Caputo type…

One of the major advantages of $\infty$-category theory over classical $1$-category theory is its robust and homotopically meaningful framework for taking (co)limits of diagrams of $\infty$-categories. However, it is both subtle and crucial…

We give yet another proof for Fa\`{a} di Bruno's formula for higher derivatives of composite functions. Our proof technique relies on reinterpreting the composition of two power series as the generating function for weighted integer…

Let $\mathcal{A}$ be an abelian category and let $F$ be a subbifunctor of the additive bifunctor $\text{Ext}_{\mathcal{A}}^{1}(-,-)\colon \mathcal{A}^{\text{op}}\times \mathcal{A}\to \mathsf{Ab}$. Buan proved in [4] that $F$ is closed if,…

In this paper, we consider the Frobenius pushforward endofunctor $F_\ast$ of the bounded derived category of finitely generated modules over an $F$-finite noetherian local ring. We completely determine the categorical entropy of $F_\ast$ in…

We show that in the theory of Daniell integration iterated integrals may always be formed, and the order of integration may always be interchanged. By this means, we discuss product integrals and show that the related Fubini theorem holds…

This paper determines the general formula for describing differentials of composite functions in terms of differentials of their factor functions. This generalises the formula commonly attributed to Faa di Bruno to functions in locally…

We prove the It\^o-Wentzell formula for processes with values in the space of generalized functions by using the stochastic Fubini theorem and the It\^o-Wentzell formula for real-valued processes, appropriate versions of which are also…

We give conditions on a finitary endofunctor of a finitely accessible category to admit a final coalgebra. Our conditions always apply to the case of a finitary endofunctor of a locally finitely presentable (l.f.p.) category and they bring…

We say that a function $\alpha(x)$ belongs to the set ${\bf A}^{(\gamma)}$ if it has an asymptotic expansion of the form $\alpha(x)\sim \sum^\infty_{i=0}\alpha_ix^{\gamma-i}$ as $x\to\infty$, which can be differentiated term by term…

Finite Turing computation has a fundamental symmetry between inputs, outputs, programs, time, and storage space. Standard models of transfinite computational break this symmetry; we consider ways to recover it and study the resulting model…

In this paper, by using C-class functions [4] for integral type of Suzuki-type mappings, some fixed point results are established on a metric space that gener- alize the results of Aleomraninejad and Shokouhnia [Adv. Fixed Point Theory, 5…

For a holomorphic vector bundle $E$ over a polarised K\"ahler manifold, we establish a direct link between the slope stability of $E$ and the asymptotic behaviour of Donaldson's functional, by defining the Quot-scheme limit of Fubini-Study…

This paper studies Frobenius subalgebra posets in abelian monoidal categories and shows that, under general conditions--satisfied in all semisimple tensor categories over the complex field--they collapse to lattices through a rigidity…

We study Lebesgue integration of sums of products of globally subanalytic functions and their logarithms, called constructible functions. Our first theorem states that the class of constructible functions is stable under integration. The…

Inspired by Lurie's theory of quasi-unital algebras we prove an analogous result for $\infty$-categories. In particular, we show that the unital structure of an $\infty$-category can be uniquely recovered from the underlying non-unital…

We show characterizations of the class of Cullen-regular functions in the sense of Gentili-Struppa for any domain $\Omega$ in terms of the Fueter operator. We then state a Integral Theorem and discuss how it can be used to define a more…

In this paper we consider a Caputo type fractional derivative with respect to another function. Some properties, like the semigroup law, a relationship between the fractional derivative and the fractional integral, Taylor's Theorem,…