Related papers: A Fubini rule for $\infty$-coends
A slight modification to Halmos' definition of product of measures yields a uniquely characterized associative product. The operation applies to arbitrary (not necessarily $\sigma-$finite) measures and is consistent with the Fubini--Tonelli…
In terms of category theory, the Gromov homotopy principle for a set valued functor $F$ asserts that the functor $F$ can be induced from a homotopy functor. Similarly, we say that the bordism principle for an abelian group valued functor…
In this paper we continue the project of generalizing tilting theory to the category of contravariant functors $Mod(C)$, from a skeletally small preadditive category $C$ to the category of abelian groups. We introduced the notion of a a…
We define statistical Ces\`{a}ro and statistical logarithmic summability methods of sequences in intuitionistic fuzzy normed spaces($IFNS$) and give slowly oscillating type and Hardy type Tauberian conditions under which statistical…
We give an exact value of the rank of an $\mathcal{F}$-Fubini sum of filters for the case where $\mathcal{F}$ is a Borel filter of rank $1$. We also consider $\mathcal{F}$-limits of filters $\mathcal{F}_i$, which are of the form…
We show in this paper that representations of a finite product of categories satisfying certain combinatorial conditions have finite Castelnuovo-Mumford regularity if and only if they are presented in finite degrees, and hence the category…
Dependently typed proof assistant rely crucially on definitional equality, which relates types and terms that are automatically identified in the underlying type theory. This paper extends type theory with definitional functor laws,…
We show how several useful properties of Ind-constructions in $\infty$-categories extend to arbitrary free colimit completion constructions.
In the present study, we have introduced Ces\`{a}ro summability of integrals of fuzzy-number-valued functions and given one-sided Tauberian conditions under which convergence of improper fuzzy Riemann integrals follows from Ces\`{a}ro…
How do we take repeated derivatives of composed multivariate functions? for one-dimensional functions, the common tools consist of the Fa\'a di Bruno formula with Bell polynomials; while there are extensions of the Fa\'a di Bruno formula,…
Fractional variation is defined as the limit of the difference quotient of the increments of a function and its argument raised to a fractional power. Fractional velocity can be suitable for characterizing singular behavior of derivatives…
Functional integrals are central to modern theories ranging from quantum mechanics and statistical thermodynamics to biology, chemistry, and finance. In this work we present a new method for calculating functional integrals based on a…
A Q-system is a unitary version of a separable Frobenius algebra object in a C*-tensor category or a C*-2-category. We prove that, for C*-2-categories $\mcal C$ and $\mcal D$, the C*-2-category $\textbf{Fun}(\mcal C, \mcal D)$ of $ * $-$ 2…
Necessary and sufficient conditions are presented for a fractional Orlicz-Sobolev space on $\rn$ to be continuously embedded into a space of uniformly continuous functions. The optimal modulus of continuity is exhibited whenever these…
We use type-theoretic techniques to present an algebraic theory of $\infty$-categories with strict units. Starting with a known type-theoretic presentation of fully weak $\infty$-categories, in which terms denote valid operations, we extend…
We consider an infinite-to-one factor map from an irreducible shift of finite type X to a sofic shift Y. A compensation function relates equilibrium states on X to equilibrium states on Y. The p-Dini condition is given as a way of measuring…
A finite-time fluctuation theorem is proved for the diffusion-influenced surface reaction A<->B in a domain with any geometry where the species A and B undergo diffusive transport between the reservoir and the catalytic surface. A…
Consanguinity of entropy and complexity is pointed out through the example of coherent states of the group $SL(d+1,\C)$. Both are obtained from the K\"ahler potential of the underlying geometry of the sphere corresponding to the…
A type of fractional derivative, referred to as \alpha-derivative, is studied. The \alpha-derivative of fractional type obeys Leibnitz rule. Based on the definition of \alpha-derivative the operations of analysis and differential geometry…
A $G$-graded extension of a fusion category $\mathcal{C}$ yields a categorical action of $G$ on the center $Z(\mathcal C)$. If the extension admits a spherical structure, we provide a method for recovering its fusion rules in terms of the…