8.7 The Right Skew Monoidal Structure on $\mathbf{Rel}\webleft (A,B\webright )$
Let $A$ and $B$ be sets and let $J\colon A\mathrel {\rightarrow \kern -9.5pt\mathrlap {|}\kern 6pt}B$ be a relation.
-
Subsection 8.7.1: The Right Skew Monoidal Product
- Definition 8.7.1.1.1: The Right $J$-Skew Monoidal Product of $\mathbf{Rel}\webleft (A,B\webright )$
-
Subsection 8.7.2: The Right Skew Monoidal Unit
- Definition 8.7.2.1.1: The Right $J$-Skew Monoidal Unit of $\mathbf{Rel}\webleft (A,B\webright )$
-
Subsection 8.7.3: The Right Skew Associators
- Definition 8.7.3.1.1: The Right $J$-Skew Associator of $\mathbf{Rel}\webleft (A,B\webright )$
-
Subsection 8.7.4: The Right Skew Left Unitors
- Definition 8.7.4.1.1: The Right $J$-Skew Left Unitor of $\mathbf{Rel}\webleft (A,B\webright )$
-
Subsection 8.7.5: The Right Skew Right Unitors
- Definition 8.7.5.1.1: The Right $J$-Skew Right Unitor of $\mathbf{Rel}\webleft (A,B\webright )$
-
Subsection 8.7.6: The Right Skew Monoidal Structure on $\mathbf{Rel}\webleft (A,B\webright )$
- Proposition 8.7.6.1.1: The Right $J$-Skew Monoidal Structure on $\mathbf{Rel}\webleft (A,B\webright )$
