| changeset 176 | 8c2ed3a951e0 |
| parent 157 | d45e55d25dff |
| child 222 | 217b6a870532 |
| 175:8a0d4f53367b | 176:8c2ed3a951e0 |
|---|---|
12 |
12 |
13 action |
13 action |
14 |
14 |
15 $n$-category composition |
15 $n$-category composition |
16 |
16 |
17 $B B_1 B_2 u_1 u_2 u r r'$ |
17 $B B_1 B_2 u_1 u_2 u r r u_i, u_j u_k u_l$ |
18 |
18 |
19 \begin{align*} |
19 \begin{align*} |
20 abmab & \\ |
20 abmab & \\ |
21 v_1 v_2 v_3 v_4 A |
21 v_1 v_2 v_3 v_4 A |
22 \end{align*} |
22 \end{align*} |