Skip to Content »

Michi’s blog » [MATH198] Lecture 5 is up

 [MATH198] Lecture 5 is up

  • October 23rd, 2009
  • 6:07 pm

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.

2 People had this to say...

Gravatar
  • A.
  • October 23rd, 2009
  • 21:13

I found the last chapter of http://www.pps.jussieu.fr/~curien/categories-pl.ps quite clear.

Gravatar

Going back a while, but it looks like lecture 2 section 7 has a typo. Shouldn’t it be Hom(f,A) : Hom(C,A) -> Hom(B,A) for Hom(f,A)(g) = g.f ?

Want your say?

* Required fields. Your e-mail address will not be published on this site

You can use the following XHTML tags:
<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>