Graph operations and free graph algebras
DOI10.1007/978-3-319-75396-6_17zbMath1383.68049OpenAlexW2785885778MaRDI QIDQ1708200
Zinovy Diskin, Harald König, U. E. Wolter
Publication date: 4 April 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-75396-6_17
termfree algebragraph algebrauniversal algebragraph operationterm algebrafree graph algebragraph termgraph term algebraKleisli morphism
Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Graphs and abstract algebra (groups, rings, fields, etc.) (05C25) Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42)
This page was built for publication: Graph operations and free graph algebras