Related papers: A Fubini rule for $\infty$-coends
We derive some formulas that rule the behaviour of finite differences under composition of functions with vector values and arguments.
Let C and D be quasi-categories (a.k.a. infinity-categories). Suppose also that one has an assignment sending commutative diagrams of C to commutative diagrams of D which respects face maps, but not necessarily degeneracy maps. (This is…
We provide a uniform bound for the index of cohomology classes in $H^i(F, \mu_\ell^{\otimes i-1})$ when $F$ is a semiglobal field (i.e., a one-variable function field over a complete discretely valued field $K$). The bound is given in terms…
In this paper, we present a probabilistic extension of the Fubini polynomials and numbers associated with a random variable satisfying some appropriate moment conditions. We obtain the exponential generating function and an integral…
We prove the basic trigonometric Korovkin approximation theorem for fuzzy valued functions of two variables and verify the approximation by the help of fuzzy modulus of continuity. Also, we introduce double level Fourier series of fuzzy…
In this paper, we define indexed type theories which are related to indexed ($\infty$-)categories in the same way as (homotopy) type theories are related to ($\infty$-)categories. We define several standard constructions for such theories…
In the paper, by induction, the Fa\`a di Bruno formula, and some techniques in the theory of complex functions, the author finds explicit formulas for higher order derivatives of the tangent and cotangent functions as well as powers of the…
This is an indicatory presentation of main definitions and theorems of fibonomial calculus which is a special case of psi-extented rota's finite operator calculus.
Upper bounds on projective rigidity of each homogeneously embedded homogeneous variety are determined; and a new, invariant characterization of the Fubini forms is given.
We show that any functor between $\infty$-categories can be straightened. More precisely, we show that for any $\infty$-category $\mathcal{C}$, there is an equivalence between the $\infty$-category $(\mathrm{Cat}_{\infty})_{/\mathcal{C}}$…
Let $R$, $S$ be two rings, $C$ an $R$-coring and ${}_{R}^C{\mathcal M}$ the category of left $C$-comodules. The category ${\bf Rep}\, ( {}_{R}^C{\mathcal M}, {}_{S}{\mathcal M} )$ of all representable functors ${}_{R}^C{\mathcal M} \to…
In this paper we extend the notion of Futaki invariant to big and nef classes in such a way that it defines a continuous function on the \K\ cone up to the boundary. We apply this concept to prove that reduced normal crossing singularities…
By using the theory of first-order differential subordination for functions with fixed initial coefficient, several well-known results for subclasses of univalent functions are improved by restricting the functions to have fixed second…
Let $\Cc$ and $\Dd$ be two corings over a ring $A$ and $\Cc\stackrel{\lambda}{\longrightarrow}\Dd$ be a morphism of corings. We investigate the situation when the associated induced ("corestriction of scalars") functor…
A new version of the Hadwiger theorem on convex functions is established and an explicit representation of functional intrinsic volumes is found using new functional Cauchy-Kubota formulas. In addition, connections between functional…
Given a tensor functor between tensor categories $\mathcal{C}$ and $\mathcal{D}$, we give criteria that, under certain assumptions, the Frobeniusness of $\mathcal{C}$ or $\mathcal{D}$ implies the Frobeniusness of the other one. We also give…
We prove a fixpoint theorem for contractions on Cauchy-complete quantale-enriched categories. It holds for any quantale whose underlying lattice is continuous, and applies to contractions whose control function is sequentially…
We investigate Frobenius pairs between categories of comodules over rather general corings. We particularize to the case of the adjoint pair of functors associated to a morphism of corings over different base rings, which leads to a…
This is an expository introduction to fusion rules for affine Kac-Moody algebras, with major focus on the algorithmic aspects of their computation and the relationship with tensor product decompositions. Many explicit examples are included…
In this note some new Frobenius type divisibility results are obtained for premodular categories. In particular, we extend Corollary 3.4 of [Yu20] from the settings of super-modular categories to arbitrary pseudo-unitary premodular…