Skip to Content »

Michi’s blog » [Stanford] MATH 198: Category Theory and Functional Programming

 [Stanford] MATH 198: Category Theory and Functional Programming

  • August 29th, 2009
  • 7:19 am

Category theory, with an origin in algebra and topology, has found use in recent decades for computer science and logic applications. Possibly most clearly, this is seen in the design of the programming language Haskell – where the categorical paradigm suffuses the language design, and gives rise to several of the language constructs, most prominently the Monad.

In this course, we will teach category theory from first principles with an eye towards its applications to and correspondences with Haskell and the theory of functional programming. We expect students to previously or currently be taking CS242 and to have some level of mathematical maturity. We also expect students to have had contact with linear algebra and discrete mathematics in order to follow the motivating examples behind the theory expounded.

Wednesdays at 4.15.

Online notes will appear successively on the Haskell wiki on http://haskell.org/haskellwiki/User:Michiexile/MATH198

14 People had this to say...

Gravatar
  • p c
  • August 29th, 2009
  • 18:32

online notes plz

Gravatar
  • Michi
  • August 29th, 2009
  • 22:35

Full sentences and well spelled words are appreciated here. :-)

That said, there will be notes on the Haskell.org wiki as we go along, and I plan to teach mainly from lecture notes, keeping my literature to myself, for examination reasons.

Gravatar

It would be especially useful if you could video the
course, ala the MIT OCW work.

Gravatar
  • Michi
  • August 30th, 2009
  • 9:59

That’s probably outside what I can easily swing, tech-wise. Maybe next time I teach categories.

Gravatar

Full sentences and well spelled words are appreciated here.

OMG
WTF
LOL

Gravatar
  • Michi
  • August 30th, 2009
  • 21:24

John: Indeed.

Irony and sarcasm, when I think this is what it is, might be amusing too.

Gravatar

Is it okay for someone who is not a Stanford student to visit the course?

Gravatar
  • Michi
  • September 4th, 2009
  • 7:20

I won’t mind auditors; though if it does grow too popular for the room, I’ll throw non-affiliates out before the Stanford non-student affiliates. (and then go look for a bigger room for the week after :-)

Gravatar

How do I find the room?

Gravatar
  • Michi
  • September 5th, 2009
  • 8:23

@Ivan: It’s in the basement of the mathematics corner of the main quad.

Gravatar
  • ivan
  • September 6th, 2009
  • 19:21

Please, reconsider the video. That’d be awesome.

Gravatar

Providing an online version of your lecture notes, preferably in either HTML or PDF format, could also be useful for self-study purposes. If you provide such a version and let me know, I’ll list on my site by updating my category theory literature list blog entry, .

Gravatar
  • Michi
  • September 7th, 2009
  • 18:08

Benjamin: That is the plan. Furthermore, I plan to put them all up on the Haskell wiki. I’m going to announce each chapter/lecture as they are done here on the blog.

Gravatar
  • Qiqi
  • September 24th, 2009
  • 19:52

hey,
what’s the link to the haskellwiki page?
i didn’t jot it down in the lecture.
thanks,
Qiqi

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>