The free category with products on a multigraph
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.
free category with products on a multigraph
presentation of categories with structures
scientific article; zbMATH DE number 4122188
scientific article