| changeset 157 | d45e55d25dff |
| parent 129 | cd70c98becb0 |
| child 176 | 8c2ed3a951e0 |
| 156:9eae41b8f7d7 | 157:d45e55d25dff |
|---|---|
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 |
18 |
18 \begin{align*} |
19 \begin{align*} |
19 abmab & \\ |
20 abmab & \\ |
20 v_1 v_2 v_3 v_4 A |
21 v_1 v_2 v_3 v_4 A |
21 \end{align*} |
22 \end{align*} |