Search results
Results from the WOW.Com Content Network
A monoid object in the category of monoids (with the direct product of monoids) is just a commutative monoid. This follows easily from the Eckmann–Hilton argument. A monoid object in the category of complete join-semilattices Sup (with the monoidal structure induced by the Cartesian product) is a unital quantale.
For any commutative ring R, the category of R-algebras is monoidal with the tensor product of algebras as the product and R as the unit. The category of pointed spaces (restricted to compactly generated spaces for example) is monoidal with the smash product serving as the product and the pointed 0-sphere (a two-point discrete space) serving as ...
Furthermore, if a denotes the class of the torus, and b denotes the class of the projective plane, then every element c of the monoid has a unique expression in the form c = na + mb where n is a positive integer and m = 0, 1, or 2. We have 3b = a + b. Let f be a cyclic monoid of order n, that is, f = {f 0, f 1, ..., f n−1}.
First, one takes the symmetric closure R ∪ R −1 of R. This is then extended to a symmetric relation E ⊂ Σ ∗ × Σ ∗ by defining x ~ E y if and only if x = sut and y = svt for some strings u, v, s, t ∈ Σ ∗ with (u,v) ∈ R ∪ R −1. Finally, one takes the reflexive and transitive closure of E, which then is a monoid congruence.
In graph theory, a graph product is a binary operation on graphs. Specifically, it is an operation that takes two graphs G 1 and G 2 and produces a graph H with the following properties: The vertex set of H is the Cartesian product V ( G 1 ) × V ( G 2 ) , where V ( G 1 ) and V ( G 2 ) are the vertex sets of G 1 and G 2 , respectively.
Let T, η, μ be a monad over a category C.The Kleisli category of C is the category C T whose objects and morphisms are given by = (), (,) = (,).That is, every morphism f: X → T Y in C (with codomain TY) can also be regarded as a morphism in C T (but with codomain Y).
A free group of finite rank n > 1 has an exponential growth rate of order 2n − 1. A few other related results are: The Nielsen–Schreier theorem: Every subgroup of a free group is free. Furthermore, if the free group F has rank n and the subgroup H has index e in F, then H is free of rank 1 + e(n–1).
A finite monoid is rational. A group is a rational monoid if and only if it is finite.; A finitely generated free monoid is rational. The monoid M4 generated by the set {0,e, a,b, x,y} subject to relations in which e is the identity, 0 is an absorbing element, each of a and b commutes with each of x and y and ax = bx, ay = by = bby, xx = xy = yx = yy = 0 is rational but not automatic.