「結合則」という意味：
　左側の図で上側を通る計算はμを中置記法で書き，
　TμT = T と簡約しないでおくと
　　T T T A --> (TμT) T A --> (TμT)μT A
　となる．同様に下側を通る計算は
　　T T T A --> T (TμT) A --> Tμ(TμT) A
　となる．これが（任意の A について）等しいのだから，雰囲気は
　　(TμT)μT = Tμ(TμT)　　…代数で言うところの結合則

「恒等元」という意味：
　右側の図で左側の三角形の真ん中を通る計算は
　ηT = T T と簡約しないでおくと
　　T A --> ηT A --> ημT A
　右側の三角形の真ん中を通る計算は
　　T A --> Tη A --> Tμη A
　これが恒等写像 id_TA に等しいのだから，雰囲気は
　　ημT = Tμη = T　　…代数で言うところの恒等元，単位元