This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
categories_of_two-colored_partitions [2020/03/12 08:13] amang |
categories_of_two-colored_partitions [2021/11/23 11:56] (current) |
||
---|---|---|---|
Line 5: | Line 5: | ||
===== Definition ===== | ===== Definition ===== | ||
- | The original definition of Freslon and Weber in [(:ref:FreWeb16)], Definition 6.1 was later equivalently reformulated by Tarrago and Weber in [(:ref:TaWe18)], Section 1.3. In this formulation, a **category of two-colored partitions** is a subset $\Cscr\subseteq \Pscr^{\circ\bullet}$ of the set $\Pscr^{\circ\bullet}$ of all [[two-colored partition|two-colored partitions]] satisfying the following conditions: | + | The original definition of Freslon and Weber in [(:ref:FreWeb16)], Definition 6.1 was later equivalently reformulated by Tarrago and Weber in [(:ref:TaWe18)], Section 1.3. In this formulation, a **category of two-colored partitions** is a subset $\Cscr\subseteq \Pscr^{\circ\bullet}$ of the set $\Pscr^{\circ\bullet}$ of all [[two-colored partition|two-colored partitions]] satisfying the following conditions with respect to the [[operations for two-colored partitions]]: |
* $\{\Partition{\Pline (1,0.125) (1,0.875) \Ppoint 0.125 \Pw:1 \Ppoint 0.875 \Pw:1},\Partition{\Pline (1,0.125) (1,0.875) \Ppoint 0.125 \Pb:1 \Ppoint 0.875 \Pb:1},\raisebox{0.125em}{\LPartition{\Pw:1;\Pb:2}{0.6:1,2}},\raisebox{0.125em}{\LPartition{\Pb:1;\Pw:2}{0.6:1,2}}\}\subseteq \Cscr$. | * $\{\Partition{\Pline (1,0.125) (1,0.875) \Ppoint 0.125 \Pw:1 \Ppoint 0.875 \Pw:1},\Partition{\Pline (1,0.125) (1,0.875) \Ppoint 0.125 \Pb:1 \Ppoint 0.875 \Pb:1},\raisebox{0.125em}{\LPartition{\Pw:1;\Pb:2}{0.6:1,2}},\raisebox{0.125em}{\LPartition{\Pb:1;\Pw:2}{0.6:1,2}}\}\subseteq \Cscr$. | ||
* $pp'\in \Cscr$ for all $p,p'\in\Cscr$ such that $(p,p')$ is composable. | * $pp'\in \Cscr$ for all $p,p'\in\Cscr$ such that $(p,p')$ is composable. |