The free category with products on a multigraph (Q1825946): Difference between revisions

A successful attempt to construct a free category with products on a multigraph, oriented to various interesting applications in computer science is made. The only proposition is in fact an automata result. The paper is part of the authors series analysing the syntactical aspects of computer science and of presentation of categories with structures.