相关论文: Monads and distributive laws for Rota-Baxter and d…
We investigate the distribution of real algebraic numbers of a fixed degree having a close conjugate number, the distance between the conjugate numbers being given as a function of their height. The main result establishes the ubiquity of…
We introduce a notion of ternary $F$-manifold algebras which is a generalization of $F$-manifold algebras. We study representation theory of ternary $F$-manifold algebras. In particular, we introduce a notion of dual representation which…
Modeling dependencies between random variables independently from their marginals is fundamental in applications ranging from finance to (structural) biology. In this work, we undertake this problem using circula to model data living on the…
We study Rota--Baxter operators on vertex algebras using the integrated $\lambda$-bracket formalism. A Rota--Baxter operator produces a deformed vertex algebra structure, and the difference between the deformed and original brackets yields…
Techniques from higher categories and higher-dimensional rewriting are becoming increasingly important for understanding the finer, computational properties of higher algebraic theories that arise, among other fields, in quantum…
The discovery of the infinite integer leads to a partition between finite and infinite numbers. Construction of an infinitesimal and infinitary number system, the Gossamer numbers. Du Bois-Reymond's much-greater-than relations and…
By developing the Tanaka theory for rank 2 distributions, we completely classify classical Monge equations having maximal finite-dimensional symmetry algebras with fixed (albeit arbitrary) pair of its orders. Investigation of the…
In two previous papers the author introduced a multiplication of distributions in one dimension and he proved that two one-dimensional Dirac delta functions and their derivatives can be multiplied, at least under certain conditions. Here,…
Batanin and Leinster's work on globular operads has provided one of many potential defnitions of a weak $\omega$-category. Through the language of globular operads they construct a monad whose algebras encode weak $\omega$-categories. The…
There are countless sources of data available to governments, companies, and citizens, which can be combined for good or evil. We analyse the concepts of combining data from common sources and linking data from different sources. We model…
Monadic second order logic is the expansion of first order logic by quantifiers ranging over unary relations. We study the shared monadic second order theory of finite linear orders, i.e. the pseudofinite monadic second order theory of…
We begin a systematic study of the enumerative combinatorics of mixed succession rules, which are succession rules such that, in the associated generating tree, the nodes are allowed to produce their sons at several different levels…
Two novel descriptions of weak {\omega}-categories have been recently proposed, using type-theoretic ideas. The first one is the dependent type theory CaTT whose models are {\omega}-categories. The second is a recursive description of a…
The monad of convex sets of probability distributions is a well-known tool for modelling the combination of nondeterministic and probabilistic computational effects. In this work we lift this monad from the category of sets to the category…
In the theory of coalgebras $C$ over a ring $R$, the rational functor relates the category of modules over the algebra $C^*$ (with convolution product) with the category of comodules over $C$. It is based on the pairing of the algebra $C^*$…
A Baxter algebra is a commutative algebra $A$ that carries a generalized integral operator. In the first part of this paper we review past work of Baxter, Miller, Rota and Cartier in this area and explain more recent work on explicit…
An operad describes a category of algebras and a (co)homology theory for these algebras may be formulated using the homological algebra of operads. A morphism of operads $f:\mathcal{O}\rightarrow\mathcal{P}$ describes a functor allowing a…
This paper presents equational-based logics for proving first order properties of programming languages involving effects. We propose two dual inference system patterns that can be instanciated with monads or comonads in order to be used…
This paper investigates Rota-Baxter associative algebras of of arbitrary weights, that is, associative algebras endowed with Rota-Baxter operators of arbitrary weights from an operadic viewpoint. Denote by $\RB$ the operad of Rota-Baxter…
The notion of matching Rota-Baxter algebras was recently introduced by Gao, Guo and Zhang [{\em J. Algebra} 552 (2020) 134-170] motivated by the study of algebraic renormalization of regularity structures. The concept of matching…