Example 1
Tag 01T1, permanent. Cite it as [Bourbaki, Tag 01T1].
Topologie algébrique, chapter II, § 3. Groupoïdes
Let C be a quiver. Let Ch(C) denote the set of paths in C and Ch(C) Som(C) Ch(C) Som(C) the mappings which associate with a path its origin and its end. The quadruple (Som(C), Ch(C)) is a quiver. Endow it with the law of composition defined by juxtaposition of paths. This law of composition is associative; for every vertex of C, the constant loop of origin is an identity element at . Thus, is a category. It is said to be the category of paths of the quiver C.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.