Skip to the Main Content

Note:These pages make extensive use of the latest XHTML and CSS Standards. They ought to look great in any standards-compliant modern browser. Unfortunately, they will probably look horrible in older browsers, like Netscape 4.x and IE 4.x. Moreover, many posts use MathML, which is, currently only supported in Mozilla. My best suggestion (and you will thank me when surfing an ever-increasing number of sites on the web which have been crafted to use the new standards) is to upgrade to the latest version of your browser. If that's not possible, consider moving to the Standards-compliant and open-source Mozilla browser.

February 23, 2007

Classical vs Quantum Computation (Week 15)

Posted by John Baez

In this week’s class on Classical vs. Quantum Computation, we continued to work through an example of how typed λ\lambda-calculi give cartesian closed categories:

  • Week 15 (Feb. 22) - The λ-theory of commutative rings and the cartesian closed category it generates: the "free cartesian closed category on a commutative ring object". What is a cartesian closed functor from this to Set? Guess: just a commutative ring! Blog entry.

Last week’s notes are here.

Despite my promise last week, we didn’t get to the ‘typed λ-calculus for high school calculus’ this time — the students were clearly struggling with the basics of categorical logic! I should have discussed Lawvere theories before these ‘typed λ-calculi’, since cartesian categories are a simpler context than cartesian closed categories for discussing these basics. But, I’m sort of committed to focusing on closed categories of various sorts in this class.

Posted at February 23, 2007 3:25 AM UTC

TrackBack URL for this Entry:

0 Comments & 1 Trackback

Read the post Classical vs Quantum Computation (Week 14)
Weblog: The n-Category Café
Excerpt: From typed lambda-calculus to cartesian closed categories and back.
Tracked: February 23, 2007 3:33 AM

Post a New Comment