Related papers: Presentations of pseudodistributive laws
We prove coherence theorems for bicategories, pseudofunctors and pseudonatural transformations. These theorems boil down to proving the coherence of some free $(4,2)$-categories. In the case of bicategories and pseudofunctors, existing…
Results on approximate deduction in the context of the calculus of evidence of Dempster-Shafer and the theory of interval probabilities are reported. Approximate conditional knowledge about the truth of conditional propositions was assumed…
It is a well known fact that Boolean algebras can be defined using only implication and a constant. In 2012, this result was extended to De Morgan algebras in [8] which led Sankappanavar to introduce, and investigate, the variety I of…
Non notherian Formal schemes of perfectoid type (for example $\mathbb{Z}_p[p^{1/p^\infty}]\langle X^{1/p^\infty} \rangle$ along with its multivariate version) with rational degree are constructed and are shown to be admissible. These formal…
We introduce proper display calculi for basic monotonic modal logic,the conditional logic CK and a number of their axiomatic extensions. These calculi are sound, complete, conservative and enjoy cut elimination and subformula property. Our…
We present a comonadic approach to pretorsion theories on semiexact categories, i.e. categories equipped with a closed ideal of null morphisms that admits all kernels and all cokernels. We first prove that bihereditary pretorsion theories…
Given an initial matching and a policy objective on the distribution of agent types to institutions, we study the existence of a mechanism that weakly improves the distributional objective and satisfies constrained efficiency, individual…
Archimedean copulas are a popular type of copulas in which a variant of the Archimedean axiom apply. We provide a topological proof of the Archimedean Axiom which is applicable for non-continuous distribution functions.
The classical straightening theorem as proved by Douady and Hubbard shows that a polynomial-like sequence is hybrid equivalent to a polynomial. We generalize this result to non-autonomous iteration where one considers composition sequences…
A theorem of alternatives provides a reduction of validity in a substructural logic to validity in its multiplicative fragment. Notable examples include a theorem of Arnon Avron that reduces the validity of a disjunction of multiplicative…
We consider and reformulate a recent definition of multiplication between distributions. We show that this definition can be adopted, in particular, to prove biorthonormality of some distributions arising when looking to the (generalized)…
In this paper, we present a unified framework for studying cohomology theories of various operators in the context of pseudoalgebras. The central tool in our approach is the notion of a quasi-twilled Lie pseudoalgebra. We introduce two…
We propose a categorical framework to reason about scientific explanations: descriptions of a phenomenon meant to translate it into simpler terms, or into a context that has been already understood. Our motivating examples come from systems…
In this survey article, we give an introduction to the notion of a 2-Segal set and prove that 2-Segal sets are equivalent to pseudomonoids in the bicategory of spans. The proof utilizes graphical techniques for 2-Segal sets and spans that…
We introduce a new class of nonlinear Stochastic Differential Equations in the sense of McKean, related to non conservative nonlinear Partial Differential equations (PDEs). We discuss existence and uniqueness pathwise and in law under…
Let X be a smooth real algebraic variety. Let $\xi$ be a distribution on it. One can define the singular support of $\xi$ to be the singular support of the $D_X$-module generated by $\xi$ (some times it is also called the characteristic…
We introduce the concept of a triangular representation of a Lie algebra, give a counterpart of Ado's theorem, and discuss $2$-irreducible triangular modules over a nonreductive Lie algebra.
The scheme of isospin separation is suggested for the equation describing the five-dimensional 'charge-dyon' system in a non-Abelian SU(2) model. As a result, we obtain the Schrodinger equation for 'bare' particle, moving in Coulomb…
We study the behaviour of differential forms in a manifold having at least one of their maximal isotropic local distributions endowed with the special algebraic property of being decomposable. We show that they can be represented as the sum…
We give a lightweight alternative construction of Jacobs's distributive law for multisets and distributions that does not involve any combinatorics. We first give a distributive law for lists and distributions, then apply a general theorem…