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.
Hence, the fundamental group of the Cayley graph Γ(G) is isomorphic to the kernel of φ, the normal subgroup of relations among the generators of G. The extreme case is when G = {e}, the trivial group, considered with as many generators as F, all of them trivial; the Cayley graph Γ(G) is a bouquet of circles, and its fundamental group is F ...
In mathematics and computer science, trace theory aims to provide a concrete mathematical underpinning for the study of concurrent computation and process calculi.The underpinning is provided by an algebraic definition of the free partially commutative monoid or trace monoid, or equivalently, the history monoid, which provides a concrete algebraic foundation, analogous to the way that the free ...
Its unit element is the class of the ordinary 2-sphere. 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.
Any category with finite products can be regarded as monoidal with the product as the monoidal product and the terminal object as the unit. Such a category is sometimes called a cartesian monoidal category. For example: Set, the category of sets with the Cartesian product, any particular one-element set serving as the unit.
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.
In category theory, monoidal functors are functors between monoidal categories which preserve the monoidal structure. More specifically, a monoidal functor between two monoidal categories consists of a functor between the categories, along with two coherence maps—a natural transformation and a morphism that preserve monoidal multiplication and unit, respectively.
In mathematics, the Grothendieck group, or group of differences, [1] of a commutative monoid M is a certain abelian group.This abelian group is constructed from M in the most universal way, in the sense that any abelian group containing a homomorphic image of M will also contain a homomorphic image of the Grothendieck group of M.