Jason (jcreed) wrote,
Jason
jcreed

Here is another attempt to take a snapshot of my math-visualization-brain as I read the Eugenia Cheng paper I linked yesterday:

It depicts the associativity property of a monad obtained from composing seven monads. Each side of the equation depicts 42 2-cells; each place two lines of different colors cross is a "distributive law" 2-cell and each place two lines of the same color flow together is the multiplication law of one of the individual monads.

The whole business feels very much like smooshing old ribbon cables flat.

Here's a view of the proof of correctness of associativity, in which it's basically impossible to actually see what is going on, but it looks pretty:

Each plane is an arrow, each line is a 2-cell, and each point is an equation, either a Yang-Baxter identity, or a pentagon identity coming from the definition of distributive law. As you proceed from the top of the shape to the bottom, one association of the monad transforms into the other.

Slightly more perspicuous:
Tags: categories, math
Subscribe

  • (no subject)

    Well I am certainly glad I saw Arrival so that I get the wug joke in http://languagelog.ldc.upenn.edu/nll/?p=29480#more-29480

  • (no subject)

    Saw "Arrival". It did have some nontrivial linguistics content, but it still felt kind of wrapped up in a discernible layer of Hollywood Woo. The…

  • (no subject)

    Had some dinner at Aliada with akiva and sasha and K, and afterwards saw Herzog's "Aguirre, the Wrath of God" in Socrates park. Enjoyably bleak.

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 14 comments

  • (no subject)

    Well I am certainly glad I saw Arrival so that I get the wug joke in http://languagelog.ldc.upenn.edu/nll/?p=29480#more-29480

  • (no subject)

    Saw "Arrival". It did have some nontrivial linguistics content, but it still felt kind of wrapped up in a discernible layer of Hollywood Woo. The…

  • (no subject)

    Had some dinner at Aliada with akiva and sasha and K, and afterwards saw Herzog's "Aguirre, the Wrath of God" in Socrates park. Enjoyably bleak.