FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W4243514512> ?p ?o ?g. }

• W4243514512 endingPage "3" @default.
• W4243514512 startingPage "2" @default.
• W4243514512 abstract "The motivation for the work in this monograph was to explicate the connection between graphs and monoids dictated by the catalan construction which the author introduced in [2]. The resulting work comprises two papers.Paper I is a conceptual framework in which to study monoids of endomorphisms (concrete monoids). Paper II introduces the category of automata and refinements. We formulate the catalan construction as two adjunctions, the first between the categories of automata and concrete monoids, the second between the categories of automata and graphs. The adjunctions each produce a monad on the category of automata. These we interpret as closure operators with respect to notions familiar from computer science, namely, macros and overloading.A very widely studied monoid is the monoid On of endomorphisms of a linear order of length n. In [1] Aizenstat gave a presentation for On using the generating set consisting of maps [n] → [n] which fix all points but one. Put another way, one may consider the chain as a directed graph with n vertices and an edge from i to i +1 and another from i +1 to i, for each 0<= i < n. Then the generators are those maps which fix all vertices but one and move that vertex along an edge. In [2] such a map is called an elementary transition of the directed graph, and the monoid generated by the elementary transitions of a directed graph is referred to as the catalan monoid of the graph. A number of results relating the structure of graphs to the algebraic properties of their catalan monoids have been found in [2] and [3] but no general pattern has been established.Therefore we adopt the technique of putting our constructions in a categorical framework in the hope that the constraints so imposed would illuminate the nature of the catalan relationship between monoids and graphs. Paper II is the result of this work.By analysing the intuition behind the catalan construction, we came to realize that it is a process in two steps. Given a graph G, the first step is to form a canonical automaton which has state graph G, the second step is to take the action monoid of this automaton.In the process of these investigations into automata, technical difficulties forced us to give careful consideration to the relationship of division between concrete monoids as distinct from division of abstract monoids. A number of examples were found which illustrate the fact that this relationship is common in mathematics and we indicate how it may be of use in studying concrete monoids, and also in making constructions of concrete monoids functorial. This is the subject of Paper I.This monograph presupposes no mathematial knowledge beyond the definitions and elementary notions in the theories of semigroups and categories. As such it is accessible to any beginning graduate student, and will be of particular interest to workers in the fields of automata and semigroups and to those interested in the applications of category theory.NoteIn [2] the catalan monoid of a graph is defined to be the monoid of transformations of the vertex set generated by elementary transitions which fix all but a single point and move that point along an edge. In Paper II, the catalan automaton has letters (generators) which move any number of points, but only along a single edge. It has become clear that the latter definition of the generating set is more meaningful and has a universal property.Significantly, the two definitions give rise to the same transformation monoid when the graph is finite and has no directed cycles. In particular, the catalan monoid of a finite directed tree is precisely the action monoid of its catalan automaton, and a presentation for this monoid is found in [2]." @default.
• W4243514512 created "2022-05-12" @default.
• W4243514512 date "1998-01-01" @default.
• W4243514512 modified "2023-09-26" @default.
• W4243514512 title "Introduction" @default.
• W4243514512 doi "https://doi.org/10.1016/s1571-0661(05)82548-4" @default.
• W4243514512 hasPublicationYear "1998" @default.
• W4243514512 type Work @default.
• W4243514512 citedByCount "0" @default.
• W4243514512 crossrefType "journal-article" @default.
• W4243514512 hasBestOaLocation W42435145121 @default.
• W4243514512 hasConcept C112505250 @default.
• W4243514512 hasConcept C114614502 @default.
• W4243514512 hasConcept C116858840 @default.
• W4243514512 hasConcept C118615104 @default.
• W4243514512 hasConcept C132525143 @default.
• W4243514512 hasConcept C206901836 @default.
• W4243514512 hasConcept C33923547 @default.
• W4243514512 hasConcept C41008148 @default.
• W4243514512 hasConcept C80444323 @default.
• W4243514512 hasConcept C80899671 @default.
• W4243514512 hasConceptScore W4243514512C112505250 @default.
• W4243514512 hasConceptScore W4243514512C114614502 @default.
• W4243514512 hasConceptScore W4243514512C116858840 @default.
• W4243514512 hasConceptScore W4243514512C118615104 @default.
• W4243514512 hasConceptScore W4243514512C132525143 @default.
• W4243514512 hasConceptScore W4243514512C206901836 @default.
• W4243514512 hasConceptScore W4243514512C33923547 @default.
• W4243514512 hasConceptScore W4243514512C41008148 @default.
• W4243514512 hasConceptScore W4243514512C80444323 @default.
• W4243514512 hasConceptScore W4243514512C80899671 @default.
• W4243514512 hasLocation W42435145121 @default.
• W4243514512 hasOpenAccess W4243514512 @default.
• W4243514512 hasPrimaryLocation W42435145121 @default.
• W4243514512 hasRelatedWork W2021836589 @default.
• W4243514512 hasRelatedWork W2049064184 @default.
• W4243514512 hasRelatedWork W2064977911 @default.
• W4243514512 hasRelatedWork W2144433520 @default.
• W4243514512 hasRelatedWork W2333827994 @default.
• W4243514512 hasRelatedWork W2374778222 @default.
• W4243514512 hasRelatedWork W2375932223 @default.
• W4243514512 hasRelatedWork W3006271837 @default.
• W4243514512 hasRelatedWork W30750922 @default.
• W4243514512 hasRelatedWork W3098379097 @default.
• W4243514512 hasVolume "12" @default.
• W4243514512 isParatext "false" @default.
• W4243514512 isRetracted "false" @default.
• W4243514512 workType "article" @default.