Related papers: A note on product of measures

This paper presents a new, significantly simpler proof of one of the main results of applied pi-calculus: the theorem that the concepts of observational and labeled equivalence of extended processes in applied pi-calculus coincide.

We study the product formula $(fg)(A) = f(A)g(A)$ in the framework of (unbounded) functional calculus of sectorial operators $A$. We give an abstract result, and, as corollaries, we obtain new product formulas for the holomorphic functional…

All product fixed point results in ordered metric spaces based on linear contractive conditions are but a vectorial form of the fixed point statement due to Nieto and Rodriguez-Lopez [Order, 22 (2005), 223-239], under the lines in Matkowski…

We construct the tensor product for f-algebras, including proving a universal property for it, and investigate how it preserves algebraic properties of the factors.

The concept of a variance on a category is introduced as a two-sided strict factorization system. By employing variances, we define functors of variance in a more general setting than is usually considered, thereby eliminating the need for…

Under a slightly stronger hypothesis, one improves a connectedness result of Debarre [D] for a product of two projective spaces in terms of the extension problem of formal-rational functions (see Theorems 1.3 and 1.4 of the introduction)

We give a construction of two-sided invariant metrics on free products (possibly with amalgamation) of groups with two-sided invariant metrics and, under certain conditions, on HNN extensions of such groups. Our approach is similar to the…

Let mu(r) be the Bernoulli measure on the Cantor space given as the infinite product of two-point measures with weights r and 1-r. It is a long-standing open problem to characterize those r and s such that mu(r) and mu(s) are topologically…

If a compact closed category has finite products or finite coproducts then it in fact has finite biproducts, and so is semi-additive.

We study topology, particularly compactness, as an extension of Shulman's work on constructive mathematics via affine logic, while allowing propositional impredicativity. We introduce a notion of compactness in affine logic and prove the…

We generalize a terminating summation formula to a unilateral nonterminating, and further, a bilateral summation formula by a property of analytic functions. The unilateral one is proved to be a $q$-analogue of a $_4F_3$-summation formula.…

For a strongly connected category $\mathcal C$ with pair-wise coproducts, we introduce a cosimplicial object, which serves as a sort of resolution for computing higher derived functors of ${\sf lim} : \mathrm{Ab}^{\mathcal C}\to…

We prove that admissible functions for Fubini-Study metrics on the complex projective space $P_{m}C$, of complex dimension $m$, invariant by a convenient automorphisms group, are lower bounded by a function going to minus infinity on the…

Until recently, a quantum instrument was defined to be a completely positive operation-valued measure from the set of states on a Hilbert space to itself. In the last few years, this definition has been generalized to such measures between…

We give a new, construction-free proof of the associativity of tensor product for modules for rational vertex operator algebras under certain convergence conditions.

We study the structure of invariant measures for continuous automorphisms of compact metrizable abelian groups satisfying the descending chain condition. We show that the finitely supported invariant measures are weak-* dense in the space…

We prove that all irreducible representations of the bismash product $H = \mathbb{k} ^G \# \mathbb{k} S_{n-k}$ have Frobenius-Schur indicators +1 or 0 where $\mathbb{k}$ is an algebraically closed field and $S_n = S_{n-k}\cdot G$ is an…

We prove that the 2-Deligne tensor product of two compact semisimple 2-categories exists. Further, under suitable hypotheses, we explain how to describe the $Hom$-categories, connected components, and simple objects of a 2-Deligne tensor…

Wilson's Theorem states that the product of all nonzero elements of a finite field ${\mathbb F}_q$ is $-1$. In this article, we define some natural subsets $S \subset {\mathbb F}_q^\times$ and find formulas for the product of the elements…

This article is a fundamental study in computable analysis. In the framework of Type-2 effectivity, TTE, we investigate computability aspects on finite and infinite products of effective topological spaces. For obtaining uniform results we…