- F-algebra tutorial https://www.fpcomplete.com/user/bartosz/understanding-algebras 35 comments haskell
- A tutorial on (co)algebras and (co)induction, by Bart Jacobs and Jan Rutten, 1997 (pdf) -- discusses the dualization of the F-algebra to model infinite data spaces like streams and infinite lists, not Haskell-specific but important and written in a very accessible way (no category theory required!) http://www.cs.ru.nl/b.jacobs/papers/jr.pdf 6 comments haskell