Equational Systems and Free Constructions (Extended Abstract)

DOI10.1007/978-3-540-73420-8_53zbMath1171.18301OpenAlexW1482152999MaRDI QIDQ5428843

Chung-Kil Hur, Marcelo P. Fiore

Publication date: 28 November 2007

Published in: Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73420-8_53

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Equational categories (18C05) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Free algebras (08B20)

Related Items (6)

Presenting functors on many-sorted varieties and applications ⋮ Term Equational Systems and Logics ⋮ Modules over relative monads for syntax and semantics ⋮ Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names ⋮ On the construction of free algebras for equational systems ⋮ Functorial Coalgebraic Logic: The Case of Many-sorted Varieties

This page was built for publication: Equational Systems and Free Constructions (Extended Abstract)