English
Related papers

Related papers: Generalizations of free monoids

200 papers

We generalize several recognizability theorems for free single-sorted algebras to the field of many-sorted algebras and provide, in a uniform way and without using neither regular tree grammars nor tree automata, purely algebraic proofs of…

Formal Languages and Automata Theory · Computer Science 2024-01-18 Juan Climent Vidal , Enric Cosme Llópez

Given a variety of universal algebras. A method is suggested for describing automorphisms of a category of free algebras of this variety. Applying this general method all automorphisms of such categories are found in two cases: 1) for the…

Rings and Algebras · Mathematics 2007-05-23 Boris Plotkin , Grigori Zhitomirski

We define and study the Picard group of a monoid scheme and the class group of a normal monoid scheme. To do so, we develop some ideal theory for (pointed abelian) noetherian monoids, including primary decomposition and discrete valuations.…

Algebraic Geometry · Mathematics 2014-09-04 Jaret Flores , Charles Weibel

A clonoid is a set of finitary functions from a set $A$ to a set $B$ that is closed under taking minors. Hence clonoids are generalizations of clones. By a classical result of Post, there are only countably many clones on a 2-element set.…

Rings and Algebras · Mathematics 2019-09-20 Athena Sparks

We provide a new foundational approach to the generalization of terms up to equational theories. We interpret generalization problems in a universal-algebraic setting making a key use of projective and exact algebras in the variety…

Logic · Mathematics 2026-03-31 Tommaso Flaminio , Sara Ugolini

In the category of monoids we characterize monomorphisms that are normal, in an appropriate sense, to internal reflexive relations, preorders or equivalence relations. The zero-classes of such internal relations are first described in terms…

Category Theory · Mathematics 2022-10-10 Nelson Martins-Ferreira , Manuela Sobral

We introduce a generalization of monads, called relative monads, allowing for underlying functors between different categories. Examples include finite-dimensional vector spaces, untyped and typed lambda-calculus syntax and indexed…

Programming Languages · Computer Science 2015-09-14 Thosten Altenkirch , James Chapman , Tarmo Uustalu

An elementary proof that certain pairs of $2\times 2$ matrices with nonnegative real coordinates generate free monoids.

Number Theory · Mathematics 2016-05-04 Melvyn B. Nathanson

In this note we establish some connections between the theory of self-similar fractals in the sense of John E. Hutchinson (cf. [3]) and the theory of boundary quotients of $C^\ast$-algebras associated to monoids. Although we must leave…

Algebraic Topology · Mathematics 2019-03-13 Giulia dal Verme , Thomas Weigel

k-graphs are higher-rank analogues of directed graphs which were first developed to provide combinatorial models for operator algebras of Cuntz-Krieger type. Here we develop a theory of the fundamental groupoid of a k-graph, and relate it…

Combinatorics · Mathematics 2007-05-23 David Pask , John Quigg , Iain Raeburn

We present simple graph-theoretic characterizations of Cayley graphs for monoids, semigroups and groups. We extend these characterizations to commutative monoids, semilattices, and abelian groups.

Discrete Mathematics · Computer Science 2019-03-18 Didier Caucal

The free algebra adjunction, between the category of algebras of a monad and the underlying category, induces a comonad on the category of algebras. The coalgebras of this comonad are the topic of study in this paper (following earlier…

Logic in Computer Science · Computer Science 2015-07-01 Bart Jacobs

We initiate the study of C*-algebras and groupoids arising from left regular representations of Garside categories, a notion which originated from the study of Braid groups. Every higher rank graph is a Garside category in a natural way. We…

Operator Algebras · Mathematics 2022-05-03 Xin Li

This paper studies the K-theory of categories of partially cancellative monoid sets, which is better behaved than that of all finitely generated monoid sets. A number of foundational results are proved, making use of the formalism of…

K-Theory and Homology · Mathematics 2019-09-04 Christian Haesemeyer , Charles A. Weibel

A new generalisation of the notion of space, called "vectoid", is suggested in this work. Basic definitions, examples and properties are presented, as well as a construction of direct product of vectoids. Proofs of more complicated…

Algebraic Geometry · Mathematics 2011-05-17 Nikolai Durov

We study C*-algebras generated by left regular representations of right LCM one-relator monoids and Artin-Tits monoids of finite type. We obtain structural results concerning nuclearity, ideal structure and pure infiniteness. Moreover, we…

Operator Algebras · Mathematics 2020-07-07 Xin Li , Tron Omland , Jack Spielberg

We call a graph $k$-geodetic, for some $k\geq 1$, if it is connected and between any two vertices there are at most $k$ geodesics. It is shown that any hyperbolic group with a $k$-geodetic Cayley graph is virtually-free. Furthermore, in…

Group Theory · Mathematics 2023-06-16 Murray Elder , Adam Piggott , Kane Townsend

Classical diagram categories and monoids, including the Temperley--Lieb, Brauer, and partition cases, arise as special instances of the category of two dimensional cobordisms and admit additional twists that produce a large new family of…

Representation Theory · Mathematics 2025-12-22 Matthias Fresacher , Willow Stewart , Daniel Tubbenhauer

In this paper, we extend Waldhausen's results on algebraic K-theory of generalized free produts in a more general setting and we give some properties of the Nil functors. As a consequence, we get new groups with trivial Whitehead groups.

K-Theory and Homology · Mathematics 2020-07-24 Pierre Vogel

Monographs are graph-like structures with directed edges of unlimited length that are freely adjacent to each other. The standard nodes are represented as edges of length zero. They can be drawn in a way consistent with standard graphs and…

Logic in Computer Science · Computer Science 2023-03-03 Thierry Boy de la Tour