initial algebraってなんだ？

foldについて調べていて、
Category Theory and Haskell 3 : Algebras and Monads
http://www.alpheccar.org/en/posts/show/77
に行き、initial algebra とかF-algebraとかたくさん知らない言葉に出くわした。
わかりやすい説明を求めて、

"Lectures on Semantics: The initial algebra and final coalgebra perspectives" Peter Aczel
http://citeseer.ist.psu.edu/242473.html
にたどり着いた。いま読み中。

ほかにみつかったものもメモ。

"An Introduction to the Algebraic Specification of Abstract Data Types"
http://homepages.feis.herts.ac.uk/~comqejb/algspec/pr.html

"Initial Algebra Semantics is Enough!"
Patricia Johann and Neil Ghani
http://crab.rutgers.edu/~pjohann/tlca07-rev.pdf

"The Construction of Formal Specifications: An Introduction to the Model-Based and Algebraic Approaches"
http://scom.hud.ac.uk/scomtlm/book/rootfile.html