Related papers: A Fubini rule for $\infty$-coends
In this paper we introduce the models for $(\infty, n)$-categories which have been developed to date, as well as the comparisons between them that are known and conjectured. We review the role of $(\infty, n)$-categories in the proof of the…
We introduce the notion of an accessible $\infty$-cosmos and prove that these include the basic examples of $\infty$-cosmoi and are stable under the main constructions. A consequence is that the vast majority of known examples of…
This work brings Mellin transforms into the realm of motivic integration. The new, larger class of motivic functions is stable under motivic Mellin and Fourier transforms, with general Fubini results and change of variables formulas. It…
We study the class of affine self-similar and continuous on interval $[0;1]$ functions. Formulas for the H\"{o}lder exponents are obtained in terms of self-similarity parameters.
This paper develops a theory of $C^\infty$-superrings and their associated $C^\infty$-superschemes. We prove a key equivalence between the category of fair affine $C^\infty$-superschemes and the category of fair $C^\infty$-superrings. We…
We give new sufficient conditions for the integrability and unique integrability of continuous tangent sub-bundles on manifolds of arbitrary dimension, generalizing Frobenius' classical Theorem for C^1 sub-bundles. Using these conditions we…
A generalization of a theorem of Crabb and Hubbuck concerning the embedding of flag representations in divided powers is given, working over an arbitrary finite field F, using the category of functors from finite-dimensional F-vector spaces…
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…
We prove that every finitary polynomial endofunctor of a category $C$ has a final coalgebra if $C$ is locally Cartesian closed, has finite disjoint coproducts and a natural number object. More generally, we prove that the category of…
We prove quasi-monotonicity formulae for classical obstacle-type problems with quadratic energies with coefficients in fractional Sobolev spaces, and a linear term with a Dini-type continuity property. These formulae are used to obtain the…
A product quadrature rule, based on the filtered de la Vall\'ee Poussin polynomial approximation, is proposed for evaluating the finite Hilbert transform in [-1; 1]. Convergence results are stated in weighted uniform norm for functions…
Consider a very ample line bundle $ E \to X$ over a compact complex manifold, endowed with a hermitian metric of curvature $-i \omega $, and the space $\mathcal{O}(E)$ of its holomorphic sections. The Fubini--Study map associates with…
Based on Gandy's principles for models of computation we give category-theoretic axioms describing locally deterministic updates to finite objects. Rather than fixing a particular category of states, we describe what properties such a…
The notion of a categorical quotient can be generalized since its standard categorical concept does not recover the expected quotients in certain categories. We present a more general formulation in the form of $\mathcal{F}$-quotients in a…
We derive the fusion hierarchy of functional equations for critical A-D-E lattice models related to, the sl(2) unitary minimal models, the parafermionic models and the supersymmetric models of conformal field theory, and deduce the related…
For a category C we investigate the problem of when the coproduct $\bigoplus$ and the product functor $\prod$ from C^I to C are isomorphic for a fixed set I, or, equivalently, when the two functors are Frobenius functors. We show that for…
We apply Frobenius integrability theorem in the search of invariants for one-dimensional Hamiltonian systems with a time-dependent potential. We obtain several classes of potential functions for which Frobenius theorem assures the existence…
L. Capogna and M. Cowling showed that if $\phi$ is 1-quasiconformal on an open subset of a Carnot group G, then composition with $\phi$ preserves Q-harmonic functions, where Q denotes the homogeneous dimension of G. Then they combine this…
This paper presents a logical approach to the translation of functional calculi into concurrent process calculi. The starting point is a type system for the {\pi}-calculus closely related to linear logic. Decompositions of intuitionistic…
The aim of this paper is to further study some properties and identities on the degenerate Fubini and the degenerate Bell polynomials which are degenerate versions of the Fubini and the Bell polynomials, respectively. Especially, we find…