Arcadian Functor

occasional meanderings in physics' brave new world

My Photo
Name:
Location: New Zealand

Marni D. Sheppeard

Thursday, March 08, 2007

M Theory Lesson 21

Apparently kneemo has been reading Tom Leinster's free book on Higher Operads. This text takes a fresh approach to weak n-categories from the point of view of operads and multicategories. It also has some wonderful quotes, such as, from James R. Brown: some 'pictures' are not really pictures, but rather are windows to Plato's heaven. On this blog, we like to consider simple pictures.

After a meandering introduction, mostly written for topologists, Leinster begins with a picture of an arrow for a multicategory:Of course, this is just the kind of picture that computer scientists like to draw, and indeed many computer scientists work with multicategories. One way of thinking of an operad is as a multicategory with one object.

In operad land, only boundaries really matter. A cylinder, for instance, changes into and a pair of pants into the face diagram

7 Comments:

Blogger Mahndisa S. Rigmaiden said...

03 07 07

hehehehehehehe A pair of pants. Yea!!!!!

March 08, 2007 5:15 PM  
Anonymous Anonymous said...

Yes, let's have some fun with pants.

Prove that if A is a Frobenius algebra, then one can define a TFT with A as a state space with multiplication corresponding to the pair of pants and the trace to the cap.

March 08, 2007 7:05 PM  
Blogger Kea said...

Hi folks. Yes, Runkel et al have some amazing papers on the link between Frobenius algebras and TFTs. This is often discussed on blogs, such as in this old post on SCT.

March 09, 2007 10:27 AM  
Anonymous Doug said...

Hi Kea, you are BRILLIANT!

1 - This may be a key post in the attempt to unify everything from QM and GR and in between. If I am correct, this even means dynamic noncooperative game theory.

I have seen the technique of pairing -
pants <---> faces
- before, in other disciplines.
Note that I think this is a two-way duality.
I think your insight will improve if you modify your drawings to scale with each other.

I know that one of the source links was dismantled about two years ago, but with time I can find the reference and maybe a copy of that representation.

A link to a PDF paper that I tried to make did not work in "M Theory Lesson 20", RE:
Mark Morris, [PDF] ‘The Galactic Center Magnetosphere’, figure 2.
http://ej.iop.org/links/rTjm_8XOS/BhdAfKnM2xGIaYVvav5vpA/jpconf6_54_001.pdf
1:49 AM

What did I do incorrectly?

2 - Urs or one of the other two moderators at the time, actually posted one of about ten comments I submitted to Sci.physics.research regarding one of the TWF (week 221) threads on Andalusian astronomy and Arabic numerals history.
http://www.lns.cornell.edu/spr/2005-09/msg0071656.html

March 09, 2007 12:36 PM  
Blogger Kea said...

Hi Doug. Yes, dualities abound in this business. There is a lot of fancy category theory underlying all this.

March 09, 2007 2:11 PM  
Blogger david said...

The quotation "some 'pictures' are not really pictures, but rather are windows to Plato's heaven" is taken from a Brown, but it's not Ronnie. I believe Tom Leinster came across it while reading my book 'Towards a Philosophy of Real Mathematics'. I quoted it from the philosopher James R. Brown 'Philosophy of Mathematics: An Introduction to the World of Pictures', Routledge, 1999.

James Brown was speaking of those picture proofs such as when you show that the sum of the first n odd numbers is n squared.

I was referring to his idea in the context of a discussion of the notation of higher-dimensional category theory.

March 10, 2007 1:10 AM  
Blogger Kea said...

Oops! Thanks, David! I'll correct it.

March 10, 2007 10:04 AM  

Post a Comment

<< Home