Related papers: Universal monoid actions: the power of freedom

We study monoids equipped with a second binary operation that captures the structure of the endomorphisms of an object $X$ such that $X=X\times X$. We construct a universal monoid of this type and examine some of its rich combinatorial…

The set of all transformation monoids on a fixed set of infinite cardinality \lambda, equipped with the order of inclusion, forms a complete algebraic lattice Mon(\lambda) with 2^{\lambda} compact elements. We show that this lattice is…

We prove that every topological action of a countable group on a metrizable space can be realized as a bi-Lipschitz action with respect to some compatible metric. This extends a result due to U. Hamenst\"{a}dt regarding finitely generated…

We construct a universal action of a countable locally finite group (the Hall's group) on a separable metric space by isometries. This single action contains all actions of all countable locally finite groups on all separable metric spaces…

We show that any free product of two countable groups, one of them being infinite, admits a faithful and homogeneous action on the Random Graph. We also show that a large class of HNN extensions or free products, amalgamated over a finite…

We generalize Exel's notion of partial group action to monoids. For partial monoid actions that can be defined by means of suitably well-behaved systems of generators and relations, we employ classical rewriting theory in order to describe…

We present a generalisation of the theory of quantitative algebras of Mardare, Panangaden and Plotkin where (i) the carriers of quantitative algebras are not restricted to be metric spaces and can be arbitrary fuzzy relations or generalised…

Using the notion of proper Cantor colorings we prove the following theorem. For any countably infinite group $\Gamma$, there exists a free continuous action $\zeta: \Gamma \curvearrowright C$ on the Cantor set, which is universal in the…

We construct an infinite dimensional Banach space of continuous functions C(K) such that every one-to-one operator on C(K) is onto.

Taking inspiration from the monadicity of complete atomic Boolean algebras, we prove that profinite modal algebras are monadic over Set. While analyzing the monadic functor, we recover the universal model construction - a construction…

A measure preserving action of a countably infinite group \Gamma is called totally ergodic if every infinite subgroup of \Gamma acts ergodically. For example, all mixing and mildly mixing actions are totally ergodic. This note shows that if…

In this work, I address a primary issue with adapting categorical and algebraic concepts to functional analytic settings, the lack of free objects. Using a "normed set" and associated categories, I describe constructions of normed objects,…

The focus of this paper is providing a description of the spaces of counting functions on free monoids and groups and of the Brooks space. These results have been obtained in an earlier publication, however we propose an alternative,…

We introduce (continuous) partial category actions on sets (topological spaces) and show that each such action admits a universal globalization. Thereby, we obtain a simultaneous generalization of corresponding results for groups, by…

Using suitable deformations of simplicial trees and the duality theory for median sets, we show that every free action on a median set can be extended to a free and transitive one. We also prove that the category of median groups is a…

Interviews run on people, programs run on operating systems, voting schemes run on voters, games run on players. Each of these is an example of the abstraction pattern runs on matter. Pattern determines the decision tree that governs how a…

We consider finite sums of counting functions on the free group $F_n$ and the free monoid $M_n$ for $n \geq 2$. Two such sums are considered equivalent if they differ by a bounded function. We find the complete set of linear relations…

Given a monad $T$ on $\mathscr{A}$ and a functor $G \colon \mathscr{A} \to \mathscr{B}$, one can construct a monad $G_\#T$ on $\mathscr{B}$ subject to the existence of a certain Kan extension; this is the pushforward of $T$ along $G$. We…

We study universal properties of locally compact G-spaces for countable infinite groups G. In particular we consider open invariant subsets of the \beta-compactification of G (which is a G-space in a natural way), and their minimal closed…

We prove that monoids $\mathrm{Mon}\langle a,b,c,d : a^nb=0, ac=1, db=1, dc=1, dab=1, da^2b=1, \ldots, da^{n-1}b=1\rangle$ are congruence-free for all $n\geq 1$. This provides a new countable family of finitely presented congruence-free…