Free category
In mathematics, the free category or path category generated by a directed graph or quiver is the category that results from freely concatenating arrows together, whenever the target of one arrow is the source of the next. More precisely, the objects of the category are the vertices of the quiver, and the morphisms are paths between objects. Here, a path is defined as a finite sequence The composition operation is concatenation of paths. Given paths their composition is . Note that the result of the composition starts with the right operand of the composition, and ends with its left operand.
Wikipage redirect
primaryTopic
Free category
In mathematics, the free category or path category generated by a directed graph or quiver is the category that results from freely concatenating arrows together, whenever the target of one arrow is the source of the next. More precisely, the objects of the category are the vertices of the quiver, and the morphisms are paths between objects. Here, a path is defined as a finite sequence The composition operation is concatenation of paths. Given paths their composition is . Note that the result of the composition starts with the right operand of the composition, and ends with its left operand.
has abstract
In mathematics, the free categ ...... nd ends with its left operand.
@en
Wikipage page ID
36,769,284
page length (characters) of wiki page
Wikipage revision ID
948,293,084
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
comment
In mathematics, the free categ ...... nd ends with its left operand.
@en
label
Free category
@en