English
Related papers

Related papers: Implicit operations in varieties of commutative mo…

200 papers

We study generalized sums of linear orders. These are binary operations that, given linear orders $A$ and $B$, return an order $A \oplus B$ that can be decomposed as an isomorphic copy of $A$ interleaved with a copy of $B$. We show that…

Logic · Mathematics 2025-12-17 Álvaro Díaz Ramos , Garrett Ervin , Saharon Shelah

We generalize the construction of multitildes in the aim to provide multitilde operators for regular languages. We show that the underliying algebraic structure involves the action of some operads. An operad is an algebraic structure that…

Formal Languages and Automata Theory · Computer Science 2016-01-22 Samuele Giraudo , Jean-Gabriel Luque , Ludovic Mignot , Florent Nicart

Finite Cartesian products of operators play a central role in monotone operator theory and its applications. Extending such products to arbitrary families of operators acting on different Hilbert spaces is an open problem, which we address…

Functional Analysis · Mathematics 2025-06-25 Minh N. Bùi , Patrick L. Combettes

The paper is devoted to the index theory of orbital and transverse elliptic operators on manifolds with a proper Lie group action. It corrects errors of my previous paper (published in JNCG in 2016) on transverse operators and contains new…

K-Theory and Homology · Mathematics 2024-05-28 Gennadi Kasparov

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…

Category Theory · Mathematics 2011-01-10 D. Borisov , Yu. I. Manin

Let $A$ be a not necessarily commutative monoid with zero such that projective $A$-acts are free. This paper shows that the algebraic K-groups of $A$ can be defined using the +-construction and the Q-construction. It is shown that these two…

K-Theory and Homology · Mathematics 2010-09-17 Chenghao Chu , Jack Morava

We present a Galois theory connecting finitary operations with pairs of finitary relations one of which is contained in the other. The Galois closed sets on both sides are characterised as locally closed subuniverses of the full iterative…

Rings and Algebras · Mathematics 2022-10-13 Mike Behrisch

The classical Eckmann-Hilton argument shows that two monoid structures on a set, such that one is a homomorphism for the other, coincide and, moreover, the resulting monoid is commutative. This argument immediately gives a proof of the…

Category Theory · Mathematics 2009-07-03 M. A. Batanin

It is a classical result from universal algebra that the notions of polymorphisms and invariants provide a Galois connection between suitably closed classes (clones) of finitary operations $f\colon B^n\to B$, and classes (coclones) of…

Logic · Mathematics 2018-04-24 Emil Jeřábek

We discuss what it means for a symmetric monoidal category to be a module over a commutative semiring category. Each of the categories of (1) cartesian monoidal categories, (2) semiadditive categories, and (3) connective spectra can be…

Category Theory · Mathematics 2018-08-29 John D. Berman

This is the first of two papers in which we study the modular invariance of pseudotraces of logarithmic intertwining operators. We construct and study genus-one correlation functions for logarithmic intertwining operators among generalized…

Quantum Algebra · Mathematics 2016-07-12 Francesco Fiordalisi

In a recent work of Matteo Mio on compact quantitative equational theories (here compact means that all its consequences are derivable by means of finite proofs) convex algebras on the carrier set [0,1] whose operations are monotone and…

Logic in Computer Science · Computer Science 2026-03-17 Ana Sokolova , Harald Woracek

The paper fills gaps in knowledge about Kuratowski operations which are already in the literature. The Cayley table for these operations has been drawn up. Techniques, using only paper and pencil, to point out all semigroups and its…

General Topology · Mathematics 2012-08-31 Szymon Plewik , Marta Walczyńska

Partially commutative monoids provide a powerful tool to study graphs, viewingwalks as words whose letters, the edges of the graph, obey a specific commutation rule. A particularclass of traces emerges from this framework, the hikes, whose…

Combinatorics · Mathematics 2017-07-18 P. -L Giscard , P Rochet

Given an algebraic theory which can be described by a (possibly symmetric) operad $P$, we propose a definition of the \emph{weakening} (or \emph{categorification}) of the theory, in which equations that hold strictly for $P$-algebras hold…

Category Theory · Mathematics 2010-02-05 M. R. Gould

The universal enveloping algebra of any simple Lie algebra g contains a family of commutative subalgebras, called the quantum shift of argument subalgebras math.RT/0606380, math.QA/0612798. We prove that generically their action on…

Quantum Algebra · Mathematics 2019-12-19 Boris Feigin , Edward Frenkel , Leonid Rybnikov

We investigate quasisymmetric functions coming from combinatorial Hopf monoids. We show that these invariants arise naturally in Ehrhart theory, and that some of their specializations are Hilbert functions for relative simplicial complexes.…

Combinatorics · Mathematics 2016-04-04 Jacob White

For all positive integers $n$ and all homotopy modules $M_*$, we define certain operations $\underline{\operatorname{K}}^{\operatorname{MW}}_n \rightarrow M_*$ and show that these generate the $M_*(k)$-module of all (in general…

Algebraic Topology · Mathematics 2025-02-26 Thor Wittich

We study algebras of bounded noncommutative (nc) functions on unit balls of operator spaces (nc operator balls) and on their subvarieties. Considering the example of the nc unit polydisk we show that these algebras, while having a natural…

Operator Algebras · Mathematics 2025-04-15 Jeet Sampat , Orr Shalit

We define the notion of a partial action on a generalized Boolean algebra and associate to every such system and commutative unital ring $R$ an $R$-algebra. We prove that every strongly $E^{\ast}$-unitary inverse semigroup has an associated…

Rings and Algebras · Mathematics 2025-03-04 Allen Zhang