- Michi’s blog » read post
-
[Stanford] MATH 198: Category Theory and Functional Programming
- August 29th, 2009
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
- 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.
- Recent Comments
- Tags
- Categories
-
- 10th grade topology
- 9th grade topology
- A-infinity
- Administrative
- Algebra
- Algebraic geometry
- Blogs
- Calligraphy
- Carnival of Mathematics
- Category theory
- Combinatorics
- Communicating science
- Computer
- Conferencing
- Cookies
- Cooking
- Differential geometry
- English
- Geometry
- Haskell
- Homology and Homotopy
- Improbable research
- Intellectual property
- J
- Jahr der Mathematik
- JMM2008
- Knot theory
- LaTeX
- Liveblogging
- Mathematics
- Meme
- Metablogging
- Modular Representation Theory
- Operads and PROPs
- Parallel
- PhD
- Politics
- Postdoc Carnival
- Privacy
- Programming
- Python
- R
- Recipe
- Religion
- Research
- Ruby
- Ruby on Rails
- Security
- Sillyness
- Svenska
- Teaching
- Topology
- Travel
- Travelogue
- Web 2.0 for Mathematics
- Weekly report
- Blogroll
- Family
- Mathematician blogs
- Archives
-
- February 2010
- December 2009
- November 2009
- October 2009
- September 2009
- August 2009
- July 2009
- June 2009
- May 2009
- March 2009
- February 2009
- January 2009
- December 2008
- November 2008
- October 2008
- September 2008
- August 2008
- July 2008
- June 2008
- May 2008
- March 2008
- February 2008
- January 2008
- December 2007
- November 2007
- October 2007
- September 2007
- August 2007
- July 2007
- June 2007
- May 2007
- April 2007
- March 2007
- February 2007
- January 2007
- December 2006
- November 2006
- October 2006
- September 2006
- July 2006
- June 2006
- May 2006
- April 2006
- March 2006
- February 2006
- January 2006
- December 2005
- May 2005
14 People had this to say...
online notes plz
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.
It would be especially useful if you could video the
course, ala the MIT OCW work.
That’s probably outside what I can easily swing, tech-wise. Maybe next time I teach categories.
OMG
WTF
LOL
John: Indeed.
Irony and sarcasm, when I think this is what it is, might be amusing too.
Is it okay for someone who is not a Stanford student to visit the course?
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
How do I find the room?
@Ivan: It’s in the basement of the mathematics corner of the main quad.
Please, reconsider the video. That’d be awesome.
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, .
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.
hey,
what’s the link to the haskellwiki page?
i didn’t jot it down in the lecture.
thanks,
Qiqi
Want your say?