Related papers: Bi-Free Probability Theory and Reflection Positivi…
This note considers the notion of divergence-preserving branching bisimilarity. It briefly surveys results pertaining to the notion that have been obtained in the past one-and-a-half decade, discusses its role in the study of expressiveness…
In this paper, we consider the relation between the group freeness and the amalgamated freeness of crossed product algebras.
This paper provides a general characterization of preferences that admit a Richter-Peleg representation without imposing completeness or transitivity. We establish that a binary relation on a nonempty set admits a Richter-Peleg…
We investigate possible generalizations of the de Finetti theorem to bi-free probability. We first introduce a twisted action of the quantum permutation groups corresponding to the combinatorics of bi-freeness. We then study properties of…
One may formulate the dependent product types of Martin-L\"of type theory either in terms of abstraction and application operators like those for the lambda-calculus; or in terms of introduction and elimination rules like those for the…
We give a description of the Tripos To Topos construction in terms of four free constructions. We prove that these compose up to give a free construction from the category of triposes and logical morphisms to the category of toposes and…
The theory of positive kernels and associated reproducing kernel Hilbert spaces, especially in the setting of holomorphic functions, has been an important tool for the last several decades in a number of areas of complex analysis and…
We show that the class of amalgamated free products of two free groups over a cyclic subgroup admits amenable, faithful and transitive actions on infinite countable sets. This work generalizes the results on such actions for doubles of free…
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 consider extensions of the language of Peano arithmetic by transfinitely iterated truth definitions satisfying uniform Tarskian biconditionals. Without further axioms, such theories are known to be conservative extensions of the original…
A renormalizable ambiguity-free formulation of the Higgs-Kibble model is proposed.
We interpret several constructions with C*-algebras as colimits in the bicategory of correspondences. This includes crossed products for actions of groups and crossed modules, Cuntz-Pimsner algebras of proper product systems, direct sums…
In a recent article a generalization of the binomial distribution associated with a sequence of positive numbers was examined. The analysis of the nonnegativeness of the formal expressions was a key-point to allow to give them a statistical…
Strictly positive logics recently attracted attention both in the description logic and in the provability logic communities for their combination of efficiency and sufficient expressivity. The language of Reflection Calculus RC consists of…
We refine Brink's theorem, that the non-reflection part of a reflection centralizer in a Coxeter group W is a free group. We give an explicit set of generators for centralizer, which is finitely generated when W is. And we give a method for…
We clarify the relation between the `bosonisation' construction (due to the author) which can be used to turn a Hopf algebra $B$ in the category of $H$-modules or $H$-comodules into an equivalent ordinary Hopf algebra, and a version of…
We study stability properties of amenable locally compact quantum groups under the bicrossed product construction. We obtain as our main result an equivalence between amenability of the bicrossed product and amenability of the matched…
Let $R$ be a left-symmetric conformal algebra and $Q$ be a $\mathbb{C}[\partial]$-module. We introduce the notion of a unified product for left-symmetric conformal algebras and apply it to construct an object $\mathcal{H}^2_R(Q,R)$ to…
The reflection function of a smooth CR diffeomorphism between two minimal real analytic hypersurfaces is everywhere real analytic.
We introduce the class of projective reflection groups which includes all complex reflection groups. We show that several aspects involving the combinatorics and the representation theory of all non exceptional irreducible complex…