Adjoint Folds and Unfolds

DOI10.1007/978-3-642-13321-3_13zbMath1286.68080OpenAlexW1582480113MaRDI QIDQ3575273

Ralf Hinze

Publication date: 26 July 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-13321-3_13

zbMATH Keywords

final coalgebraadjunctionfoldinitial algebraunfold

Mathematics Subject Classification ID

Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Theories (e.g., algebraic theories), structure, and semantics (18C10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

From Grammars and Automata to Algebras and Coalgebras ⋮ Type Fusion

This page was built for publication: Adjoint Folds and Unfolds