8.9 The Right Skew Monoidal Structure on $\mathbf{Rel}(A,B)$
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.9.1: The Right Skew Monoidal Product
- Definition 8.9.1.1.1: The Right $J$-Skew Monoidal Product of $\mathbf{Rel}(A,B)$
-
Subsection 8.9.2: The Right Skew Monoidal Unit
- Definition 8.9.2.1.1: The Right $J$-Skew Monoidal Unit of $\mathbf{Rel}(A,B)$
-
Subsection 8.9.3: The Right Skew Associators
- Definition 8.9.3.1.1: The Right $J$-Skew Associator of $\mathbf{Rel}(A,B)$
-
Subsection 8.9.4: The Right Skew Left Unitors
- Definition 8.9.4.1.1: The Right $J$-Skew Left Unitor of $\mathbf{Rel}(A,B)$
-
Subsection 8.9.5: The Right Skew Right Unitors
- Definition 8.9.5.1.1: The Right $J$-Skew Right Unitor of $\mathbf{Rel}(A,B)$
-
Subsection 8.9.6: The Right Skew Monoidal Structure on $\mathbf{Rel}(A,B)$
- Proposition 8.9.6.1.1: The Right $J$-Skew Monoidal Structure on $\mathbf{Rel}(A,B)$
