Adjoint Folds and Unfolds

DOI10.1007/978-3-642-13321-3_13zbMath1286.68080MaRDI 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 coalgebra; adjunction; fold; initial algebra; unfold

Mathematics Subject Classification ID

18A40: Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.)

18C10: Theories (e.g., algebraic theories), structure, and semantics

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)