Related papers: Regularity vs. constructive complete (co)distribut…

We introduce the notion of rational structure on a quiver and associated representations to establish a coherent framework for studying quiver representations in separable field extensions. This notion is linked to a refinement of the…

The familiar adjunction between ordered sets and completely distributive lattices can be extended to generalised metric spaces, that is, categories enriched over a quantale (a lattice of "truth values"), via an appropriate distributive law…

Let $D$ be a smooth domain in $\mathbb{R}^N$, $N\geq 3$ and let $f$ be a positive continuous function on $\partial D$. Under some assumptions on $\varphi$, it is shown that the problem $\Delta u=2\varphi(u)$ in $D$ and $u=f$ on $\partial…

A central problem in quantum information is determining quantum-classical boundaries. A useful notion of classicality is provided by the quasiprobability formulation of quantum theory. In this framework, a state is called classical if it is…

We generalize the exponential family of probability distributions. In our approach, the exponential function is replaced by a $\varphi$-function, resulting in a $\varphi$-family of probability distributions. We show how $\varphi$-families…

Linearly distributive categories were introduced to model the tensor/par fragment of linear logic, without resorting to the use of negation. Linear bicategories are the bicategorical version of linearly distributive categories. Essentially,…

We prove constructive versions of various usual results related to the Gelfand duality. Namely, that the constructive Gelfand duality extend to a duality between commutative nonunital C*-algebras and locally compact completely regular…

We show that a $3-$dimensional paracontact manifold on which $Q\varphi =\varphi Q$ is either a manifold with $trh^2=0$, flat or of constant $\xi-$sectional curvature $k\neq-1$ and constant $\varphi$-sectional curvature $-k\neq 1$.

Each quiver corresponds to a path semigroup, and such a path semigroup also corresponds to an associative K-algebra over an algebraically closed field K. Let Q be a quiver and S_Q, KQ be its path semigroup, path algebra, respectively. In…

For a finite distributive lattice $D$, let us call $Q \subseteq D$ \emph{principal congruence representable}, if there is a finite lattice $L$ such that the congruence lattice of $L$ is isomorphic to $D$ and the principal congruences of $L$…

We prove several Tauberian theorems for regularizing transforms of vector-valued distributions. The regularizing transform of $f$ is given by the integral transform $M^{f}_{\varphi}(x,y)=(f\ast\varphi_{y})(x),$…

We introduce a simple extension of the $\lambda$-calculus with pairs---called the distributive $\lambda$-calculus---obtained by adding a computational interpretation of the valid distributivity isomorphism $A \Rightarrow (B\wedge C)\ \…

Motivated by a recent paper of G. Gr\"atzer, a finite distributive lattice $D$ is said to be fully principal congruence representable if for every subset $Q$ of $D$ containing $0$, $1$, and the set $J(D)$ of nonzero join-irreducible…

A. Renyi \cite{Renyi} made a definition that gives one generalization of simple normality in the context of $Q$-Cantor series. Similarly, in this paper we give a definition which generalizes the notion of normality in the context of…

A qualitative representation $\phi$ is like an ordinary representation of a relation algebra, but instead of requiring $(a; b)^\phi = a^\phi | b^\phi$, as we do for ordinary representations, we only require that $c^\phi\supseteq a^\phi |…

Given two observables $A$ and $B$, one can associate to every quantum state a Kirkwood-Dirac (KD) quasiprobability distribution. KD distributions are like joint classical probabilities except that they can have negative or nonreal values,…

We regularize in a continuous manner the path integral of QED by construction of a non-local version of its action by means of a regularized form of Dirac's $\delta$ functions. Since the action and the measure are both invariant under the…

We consider a regular distribution $\mathcal{D}$ in a Riemannian manifold $(M,g)$. The Levi-Civita connection on $(M,g)$ together with the orthogonal projection allow to endow the space of sections of $\mathcal{D}$ with a natural covariant…

It is argued in (Eklund et al., 2018) that the quantale [L,L] of sup-preserving endomaps of a complete lattice L is a Girard quantale exactly when L is completely distributive. We have argued in (Santocanale, 2020) that this Girard quantale…

If the space $\mathcal{Q}$ of quadratic forms in $\mathbb{R}^n$ is splitted in a direct sum $\mathcal{Q}_1\oplus...\oplus \mathcal{Q}_k$ and if $X$ and $Y$ are independent random variables of $\mathbb{R}^n$, assume that there exist a real…