相关论文: Generalized Cayley's $\Omega$-processes

We introduce two spaces $\Omega(\Gamma,G)$ and $\Omega(P_{\Gamma,G})$ of pre-partition functions and of opposite series, respectively, which are associated with a Cayley graph $(\Gamma,G)$ of a cancellative monoid $\Gamma$ with a finite…

Process theories provide a powerful framework for describing compositional structures across diverse fields, from quantum mechanics to computational linguistics. Traditionally, they have been formalized using symmetric monoidal categories…

In his $1994$ survey, Kleinert defined formally and formulated the problem to obtain unit theorems for unit groups of orders in a semisimple algebra $A$. If $A$ is a group algebra $FG$, it boils down to classifying all finite groups $G$…

We give a new syntax independent definition of the notion of a generalized algebraic theory as an initial object in a category of categories with families (cwfs) with extra structure. To this end we define inductively how to build a valid…

We introduce the normal produoidal category of monoidal contexts over an arbitrary monoidal category. In the same sense that a monoidal morphism represents a process, a monoidal context represents an incomplete process: a piece of a…

A half a century ago, George Bergman introduced stunning machinery which would realise any commutative conical monoid as the non-stable $K$-theory of a ring. The ring constructed is ``minimal" or ``universal". Given the success of graded…

Algebraic logic studies algebraic theories related to proposition and first-order logic. A new algebraic approach to first-order logic is sketched in this paper. We introduce the notion of a quantifier theory, which is a functor from the…

In this paper we introduce a notion of {\it generalized operad} containing as special cases various kinds of operad--like objects: ordinary, cyclic, modular, properads etc. We then construct inner cohomomorphism objects in their categories…

A notion of generalized quantifier in computational complexity theory is explored and used to give a unified treatment of leaf language definability, oracle separations, type 2 operators, and circuits with monoidal gates. Relations to…

The classical notion of L\'evy process is generalized to one that takes as its values probabilities on a first order model equipped with a commutative semigroup. This is achieved by applying a convolution product on definable probabilities…

We construct a generalized version for the free product of unital C*-algebras over a family of unital C*-subalgebras, starting from the group-analogue. When all the subalgebras are the same, we recover the free product with amalgamation…

In "A note on generalized Clifford algebras and representations" (Caenepeel, S.; Van Oystaeyen, F., Comm. Algebra 17 (1989) no. 1, 93--102.) generalized Clifford algebras were introduced via Clifford representations; these correspond to…

Categorical universal algebra can be developed either using Lawvere theories (single-sorted finite product theories) or using monads, and the category of Lawvere theories is equivalent to the category of finitary monads on Set. We show how…

We review the problem of finding a general framework within which one can construct quantum theories of non-standard models for space, or space-time. The starting point is the observation that entities of this type can typically be regarded…

In this paper we introduce the concept of a Cayley graph automatic group (CGA group or graph automatic group, for short) which generalizes the standard notion of an automatic group. Like the usual automatic groups graph automatic ones enjoy…

In this paper, we formally introduce the concept of a row-sum matrix over an arbitrary group $G$. When $G$ is cyclic, these types of matrices have been widely used to build uniform 2-factorizations of small Cayley graphs (or, Cayley…

Let G be a finite group and let M be a G-manifold. We introduce the concept of generalized orbifold invariants of M/G associated to an arbitrary group Gamma, an arbitrary Gamma-set, and an arbitrary covering space of a connected manifold…

We generalize free monoids by defining $k$-monoids. These are nothing other than the one-vertex higher-rank graphs used in $C^{\ast}$-algebra theory with the cardinality requirement waived. The $1$-monoids are precisely the free monoids. We…

We establish generic existence of Universal Taylor Series on products $\Omega = \prod \Omega_i$ of planar simply connected domains $\Omega_i$ where the universal approximation holds on products $K$ of planar compact sets with connected…

Some sorts of generalized morphisms are defined from very basic mathematical objects such as sets, functions, and partial functions. A wide range of mathematical notions such as continuous functions between topological spaces, ring…