Related papers: Classical Distributive Restriction Categories
If, in some problems, one has to deal with the ``product'' of distributions $\rm f_i$ (also called generalized functions) $\rm\bar T = \Pi^m_{i=1} f_i$, this product has a priori no definite meaning as a functional $(\rm \bar T, \phi) $ for…
In the first part of this paper, we propose a uniform interpretation of characteristic classes as obstructions to the reduction of the structure group and to the existence of an equivariant extension of a certain homomorphism defined a…
Let $R$ be a commutative ring If $\mathcal{C}_1$ and $\mathcal{C}_2$ are $R$-linear triangulated categories then we can give an obvious triangulated structure on $\mathcal{C} = \mathcal{C}_1 \oplus \mathcal{C}_2$ where $Hom_\mathcal{C}(U,…
Consider a decision problem whose instance is a function. Its degree of undecidability, measured by the corresponding class of the arithmetic (or Kleene-Mostowski) hierarchy hierarchy, may depend on whether the instance is a partial…
Principal bundles have at least three different definitions, depending on the category of geometric objects studied. In Differential Geometry, they are defined as locally trivial projection map of smooth manifolds with an atlas whose…
Time-dependent fractional-derivative problems $D_t^\delta u + Au = f$ are considered, where $D_t^\delta$ is a Caputo fractional derivative of order $\delta\in (0,1)\cup (1,2)$ and~$A$ is a classical elliptic operator, and appropriate…
In categorical quantum mechanics, classical structures characterize the classical interfaces of quantum resources on one hand, while on the other hand giving rise to some quantum phenomena. In the standard Hilbert space model of quantum…
We establish the universality of the singular numbers in random matrix products over $\mathrm{GL}_n(\mathbb{Q}_p)$ as the number of products approaches infinity, with a fixed $n\ge 1$. We demonstrate that, under a broad class of…
The standard notion of a classical limit, represented schematically by $\hbar\rightarrow 0$, provides a method for approximating a quantum system by a classical one. In this work we explain why the standard classical limit fails when…
In this dissertation we develop a new formal graphical framework for causal reasoning. Starting with a review of monoidal categories and their associated graphical languages, we then revisit probability theory from a categorical perspective…
We propose a novel Bayesian model framework for discrete ordinal and count data based on conditional transformations of the responses. The conditional transformation function is estimated from the data in conjunction with an a priori chosen…
A classical result of topos theory holds that the category of coalgebras for a Cartesian comonad on a topos is again a topos (Kock and Wraith, 1971). It is natural to refine this result to a topos-theoretic setting that includes universes.…
We introduce a new fractional derivative which obeys classical properties including: linearity, product rule, quotient rule, power rule, chain rule, vanishing derivatives for constant functions, the Rolle's Theorem and the Mean Value…
Following an idea of A. Berenstein, we define a commutor for the category of crystals of a finite dimensional complex reductive Lie algebra. We show that this endows the category of crystals with the structure of a coboundary category.…
A product of compact normal spaces is normal; the product of a countably infinite collection of non-trivial spaces is normal if and only if it is countably paracompact and each of its finite sub-products is normal; if all powers of a space…
This paper introduces a declarative framework to specify and reason about distributions of data over computing nodes in a distributed setting. More specifically, it proposes distribution constraints which are tuple and equality generating…
We extend to general Cartesian categories the idea of Coherent Differentiation recently introduced by Ehrhard in the setting of categorical models of Linear Logic. The first ingredient is a summability structure which induces a partial…
Rice's theorem shows that nontrivial extensional properties of partial recursive functions are undecidable. For finite weighted Boolean optimization/CSP-style slices, a Rice-style structural analogue holds for tractability classification:…
We explore partitions that lie in the intersection of several sets of classical interest: partitions with parts indivisible by $m$, appearing fewer than $m$ times, or differing by less than $m$. We find results on their behavior and…
We discuss theoretical aspects of the product rule for classification problems in supervised machine learning for the case of combining classifiers. We show that (1) the product rule arises from the MAP classifier supposing equivalent…