Tag
An introductory literate Haskell document exploring the relationship between coalgebras and automata, demonstrating how state machines can be modeled using fold and unfold operations within category theory.