Michi’s blog » archive for October, 2009

[MATH198] Lecture 5 is up

  • October 23rd, 2009

And, as it turns out, my logic-fu is lacking. Next time around, it’s likely I talk about the CCC = typed λ-calculus correspondence, but won’t try to actually produce the correspondence explicitly.

(33 words)

[MATH 198] Lecture 4 and a question for the community

  • October 15th, 2009

Lecture 4 was held, and the notes are up on the wiki: Lecture 4 notes

During class, and in unrelated conversations afterwards, though, the question emerged:

If Formally differentiating datatypes gives us zippers? What happens if we formally integrate datatypes?

(41 words)

[MATH198] Third lecture is up

  • October 9th, 2009

The third lecture is up on the haskell wiki.

(10 words)

[MATH 198] Second lecture

  • October 5th, 2009

I’ve been maddeningly slow lately. With everything.

Since last week Wednesday, the second lecture is up on the Haskell wiki.

(21 words)

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