Michi’s blog » archive for November, 2009

[MATH198] Lecture 9 posted and lectured

  • November 19th, 2009

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

[MATH198] Multiple lectures posted

  • November 11th, 2009

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.

post navigation
about
Michi is a recent PhD working in homological algebra and applied algebraic topology. This blog is his outlet for texts with some manner of thought put into them. Over at his LiveJournal intimate details and streams of consciousness might be found.
Not all here is mathematics. All here, though, are my personal thoughts and opinions. Please read the about page (linked above) for more details.
This blog uses statcounter.com for logging and traffic analysis. In order to identify return visitors, this site will issue a cookie on viewing the blog.
RSS Travel plans
Recent Comments
Tags
Categories
Blogroll
Family
Mathematician blogs
Archives
the rdc* theme