相关论文: Monads and distributive laws for Rota-Baxter and d…
Distributions, i.e., subsets of tangent bundles formed by piecing together subspaces of tangent spaces, are commonly encountered in the theory and application of differential geometry. Indeed, the theory of distributions is a fundamental…
If T is a commutative monad on a cartesian closed category, then there exists a natural T-bilinear pairing from T(X) times the space of T(1)-valued functions on X ("integration"), as well as a natural T-bilinear action on T(X) by the space…
Rota-Baxter algebras and the closely related dendriform algebras have important physics applications, especially to renormalization of quantum field theory. Braided structures provide effective ways of quantization such as for quantum…
We introduce a notion of ternary distributive algebraic structure, give examples, and relate it to the notion of a quandle. Classification is given for low order structures of this type. Constructions of such structures from ternary…
Differential calculus on metric spaces is contained in the algebraic study of normed groupoids with $\delta$-structures. Algebraic study of normed groups endowed with dilatation structures is contained in the differential calculus on metric…
McGaugh et al. (2016) have used their extensive SPARC sample to update the well-known mass-discrepancy-acceleration relation (MDAR), which is one of the major predicted "MOND laws". This is not a newly discovered relation. Rather, it…
There is a need in general relativity for a consistent and useful mathematical theory defining the multiplication of tensor distributions in a geometric (diffeomorphism invariant) way. Significant progress has been made through the concept…
The aim of this paper is first to introduce and study Rota-Baxter cosystems and bisystems as generalization of Rota-Baxter coalgebras and bialgebras, respectively, with various examples. The second purpose is to provide an alternative…
We investigate the behavior of extension monads, introduced in the 1990s by the second author, in terms of structure results for infinitely many finitary operations and common constructions in varieties or categories of algebras.…
It came to the attention of myself and the coauthors of (S., Rozowski, Silva, Rot, 2022) that a number of process calculi can be obtained by algebraically presenting the branching structure of the transition systems they specify. Labelled…
Graded modal logics generalise standard modal logics via families of modalities indexed by an algebraic structure whose operations mediate between the different modalities. The graded "of-course" modality $!_r$ captures how many times a…
Dempster-Shafer theory of evidence is widely applied to uncertainty modelling and knowledge reasoning because of its advantages in dealing with uncertain information. But some conditions or requirements, such as exclusiveness hypothesis and…
In the paper, I considered construction of algebra of fractions of algebra with conjugation. I also considered algebra of polynomials and algebra of rational mappings over algebra with conjugation.
We consider the problem of searching for proofs in sequential presentations of logics with multiplicative (or intensional) connectives. Specifically, we start with the multiplicative fragment of linear logic and extend, on the one hand, to…
Distributed representations (such as those based on embeddings) and discrete representations (such as those based on logic) have complementary strengths. We explore one possible approach to combining these two kinds of representations. We…
In this paper, we introduce the notion of Rota-Baxter Lie $2$-algebras, which is a categorification of Rota-Baxter Lie algebras. We prove that the category of Rota-Baxter Lie $2$-algebras and the category of $2$-term Rota-Baxter…
The definition of Azumaya algebras over commutative rings $R$ require the tensor product of modules over $R$ and the twist map for the tensor product of any two $R$-modules. Similar constructions are available in braided monoidal categories…
We set up an algebraic theory of multivariable integration, based on a hierarchy of Rota-Baxter operators and an action of the matrix monoid as linear substitutions. Given a suitable coefficient domain with a bialgebra structure, this…
We study the (so-called bilinear) factorization problem answered by a weak wreath product (of monads and, more specifically, of algebras over a commutative ring) in the works by Street and by Caenepeel and De Groot. A bilinear factorization…
This paper explores the link between Hom-rhizaform algebras and Rota-Baxter operators. We define a new structure, the Hom-rhizaform family algebra, which is a more general version of the Hom-rhizaform algebra. The main finding is that…