English
Related papers

Related papers: Subset expansions of monoids

200 papers

We extend some classical results of Bousfield on homology localizations and nilpotent completions to a presentably symmetric monoidal stable $\infty$-category $\mathscr{M}$ admitting a multiplicative left-complete $t$-structure. If $E$ is a…

Category Theory · Mathematics 2021-05-07 Lorenzo Mantovani

The notion of an $\mathcal{M}$-coextensive object is introduced in an arbitrary category $\mathbb{C}$, where $\mathcal{M}$ is a distinguished class of morphisms from $\mathbb{C}$. This notion allows for a categorical treatment of the strict…

Category Theory · Mathematics 2020-11-03 Michael Hoefnagel

A commutative monoid $M$ is called a linearly orderable monoid if there exists a total order on $M$ that is compatible with the monoid operation. The finitary power monoid of a commutative monoid $M$ is the monoid consisting of all nonempty…

Commutative Algebra · Mathematics 2025-01-08 Jiya Dani , Felix Gotti , Leo Hong , Bangzheng Li , Shimon Schlessinger

In this paper, we investigate Polish semigroup topologies on the endomorphism monoids $\operatorname{End}(\mathbb{N},\leq)$ and $\operatorname{End}(\mathbb{Z},\leq)$. We introduce a new structural condition, property $\mathbb{XX}$, which…

Group Theory · Mathematics 2026-05-27 Serhii Bardyla , Luna Elliott

We prove that the Flat Cover Conjecture holds for the category of (right) acts over any right-reversible monoid $S$, provided that the flat $S$-acts are closed under stable Rees extensions. The argument shows that the class…

Category Theory · Mathematics 2025-11-24 Sean Cox

Skew-monoidal categories arise when the associator and the left and right units of a monoidal category are, in a specific way, not invertible. We prove that the closed skew-monoidal structures on the category of right R-modules are…

Quantum Algebra · Mathematics 2012-09-03 Kornel Szlachanyi

The superamalgamation property is a strong form of the amalgamation property which applies to ordered structures; it has found many applications in algebraic logic. We show that superamalgamation has some interest also from the pure…

Logic · Mathematics 2023-06-13 Paolo Lipparini

In the first part of this article, we give an analysis of the free monad sequence in non-cocomplete categories, with the needed colimits explicitly parametrized. This enables us to state a more finely grained functoriality principle for…

Category Theory · Mathematics 2025-04-11 Christian Sattler

Using automata-theoretic approach, Giambruno and Restivo have investigated on the intersection of two finitely generated submonoids of the free monoid over a finite alphabet. In particular, they have obtained Hanna Neumann property for a…

Formal Languages and Automata Theory · Computer Science 2013-06-12 Shubh Narayan Singh , K. V. Krishna

We prove an extension property for $M_d$-multipliers from a subgroup to the ambient group, showing that $M_{d+1}(G)$ is strictly contained in $M_d(G)$ whenever $G$ contains a free subgroup. Another consequence of this result is the…

Group Theory · Mathematics 2025-09-10 Ignacio Vergara

We study properties of semi-elementary imsets and elementary imsets introduced by Studeny (2005). The rules of the semi-graphoid axiom (decomposition, weak union and contraction) for conditional independence statements can be translated…

Statistics Theory · Mathematics 2011-08-22 Takuya Kashimura , Tomonari Sei , Akimichi Takemura , Kentaro Tanaka

Given a symmetric monoidal $(\infty,n)$-category $\mathcal{C}$ and a space $X$, we address the problem of explicitly describing the symmetric monoidal $(\infty,n)$-category freely obtained from $\mathcal{C}$ by adjoining $X$ new…

Category Theory · Mathematics 2025-09-29 Andrea Bianchi

We describe the canonical weak distributive law $\delta \colon \mathcal S \mathcal P \to \mathcal P \mathcal S$ of the powerset monad $\mathcal P$ over the $S$-left-semimodule monad $\mathcal S$, for a class of semirings $S$. We show that…

Computation and Language · Computer Science 2021-03-30 Filippo Bonchi , Alessio Santamaria

We generalise recent results of Afsar, Larsen and Neshveyev for product systems over quasi-lattice orders by showing that the equilibrium states of quasi-free dynamics on the Nica-Toeplitz $C^*$-algebras of product systems over right LCM…

Operator Algebras · Mathematics 2022-08-17 Luca Eva Gazdag , Marcelo Laca , Nadia S. Larsen

We introduce two natural notions of cogrowth for finitely generated semigroups --- one local and one global --- and study their relationship with amenability and random walks. We establish the minimal and maximal possible values for…

Group Theory · Mathematics 2017-06-06 Robert D. Gray , Mark Kambites

A twisting of a monoid $S$ is a map $\Phi:S\times S\to\mathbb{N}$ satisfying the identity $\Phi(a,b) + \Phi(ab,c) = \Phi(a,bc) + \Phi(b,c)$. Together with an additive commutative monoid $M$, and a fixed $q\in M$, this gives rise a so-called…

Group Theory · Mathematics 2025-10-24 James East , Robert D. Gray , P. A. Azeef Muhammed , Nik Ruškuc

We study sets and groups definable in tame expansions of o-minimal structures. Let $\mathcal {\widetilde M}= \langle \mathcal M, P\rangle$ be an expansion of an o-minimal $\mathcal L$-structure $\cal M$ by a dense set $P$, such that three…

Logic · Mathematics 2019-10-02 Pantelis E. Eleftheriou , Ayhan Günaydin , Philipp Hieronymi

Let $M$ be a cancellative monoid. It is known~\cite{Ta54} that if $M$ is left amenable then the monoid ring $K[M]$ satisfies Ore condition, that is, there exist nontrivial common right multiples for the elements of this ring.…

Group Theory · Mathematics 2021-01-05 Victor Guba

We prove that for certain subsets $M \subseteq \mathbb{R}^N$, $N \geqslant 1$, the Lipschitz-free space $\mathcal{F}(M)$ has the metric approximation property (MAP), with respect to any norm on $\mathbb{R}^N$. In particular,…

Functional Analysis · Mathematics 2022-06-14 Eva Pernecká , Richard J. Smith

We show that the freeness problems for automaton semigroups and for automaton monoids are undecidable and, thereby, solve an open problem listed by Grigorchuk, Nekrashevych and Sush\-chansk\u{\i}i. We achieve this using a new technique to…

Formal Languages and Automata Theory · Computer Science 2025-02-19 Daniele D'Angeli , Emanuele Rodaro , Jan Philipp Wächter