8.8 The Left Skew Monoidal Structure on $\mathbf{Rel}(A,B)$
-
Subsection 8.8.1: The Left Skew Monoidal Product
- Definition 8.8.1.1.1: The Left $J$-Skew Monoidal Product of $\mathbf{Rel}(A,B)$
-
Subsection 8.8.2: The Left Skew Monoidal Unit
- Definition 8.8.2.1.1: The Left $J$-Skew Monoidal Unit of $\mathbf{Rel}(A,B)$
-
Subsection 8.8.3: The Left Skew Associators
- Definition 8.8.3.1.1: The Left $J$-Skew Associator of $\mathbf{Rel}(A,B)$
-
Subsection 8.8.4: The Left Skew Left Unitors
- Definition 8.8.4.1.1: The Left $J$-Skew Left Unitor of $\mathbf{Rel}(A,B)$
-
Subsection 8.8.5: The Left Skew Right Unitors
- Definition 8.8.5.1.1: The Left $J$-Skew Right Unitor of $\mathbf{Rel}(A,B)$
-
Subsection 8.8.6: The Left Skew Monoidal Structure on $\mathbf{Rel}(A,B)$
- Proposition 8.8.6.1.1: The Left $J$-Skew Monoidal Structure on $\mathbf{Rel}(A,B)$
