M Theory Lesson 49

Recall that internalisation turns one square into four. This occurs in the category of (stable) trees, discussed in Leinster’s book Higher Operads, Higher Categories from page 230. For example, consider the square in the diagram. This square is one of the three squares on the 9 faced Stasheff polytope, which one obtains by reducing the 5-leaved tree quadruple squares to ordinary faces, yielding a kind of classifying space. This diagram makes the contraction and expansion moves on trees more explicit. Recall that the entire polytope is labelled by a simple 1-level tree as befits a 1-operad polytope.

Observe that the total number of squares describing the Stasheff polytope is 6×5 (for the pentagons) plus 3×4 (for the squares) which comes to 42!

4 Responses so far »

  1. 1

    Doug said,

    Hi Kea,

    John Baez TWF week 251 is interesting.

    My favorite is this reference to Bob Coecke, ‘Kindergarten Quantum Mechanics’ and the discussion of “picture calculus”.
    [Some pictures may worth more than a thousand words?]


    “Picture calculus” appears to relate to your thread topic.

    From my perspective these are all consistent with some type of mathematical game theory?

  2. 2

    Kea said,

    Yes, the Coecke papers are great reading, and ‘picture calculus’ is exactly what we’re trying to do here.

  3. 3

    kneemo said,

    Isn’t 42 also the number of vertices for the 6-factor associahedron?

  4. 4

    Kea said,

    kneemo, YES, that’s the point! Louis Crane and I once had a giggle over the fact that it was 42!

Comment RSS · TrackBack URI

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

%d bloggers like this: