Skip to Content »

Michi’s blog » archive for November, 2009

 [MATH198] Lecture 9 posted and lectured

  • November 19th, 2009
  • 7:44 pm

Lecture 9: Catamorphisms, Anamorphisms, more from that zoo; adjunctions, some properties and some examples.

 [MATH198] Multiple lectures posted

  • November 11th, 2009
  • 8:31 pm

I have been remiss in updating here. Since the last time I posted, I have posted:
Lecture 6, featuring some interesting limits and colimits, culminating in the introduction of adjoints.

Lecture 7, featuring the introduction of monads based in adjoints, with the connection between the monoid of endofunctors and the Haskellite specification of monads.

Lecture 8, featuring Eilenberg-Moore algebras, initial algebras for datatype specification, Lambek’s lemma and structural induction and recursion with endofunctor algebras.