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.

January 24, 2007

Classical vs Quantum Computation (Week 10)

Posted by John Baez

This quarter in our course on Classical vs Quantum Computation, our goal is to repair a gaping hole in the usual application of category theory to computation — especially the lambda-calculus and its quantum generalizations. We want to be able to talk about the process of computation! For this, we need to get serious about 2-categories…

  • Week 10 (Jan. 18) - Categorifying the concept of ‘category’ to get the concept of ‘2-category’ - in detail.

Last week’s notes are here; next week’s notes are here.

Posted at January 24, 2007 9:54 PM UTC

TrackBack URL for this Entry:   http://golem.ph.utexas.edu/cgi-bin/MT-3.0/dxy-tb.fcgi/1127

1 Comment & 1 Trackback

Re: Classical vs Quantum Computation (Week 10)

I see that here you’ve introduced the notation ‘f ° g’ with the warning that last term it was ‘gf’. I’d like to make a plea for consistency of notation, while simultaneously allowing one to use whichever order one prefers. The notation ‘g ° f’, introduced by Leibniz (or at least his close followers) should be reserved for Leibniz’s order, while the notation ‘f; g’ (derived, I believe, from theoretical computer science) should be used for the opposite order. Finally, the simplified notation ‘fg’ should remain flexible, used for whichever you prefer, introduced with an explanation to avoid confusion.

Posted by: Toby Bartels on January 24, 2007 10:20 PM | Permalink | Reply to this
Read the post Classical vs Quantum Computation (Week 11)
Weblog: The n-Category Café
Excerpt: Lots of examples of 2-categories!
Tracked: January 25, 2007 11:22 PM

Post a New Comment